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      <p>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 &quot;un
 winding program&quot; 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      </p>\n    \n    
   <p>For more information, see the conference webp
 age at\n        <a target="_blank" href="http://ww
 w.ihpst.cnrs.fr/en/activites/conferences/intuition
 ism-computation-and-proof-selected-themes-research
 -g-kreisel">http://www.ihpst.cnrs.fr/en/activites/
 conferences/</a>.\n         To enquire about the w
 orkshop, please contact the organizers at \n      
   <a class="email">marianna.antonutti <span class=
 "at">at</span> gmail.com</a> and <a class="email">
 mattia.petrolo <span class="at">at</span> univ-par
 is1.fr</a>.\n      </p>\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