15 juin 2022
Le Bois-Marie
Fuseau horaire Europe/Paris

Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien (T: 45min + Q: 15)

15 juin 2022, 09:30
1h
Centre de conférences Marilyn et James Simons (Le Bois-Marie)

Centre de conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette

Orateur

Prof. Patrick MASSOT (LMO, Université Paris-Saclay)

Description

Dans cet exposé je passerai en revue les surprises bonnes et moins bonnes je j'ai rencontrées en formalisant des mathématiques modernes en théorie des types dépendants.

Documents de présentation