[Club2] Aktualisierte Einladung: Implementation and Evaluation of a Connection-Based Theor... - Mi 2. Sep. 2020 14:00 - 14:45 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[piller at in.tum.de]

Dieser Termin wurde geändert.

Titel: Implementation and Evaluation of a Connection-Based Theorem Prover  
in Isabelle
Speaker: Markus GroßerType: Master's Thesis PresentationAbstract:leanCoP is  
a simple theorem prover originally written in Prolog, with the core  
prover consisting of only a few dozen lines of code, and yet  
outperformingother well-established provers in benchmarks. Thanks to its  
simplicity, it has in the past been ported to the HOL Light theorem  
prover and therein compared favourably against other proof methods,  
including a port to the Metis theorem prover. In this thesis, leanCoP  
has been ported to the Isabelle/HOL, and benchmarked against other  
proof methods using the TPTP library as well as the Isabelle  
distribution itself. The performance did not live up to expectations,  
but the root cause is thought to have beenidentified, paving a way for  
potential future improvements.
Wann: Mi 2. Sep. 2020 14:00 – 14:45 Mitteleuropäische Zeit - Berlin
Wo: https://bbb.rbg.tum.de/sim-h4f-emd

Teilnahmeinformationen: Teilnehmen mit: Google Meet
https://meet.google.com/vdt-sdsp-dax

Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * h.piller at yahoo.de- Veranstalter
     * club2 at mailbroy.informatik.tu-muenchen.de
     * piller at in.tum.de
     * markus.grosser at tum.de

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

Einladung von Google Kalender: https://www.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://www.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/20200831/f4ce6a2a/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3550 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200831/f4ce6a2a/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3612 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200831/f4ce6a2a/attachment-0001.bin>