Thème des journées X-UPS-2026:
Vérification formelle de preuves
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).
Les exposés aborderont l'aspect théorique mathématique des programmes utilisés et des applications à la preuve de certains théorèmes. Ils seront suivis d’une séance pratique utilisant LEAN de 2h.
http://www.math.polytechnique.fr/xups/xups.html
- Formateur: Pascale HARINCK
Nombre de place: 70
Date début: 16 avril 2026
Date fin: 17 avril 2026
etablissement: Polytechnique