• English
  • Français
  • The Institute
  • News
  • Activities
  • Opportunities
  • Library
  • M ● ⬛
  • Public events
  • Guide
  • Home
  • Thematic quarters
    • Calendar
    • Current program
    • Forthcoming trimesters
    • Archives past programs 1994 - 2010
    • Archives past programs 2010 - ...
  • Doctoral Training
    • Doctoral Training in 2019
    • Past Doctoral Training
  • Research In Paris
    • Research In Paris 2020
    • Past "Research In Paris"
  • Hosted activities
    • Seminars and Working groups
    • Mathematic Park
    • "One question, One researcher"
  • Publications
  • Sorbonne Universit
  • CNRS

  • Home
  • S'inscrire au trimestre
Printer-friendly version
If you have an account, click here to log in.
« Back to the program

Program registration form

Semantics of proofs and certified mathematics

07 Apr 2014 - 11 Jul 2014

For more information, send an email to : proofs@ihp.fr

IMPORTANT : all fields must be filled.

Dates of travel
Files
Ph D students must send a CV and a recommendation letter from their thesis advisor
Only for the students. File in .pdf format.
Only for the students. File in .pdf format.
offices space is very limited, and will depend on availability
Image CAPTCHA
Enter the characters shown in the image.

PLEASE NOTE: the application for workshops are independent.

© 2010 - Copyright IHP. Tous droits réservés.

  • Contact us
  • Site map
  • Getting here
  • Terms of use
  • Credits
  • Intranet
  • Subscribe to our Newsletter