BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260605T055407Z
DTSTART;TZID=Europe/Paris:20160610T050000
DTEND;TZID=Europe/Paris:20160611T130000
SUMMARY:Intuitionism\, Computation\, and Proof: Selected themes from the research of G. Kreisel
UID:20260607T082258Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/Paris
LOCATION:Rue du Four 13\, Paris\, France\, 75006
DESCRIPTION:<p>This workshop will critically explore Georg Kreisel&rsquo\;s seminal contributions to logic and the philosophy of mathematics\, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the &ldquo\;unwinding program&rdquo\; in proof theory\, new insights about intuitionism and finitism in the foundations of mathematics\, and Church&rsquo\;s Thesis and informal rigor in computability and philosophy of mathematics.</p>
ORGANIZER;CN=Marianna Antonutti Marfori;CN=Mattia Petrolo:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR