10-11 June 2016, Intuitionism, Computation and Proof: Selected themes from the research of G. Kreisel, Paris, France

This workshop will critically explore Georg Kreisel'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 "unwinding program" in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church's thesis and informal rigor in computability and philosophy of mathematics.

For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonutti at gmail.com and mattia.petrolo at univ-paris1.fr.