BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2016/newsitem/7339/10-
11-June-2016-Intuitionism-Computation-and-Proof-Se
lected-themes-from-the-research-of-G-Kreisel-Paris
-France
DTSTAMP:20160430T000000
SUMMARY:Intuitionism, Computation and Proof: Selec
ted themes from the research of G. Kreisel, Paris,
France
DTSTART;VALUE=DATE:20160610
DTEND;VALUE=DATE:20160611
LOCATION:Paris, France
DESCRIPTION:This workshop will critically explore
Georg Kreisel's seminal contributions to logic and
the philosophy of mathematics, by bringing togeth
er a number of experts to discuss developments ini
tiated or significantly advanced by Kreisel's work
in different areas. The discussion will revolve a
round three main topics: the "unwinding program" i
n proof theory, new insights about intuitionism an
d finitism in the foundations of mathematics, and
Church's thesis and informal rigor in computabilit
y and philosophy of mathematics. For more inform
ation, see the conference webpage at http://www.ih
pst.cnrs.fr/en/activites/conferences/. To enquire
about the workshop, please contact the organizers
at marianna.antonutti at gmail.com and mattia.petr
olo at univ-paris1.fr.
X-ALT-DESC;FMTTYPE=text/html:\n This works
hop will critically explore Georg Kreisel's semina
l\n contributions to logic and the philosophy
of mathematics, by\n bringing together a num
ber of experts to discuss developments\n init
iated or significantly advanced by Kreisel's work
in\n different areas. The discussion will rev
olve around three main\n topics: the "un
winding program" in proof theory, new\n
insights about intuitionism and finitism in the fo
undations of\n mathematics, and Church's thes
is and informal rigor in\n computability and
philosophy of mathematics.\n

\n \n
For more information, see the conference webp
age at\n http://www.ihpst.cnrs.fr/en/activites/
conferences/.\n To enquire about the w
orkshop, please contact the organizers at \n
marianna.antonutti at gmail.com and
mattia.petrolo at univ-par
is1.fr.\n

URL:/NewsandEvents/Archives/2016/newsitem/7339/10-
11-June-2016-Intuitionism-Computation-and-Proof-Se
lected-themes-from-the-research-of-G-Kreisel-Paris
-France
END:VEVENT
END:VCALENDAR