100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Thierry Gallay

Le bâtiment de l'Institut Fourier est à nouveau accessible par badge ou code, de 6h30 à 21h30, du lundi au vendredi. Il reste toutefois fermé et sous alarme les week-ends et jours fériés. La bibliothèque du laboratoire est actuellement fermée, mais un service de prêt et de retour d'ouvrages a été mis en place. La cafétéria du second étage est en travaux, pour une longue période. Pour des raisons de traçabilité, les membres du laboratoire sont priés de signaler leurs jours de présence en remplissant le sondage envoyé par la direction. Pour de plus amples informations, consulter l'intranet du laboratoire.
 
---------------------------------------------------------------------------------
 
 

Sébastien Gouëzel

Assistants de preuve : un outil pour les mathématiciens ?
Jeudi, 5 Mars, 2020 - 16:30 à 17:30
Résumé: 

Les assistants de preuve sont des outils informatiques qui permettent de
formaliser et vérifier tous les détails d’une preuve. Alors qu’ils sont
développés et utilisés depuis longtemps par des informaticiens
(notamment pour prouver qu’un programme fait bien ce qu’il attend de
lui), leur adoption par des mathématiciens est beaucoup plus récente. Je
décrirai à travers mon expérience personnelle ce que ces outils
permettent déjà de faire, notamment pour des résultats niveau recherche,
mais aussi les difficultés que pose leur utilisation pour un
mathématicien. Et j’espère aussi dissiper quelques fantasmes !

Institution: 
Université de Nantes
Salle: 
Amphi Chabauty
logo uga logo cnrs