Inscription programme + colloque(s) [inscription colloque(s) facultative]

Sémantique des preuves et des programmes et formalisation des mathématiques

07 Avr 2014 - 11 Juil 2014

Pour plus d'informations, envoyez un email à : proofs@ihp.fr

Si vous avez un compte, cliquez ici pour vous connecter.

IMPORTANT : tous les champs doivent être remplis.

Titre : MmeM.

Nom : *

Prénom : *

Date de naissance : *

12345678910111213141516171819202122232425262728293031

janv.févr.marsavr.Maijuinjuill.aoûtsept.oct.nov.déc.

1900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050

Nationalité : *

Adresse e-mail : *

Confirmation adresse e-mail : *

Merci de confirmer votre adresse e-mail

Site web personnel :

Fonction actuelle : *

Université / Institut / Laboratoire : *

Adresse : *

Dates de séjour(s) prévu(s)

Arrivée : *

Départ : *

Add new date of intended stay if necessary

Arrivée :

Départ :

Add new date of intended stay if necessary

Arrivée :

Départ :

Add new date of intended stay if necessary

Arrivée :

Départ :

Important

Les étudiants en doctorat doivent envoyer un CV et demander à leur directeur de thèse d'envoyer une lettre de recommandation à : proofs@ihp.fr

CV :

Uniquement pour les étudiants. Fichier au format .pdf.

Avez-vous besoin d'un bureau ? (La répartition des bureaux sera faite en fonction de la disponibilité) :

non

oui

S'inscrire aux colloques et aux événements
S'inscrire aux colloques et aux évènements. Pour toutes demandes de support financier veuillez contacter la boîte courriel du dédié au trimestre.

CIRM Summer Pre-school PRE INSCRIPTION - CLOSED [ Inscriptions fermées ]

07/04/2014 - 09:00 - 18/04/2014 - 17:00

Formalization of mathematics in proof assistants [ Inscriptions fermées ]

05/05/2014 - 09:00 - 09/05/2014 - 17:00

Constructive mathematics and models of type theory [ Inscriptions fermées ]

02/06/2014 - 09:00 - 06/06/2014 - 17:00

Semantics of proofs and programs [ Inscriptions fermées ]

10/06/2014 - 09:00 - 13/06/2014 - 17:00

Abstraction and verification in semantics [ Inscriptions fermées ]

23/06/2014 - 09:00 - 27/06/2014 - 17:00

Certification of high-level and low-level programs [ Inscriptions fermées ]

07/07/2014 - 09:00 - 11/07/2014 - 17:00

Je souhaite recevoir des informations concernant ce trimestre par e-mail

Recopiez le code présent sur l'image : *

Entrer les caractères affichés sur l'image.

J'ai lu et j'accepte la Charte pour l'utilisation des ressources informatiques et de services Internet

Pour plus d'informations, envoyez un email à : proofs@ihp.fr