[Club2] Invitation: 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 piller at in.tum.de
Thu Aug 27 12:55:14 CEST 2020


Sie wurden zum folgenden Termin eingeladen.

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

Joining info: Join with Google Meet
https://meet.google.com/vdt-sdsp-dax

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

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

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

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to send a response to  
the organizer and be added to the guest list, or invite others regardless  
of their own invitation status, or to modify your RSVP. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200827/bd93bab4/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3475 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200827/bd93bab4/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3536 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200827/bd93bab4/attachment-0001.bin>


More information about the Club2 mailing list