* website of the IHP trimester "Semantics of proofs and certified mathematics"
@ 2013-02-04 12:45 Pierre-Louis Curien
0 siblings, 0 replies; only message in thread
From: Pierre-Louis Curien @ 2013-02-04 12:45 UTC (permalink / raw)
To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
categories-59hdLBrVOVU, algtop-l-wE+tr93vHrabo6XCN/16Dg
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)
_______________________________________________
ALGTOP-L mailing list
ALGTOP-L@lists.lehigh.edu
https://lists.lehigh.edu/mailman/listinfo/algtop-l
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-02-04 12:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-02-04 12:45 website of the IHP trimester "Semantics of proofs and certified mathematics" Pierre-Louis Curien
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).