[Club2] Einladung: Application Project - Mi 20. Okt. 2021 14:00 - 14:30 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[piller at in.tum.de]

Sie wurden zum folgenden Termin eingeladen.

Titel: Application Project
Speaker: Andrew Liao Abstract: The Isabelle Archive of Formal Proofs  
(AFP) is a database containingnumerous mathematical proofs in various  
areas. Some of the proofs are relatedto one another, by way of dependencies  
and relationships among variables orlemmas used. In this project, we used  
tools  from data engineering and analytics to workwith the underlying  
graph structure which represents the Entities and Theoriesof the AFP and  
how they relate to one another, with the hope of coming up witha better way  
to arrange and refactor the code in the database. This presentation will  
cover the processes which drovethe analysis as well as give a rundown  
and discussion of the resultsachieved. 
Wann: Mi 20. Okt. 2021 14:00 – 14:30 Mitteleuropäische Zeit - Berlin
Wo: https://tinyurl.com/ls21coffee
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * piller at in.tum.de- Veranstalter
     * club2 at mailbroy.informatik.tu-muenchen.de
     * yichen.a.liao at jacobs.ucsd.edu

Termininformationen:  
https://calendar.google.com/calendar/event?action=VIEW&eid=NnY3ODlzYnBlajFpb2Y1cjhwbTA1N2RvdWkgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTQ3ZWMxNzZkZWUyMDc2ZDZkNDNjODZiNDIyYzcxYTFmNmM5YTA1YmU&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://calendar.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,  
da Sie ein Gast bei diesem Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter  
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre  
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20211018/52205855/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2338 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20211018/52205855/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2386 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20211018/52205855/attachment.bin>