Colloquium
FRUMAM, St Charles, Marseille
/agenda/manifestations-scientifiques/colloquium-de-mathematiques-de-marseille-2/
Date(s) : 25/11/2022 iCal
16 h 00 min - 17 h 00 min
Patrick MASSOT (Laboratoire de Mathématiques d’Orsay in Université Paris-Saclay)
De plus en plus de mathématiciens s’amusent en expliquant des mathématiques aux ordinateurs via des logiciels appelés assistants de preuves. Dans cet exposé j’expliquerai à quoi ressemble ce processus, dit de formalisation, quel genre de choses il nous apprend et comment il pourrait même s’avérer utile (en notre sens habituel du mot « utile »).
A titre exceptionnel, l’exposé du colloquium sera précédé d’un TP de découverte des maths formalisées de 10h à 13h dans la salle d’informatique 5-401 (Bâtiment 5 (grand bâtiment), escalier 2, étage 4, bloc A) à St Charles.
Emplacement
FRUMAM, St Charles (2ème étage)
Catégories