"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open

[Pierre-Louis Curien <curien@pps.univ-paris-diderot.fr>]

We are pleased to announce that registration is now open for the  
trimester

"Semantics of proofs and certified mathematics"

(previously announced on the categories list).  Details are enclosed  
below.

Pierre-Louis Curien, Hugo Herbelin, and Paul-André Melliès

**********************
Dear colleague,

It is our pleasure to announce a programme on "Semantics of proofs and  
certified mathematics" organised by the Centre Emile Borel of Henri  
Poincare Institute in Paris, from April 7th to July 11th, 2014.

The organisers are Pierre-Louis Curien, Hugo Herbelin and Paul-Andre  
Mellies.

Information on the programme can be found at : http://www.ihp.fr/en or  
at http://ihp2014.pps.univ-paris-diderot.fr/

Registration for the programme is free and recommended on: http://www.ihp.fr/en/program/10226/register

BE CAREFUL :

Deadline to apply for financial support is September 16th, 2013

During this trimester:

- A summerschool at CIRM is organized from April 7th to April 18th,  
2014:
If you intend to participate in this event,  it will be necessary to  
make a pre registration through this link:
http://www.ihp.fr/en/program/10225/conference/register
The number of participants to CIRM Summer School being limited, if  
necessary a selection among the applications will have to be made by  
the organisers.

and

- 5 workshops will take place:
1) « Formalization of mathematics in proof assistants » - May 5th to  
9th (except Thursday, 8th- bank holiday)
2) « Constructive mathematics and models of type theory » - June 2th  
to 6th
3) « Semantics of proofs and programs » June 10th to 14th (Tuesday  
through Saturday- Monday, 9th-bank holiday)
4) « Abstraction and verification in semantics » June 23rd to 27th
5) « Certification of high-level and low-level programs » July 7th to  
11th

If you intend to participate to one or several of these events please  
register first to the whole programme. Registrations for these  
workshops will be opened later on.

I will at that time send you a message informing you about it.

We are looking forward to welcoming you in Paris!

The poster of the  trimester programme may be downloaded from the site http://ihp2014.pps.univ-paris-diderot.fr/

PS: do not hesitate to forward this e-mail to your colleagues and  
students.
Sorry for multiple e-mails reception.

--
Claire Bérenger
CEB Program Coordinator
Institut Henri Poincare
11 rue Pierre et Marie Curie
75005 Paris FRANCE
Tel: 01 44 27 67 64
Fax: 01 44 07 09 37

****************************************
Chers Collègues,

Nous avons le plaisir de vous annoncer l'organisation d'un programme  
sur la "Sémantique des preuves et des programmes et formalisation des  
mathématiques" au Centre Emile Borel  (CEB) de l Institut Henri  
Poincaré de Paris,
du 7 avril au 11 juillet 2014.
Les organisateurs sont: Pierre-Louis Curien, Hugo Herbelin et Paul- 
Andre Mellies.

Vous pouvez consulter le programme à l'adresse suivante: http://www.ihp.fr/fr 
   ou directement à cette adresse: http://ihp2014.pps.univ-paris-diderot.fr/

L'inscription au programme est gratuite et cependant recommandée sur  
la page suivante: http://www.ihp.fr/fr/program/10225/register

Attention :
la date limite pour les demandes de support financier est fixée au 16  
septembre 2013.

Durant ce trimestre:
- une école d été est organisée au CIRM (Marseille) du 7 au 18 avril  
2014.
Si vous avez l'intention de participer à ce programme en particulier  
une pré-inscription est nécessaire sur le site suivant:
http://www.ihp.fr/fr/program/10225/conference/register
Le nombre de participants à l'école d'été du CIRM etant limité, si  
necessaire une selection au vu des candidatures sera faite par les  
organisateurs scientifiques.

et

- 5 conferences auront lieu:
1) « Formalization of mathematics in proof assistants » - du 5 au 9  
mai (à l exception du jeudi 8 mai- jour férié)
2) « Constructive mathematics and models of type theory » - du 2 au 6  
juin
3) « Semantics of proofs and programs » June 10th to 14th (du mardi au  
samedi- Lundi 9 - jour férié)
4) « Abstraction and verification in semantics » du 23 au 27 juin
5) « Certification of high-level and low-level programs » du 7 au 11  
juillet

Si vous avez l'intention de participer à  une ou plusieurs de ces  
conférences merci de vous inscrire dans un premier temps au programme  
dans son ensemble.
Les conférences seront ouvertes aux inscriptions ultérieurement. Je  
vous en informerai par courriel.

C'est avec plaisir que nous vous accueillerons a Paris!

L'affiche du programme du trimestre peut être téléchargée depuis le  
site http://ihp2014.pps.univ-paris-diderot.fr/.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]