[Club2] Invitation: Talk by Jørgen Villadsen @ Wed Oct 15, 2014 14:00 - 15:00 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Talk by Jørgen Villadsen
Title: Isabelle for Teaching Logic
Author: Jørgen Villadsen, DTU Compute, Denmark

Abstract:
We present our work on a bachelor logic course using a reformulation of  
Stefan Berghofer's Isabelle formalization of natural deduction for  
first-order logic (Archive of Formal Proofs 2007). We discuss the  
motivation as well as preliminary developments in Prolog and TypeScript.  
Finally we look at the possibility of extending the approach to  
higher-order logic based on the CakeML project and its formalization of a  
variant of the HOL Light sequent calculus.
When: Wed Oct 15, 2014 14:00 - 15:00 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * Julian Brunner - creator
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=MW1zaTh0MGRjNDR0MDBmaXRjdnFpdnFjdDQgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTVmYjk2MjU5MDQyMWRhYjFjM2Y4OWI4OTE3N2UyZTgyYjM3YTQ2MDM&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: 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 notifications 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141007/34232ea7/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 1787 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141007/34232ea7/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 1830 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20141007/34232ea7/attachment.bin>