<span itemscope itemtype="http://schema.org/InformAction"><span style="display:none" itemprop="about" itemscope itemtype="http://schema.org/Person"><meta itemprop="description" content="Einladung von piller@in.tum.de"/></span><span itemprop="object" itemscope itemtype="http://schema.org/Event"><div style=""><table cellspacing="0" cellpadding="8" border="0" summary="" style="width:100%;font-family:Arial,Sans-serif;border:1px Solid #ccc;border-width:1px 2px 2px 1px;background-color:#fff;"><tr><td><meta itemprop="eventStatus" content="http://schema.org/EventScheduled"/><h4 style="padding:6px 0;margin:0 0 4px 0;font-family:Arial,Sans-serif;font-size:13px;line-height:1.4;border:1px Solid #fff;background:#fff;color:#090;font-weight:normal"><strong>Sie wurden zum folgenden Termin eingeladen.</strong></h4><div style="padding:2px"><span itemprop="publisher" itemscope itemtype="http://schema.org/Organization"><meta itemprop="name" content="Google Calendar"/></span><meta itemprop="eventId/googleCalendar" content="2jqrhmur9cvp058b7ieanl3474"/><h3 style="padding:0 0 6px 0;margin:0;font-family:Arial,Sans-serif;font-size:16px;font-weight:bold;color:#222"><span itemprop="name">Implementation and Evaluation of a Connection-Based Theorem Prover in Isabelle</span></h3><table style="display:inline-table" cellpadding="0" cellspacing="0" border="0" summary="Termindetails"><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wann</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px"><time itemprop="startDate" datetime="20200902T120000Z"></time><time itemprop="endDate" datetime="20200902T124500Z"></time>Mi 2. Sep. 2020 14:00 – 14:45 <span style="color:#888">Mitteleuropäische Zeit - Berlin</span></div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wo</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px"><span itemprop="location" itemscope itemtype="http://schema.org/Place"><span itemprop="name" class="notranslate">https://bbb.rbg.tum.de/sim-h4f-emd</span><span dir="ltr"> (<a href="https://www.google.com/url?q=https%3A%2F%2Fbbb.rbg.tum.de%2Fsim-h4f-emd&sa=D&ust=1598957714345000&usg=AOvVaw1jnG1mi4u_rCxZyuGEzCJw" style="color:#20c;white-space:nowrap" target="_blank" itemprop="map">Karte</a>)</span></span></div></td></tr><tr><td style="padding:0 1em 4px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Joining info</i></div></td><td style="padding-bottom:4px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px">Join with Google Meet</div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px"></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px"><div style="text-indent:-1px"><span itemprop="potentialaction" itemscope itemtype="http://schema.org/JoinAction"><span itemprop="name" content="meet.google.com/vdt-sdsp-dax"><span itemprop="target" itemscope itemtype="http://schema.org/EntryPoint"><span itemprop="url" content="https://meet.google.com/vdt-sdsp-dax"><span itemprop="httpMethod" content="GET"><a href="https://meet.google.com/vdt-sdsp-dax" style="color:#20c;white-space:nowrap" target="_blank">meet.google.com/vdt-sdsp-dax</a></span></span></span></span></span> </div></div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Kalender</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><div style="text-indent:-1px">club2@mailbroy.informatik.tu-muenchen.de</div></td></tr><tr><td style="padding:0 1em 10px 0;font-family:Arial,Sans-serif;font-size:13px;color:#888;white-space:nowrap;width:90px" valign="top"><div><i style="font-style:normal">Wer</i></div></td><td style="padding-bottom:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222" valign="top"><table cellspacing="0" cellpadding="0"><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span itemprop="attendee" itemscope itemtype="http://schema.org/Person"><span itemprop="name" class="notranslate">piller@in.tum.de</span><meta itemprop="email" content="piller@in.tum.de"/></span><span itemprop="organizer" itemscope itemtype="http://schema.org/Person"><meta itemprop="name" content="piller@in.tum.de"/><meta itemprop="email" content="piller@in.tum.de"/></span><span style="font-size:11px;color:#888"> - Organisator</span></div></div></div></td></tr><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span class="notranslate">h.piller@yahoo.de</span><span style="font-size:11px;color:#888">- Veranstalter</span></div></div></div></td></tr><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span itemprop="attendee" itemscope itemtype="http://schema.org/Person"><span itemprop="name" class="notranslate">club2@mailbroy.informatik.tu-muenchen.de</span><meta itemprop="email" content="club2@mailbroy.informatik.tu-muenchen.de"/></span></div></div></div></td></tr><tr><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222;width:10px"><div style="text-indent:-1px"><span style="font-family:Courier New,monospace">&#x2022;</span></div></td><td style="padding-right:10px;font-family:Arial,Sans-serif;font-size:13px;color:#222"><div style="text-indent:-1px"><div><div style="margin:0 0 0.3em 0"><span itemprop="attendee" itemscope itemtype="http://schema.org/Person"><span itemprop="name" class="notranslate">markus.grosser@tum.de</span><meta itemprop="email" content="markus.grosser@tum.de"/></span></div></div></div></td></tr></table></td></tr></table><div style="float:right;font-weight:bold;font-size:13px"> <a href="https://www.google.com/calendar/event?action=VIEW&eid=MmpxcmhtdXI5Y3ZwMDU4YjdpZWFubDM0NzQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=MTYjcGlsbGVyQGluLnR1bS5kZTRlZjRiMWQ3ODRkNzM2NzI4MDdmMzMwNWNhZGJiNTFkMTEzNzYxY2U&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Mehr Details »</a><br></div><div style="padding-bottom:15px;font-family:Arial,Sans-serif;font-size:13px;color:#222;white-space:pre-wrap!important;white-space:-moz-pre-wrap!important;white-space:-pre-wrap!important;white-space:-o-pre-wrap!important;white-space:pre;word-wrap:break-word"><span><pre>Speaker: <span>Markus Großer</span></pre><pre><span>Type: Master's Thesis Presentation</span></pre><pre>Abstract:leanCoP is a simple theorem prover originally written in Prolog, </pre><pre><span>with the core prover consisting of only a few dozen lines of code, and yet outperforming</span></pre><pre><span>other well-established provers in benchmarks. Thanks to its simplicity, it has in the past </span></pre><pre><span>been ported to the HOL Light theorem prover and therein compared favourably against </span></pre><pre><span>other proof methods, including a port to the Metis theorem prover. In this thesis, </span></pre><pre><span>leanCoP has been ported to the Isabelle/HOL, and benchmarked against other proof </span></pre><pre><span>methods using the TPTP library as well as the Isabelle distribution itself. </span></pre><pre><span>The performance did not live up to expectations, but the root cause is thought to have been</span></pre><pre><span>identified, paving a way for potential future improvements.</span></pre></span><meta itemprop="description" content="Speaker: Markus GroßerType: Master's Thesis PresentationAbstract:leanCoP is a simple theorem prover originally written in Prolog,&nbsp;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&nbsp;been ported to the HOL Light theorem prover and therein compared favourably against&nbsp;other proof methods, including a port to the Metis theorem prover. In this thesis,&nbsp;leanCoP has been ported to the Isabelle/HOL, and benchmarked against other proof&nbsp;methods using the TPTP library as well as the Isabelle distribution itself.&nbsp;The performance did not live up to expectations, but the root cause is thought to have beenidentified, paving a way for potential future improvements."/></div></div><p style="color:#222;font-size:13px;margin:0"><span style="color:#888">Teilnehmen (club2@mailbroy.informatik.tu-muenchen.de)?   </span><wbr><strong><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/Yes"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://www.google.com/calendar/event?action=RESPOND&eid=MmpxcmhtdXI5Y3ZwMDU4YjdpZWFubDM0NzQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=1&tok=MTYjcGlsbGVyQGluLnR1bS5kZTRlZjRiMWQ3ODRkNzM2NzI4MDdmMzMwNWNhZGJiNTFkMTEzNzYxY2U&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Ja</a></span></span><span style="margin:0 0.4em;font-weight:normal"> - </span><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/Maybe"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://www.google.com/calendar/event?action=RESPOND&eid=MmpxcmhtdXI5Y3ZwMDU4YjdpZWFubDM0NzQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=3&tok=MTYjcGlsbGVyQGluLnR1bS5kZTRlZjRiMWQ3ODRkNzM2NzI4MDdmMzMwNWNhZGJiNTFkMTEzNzYxY2U&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Vielleicht</a></span></span><span style="margin:0 0.4em;font-weight:normal"> - </span><span itemprop="potentialaction" itemscope itemtype="http://schema.org/RsvpAction"><meta itemprop="attendance" content="http://schema.org/RsvpAttendance/No"/><span itemprop="handler" itemscope itemtype="http://schema.org/HttpActionHandler"><link itemprop="method" href="http://schema.org/HttpRequestMethod/GET"/><a href="https://www.google.com/calendar/event?action=RESPOND&eid=MmpxcmhtdXI5Y3ZwMDU4YjdpZWFubDM0NzQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&rst=2&tok=MTYjcGlsbGVyQGluLnR1bS5kZTRlZjRiMWQ3ODRkNzM2NzI4MDdmMzMwNWNhZGJiNTFkMTEzNzYxY2U&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Nein</a></span></span></strong>    <wbr><a href="https://www.google.com/calendar/event?action=VIEW&eid=MmpxcmhtdXI5Y3ZwMDU4YjdpZWFubDM0NzQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=MTYjcGlsbGVyQGluLnR1bS5kZTRlZjRiMWQ3ODRkNzM2NzI4MDdmMzMwNWNhZGJiNTFkMTEzNzYxY2U&ctz=Europe%2FBerlin&hl=de&es=0" style="color:#20c;white-space:nowrap" itemprop="url">Weitere Optionen »</a></p></td></tr><tr><td style="background-color:#f6f6f6;color:#888;border-top:1px Solid #ccc;font-family:Arial,Sans-serif;font-size:11px"><p>Einladung von <a href="https://www.google.com/calendar/" target="_blank" style="">Google Kalender</a></p><p>You are receiving this courtesy email at the account club2@mailbroy.informatik.tu-muenchen.de because you are an attendee of this event.</p><p>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.</p><p>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. <a href="https://support.google.com/calendar/answer/37135#forwarding">Learn More</a>.</p></td></tr></table></div></span></span>