Programme, Passé
T2-2014 Semantics of proofs and certified mathematics
Date de début : - Date de fin :
Semantics of proofs and certified mathematicsComité 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é.