Vérification formelle de preuves
Journées mathématiques X-UPS 2026
Conférenciers
- Sébastien Gouëzel, CNRS - IRMAR (Rennes)
- Patrick Massot, Université Paris-Saclay (Orsay)
- Micaela Mayero, Université Sorbonne Paris Nord (Villetaneuse)
- Benjamin Werner, INRIA & École polytechnique (Palaiseau)
Organisateurs scientifiques
Présentation du thème
Présentation des journées
Les journées mathématiques X-UPS sont un stage de formation organisé par le Centre de mathématiques Laurent Schwartz de l'École polytechnique à l'intention des professeurs des classes préparatoires aux grandes écoles scientifiques.
Elles se tiennent tous les ans au printemps. L'inscription est gratuite mais obligatoire.
L'objectif est double : d'une part satisfaire l'intérêt des professeurs pour l'actualité de la recherche en mathématiques et en informatique, d'autre part leur apporter des connaissances utilisables dans leur enseignement.
Le stage comporte six ou sept conférences éventuellement accompagnées de démonstrations ou de travaux pratiques sur ordinateur. Nous souhaitons une participation active des stagiaires sous forme de discussion et questions aux conférenciers.
Les Journées mathématiques X-UPS bénéficient du soutien de la fondation mathématique Jacques Hadamard (FMJH) 
