website of the IHP trimester "Semantics of proofs and certified mathematics"

We are pleased to point you to the web page http://ihp2014.pps.univ-paris-diderot.fr/ 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]