Programme, Past
T2-2014 Semantics of proofs and certified mathematics
Start date : - End date :
Semantics of proofs and certified mathematics
7 April, 2014 - 11 July, 2014
Organizers :
Pierre-Louis Curien, Hugo Herbelin, Paul-André Mellies
Scientific program : https://ihp2014.pps.univ-paris-diderot.fr/doku.php
Administrative, financial and logistic organization :
Claire Bérenger
Contact : proofs@ihp.fr
More Information :
Registration on :
Registration are closed
Financial support requests are now closed.
Introductory school :
-
07 April 2014 - 18 April 2014 : CIRM (Marseille, France)
Workshops :
-
05 May 2014 - 09 May 2014 : "Formalization of mathematics in proof assistants"
-
02 June 2014 - 06 June 2014 : "Constructive mathematics and models of type theory"
-
10 June 2014 - 13 June 2014 : "Semantics of proofs and programs"
-
23 June 2014 - 27 June 2014 : "Abstraction and verification in semantics"
-
07 July 2014 - 11 July 2014 : "Certification of high-level and low-level programs"
Through the CIMPA-CARMIN program the organizers wish to fund, with the support of the Labex CARMIN, the CIMPA and IHP, the participation of several young mathematicians from developing countries to the activities of the semester.
Young scientists (master students soon looking for a PhD, PhD students, postdocs) meeting those criteria and interested in the topics are much encouraged to apply for a support to participate on the CIMPA web page.