Attention : tout l'Institut Henri Poincaré (les deux bâtiments Borel et Perrin, la bibliothèque et le musée) sera fermé les mardi 15 et mercredi 16 septembre en raison d'un évènement exceptionnel.
Veuillez nous excuser pour la gêne occasionnée et nous vous remercions de votre compréhension.
Programme, Passé
T2-2014 Semantics of proofs and certified mathematics
Date de début : - Date de fin :
Semantics of proofs and certified mathematics
Comité d’organisation scientifique :
Pierre-Louis Curien, Hugo Herbelin, Paul-André Mellies
Programme scientifique : https://ihp2014.pps.univ-paris-diderot.fr/doku.php
Organisation administrative, logistique et financière :
Claire Bérenger
Contact : proofs@ihp.fr
Informations complémentaires :
Pré-école :
- CIRM (Marseille, France) du 07 au 18 avril 2014
Conférences :
- Du 05 au 09 mai 2014 : "Formalization of mathematics in proof assistants"
- Du 02 au 06 juin 2014 : "Constructive mathematics and models of type theory"
- Du 10 au 13 juin 2014 : "Semantics of proofs and programs"
- Du 23 au 27 juin 2014 : "Abstraction and verification in semantics"
- Du 07 au 11 juillet 2014 : "Certification of high-level and low-level programs"
Vidéos
À travers le programme CIMPA-CARMIN, les organisateurs et organisatrices souhaitent, avec le support du Labex CARMIN, du CIMPA et de l'IHP, financer la participation de plusieurs jeunes mathématicien·nes issus de pays en développement à l’ensemble de leurs activités.
Les jeunes chercheur·es (étudiant·es en Master s’orientant vers une thèse, doctorant·es, ou post-docs) répondant à ces critères et travaillant dans les thématiques concernées sont donc encouragé·es à postuler pour un financement de leur participation à ce programme sur la page web du CIMPA
Un Appel à candidatures est ouvert pour chaque programme concerné.