[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