[TYPES/announce] website of the IHP trimester "Semantics of proofs and certified mathematics"

Pierre-Louis Curien curien at pps.univ-paris-diderot.fr
Mon Feb 4 08:30:36 EST 2013

We are pleased to point you to the web page 


of  the IHP trimester

** Semantics of proofs and certified mathematics **

which will be held in Paris from April 7 to July 11, 2014 (cf. previous pre-announcement on this forum).

The webpage encourages potential participants to pre-register, so as to be kept informed of the progression of the organisation of this event, and in order to help the organisers in the advance planning of the trimester.

Registration will be open some time during next spring. 

Best regards,

The organisers (Pierre-Louis Curien, Hugo Herbelin, Paul-André Melliès)

More information about the Types-announce mailing list