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

Jun 15, 2022, 9:30 AM
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

Speaker

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.

Presentation materials