Working group Formalized maths

Presentation

The goal of this working group is to have mathematicians in the region interested in formalized mathematics meet regularly.

Patrick Massot : Le retournement de la sphère, le May 24 2022 at 10:00.
Joël Riou : La correspondance de Dold-Kan, le May 31 2022 at 10:00.
Damien Thomine : Systèmes dynamiques, le June 7 2022 at 10:00.
Antoine Chambert-Loir : Simplicité pour les groupes finis, le June 21 2022 at 10:00.
Floris van Doorn : Differentiable manifolds and vector bundles, le June 28 2022 at 10:00.
Heather Macbeth : Semi-linear maps, le October 18 2022 at 10:00.
Kyle Miller : Knot theory and 3-manifold topology, le November 8 2022 at 10:00.
Anatole Dedecker : Espaces vectoriels topologiques et théorème de Banach-Steinhaus, le November 22 2022 at 10:00.
Riccardo Brasca : Théorie algébrique des nombres, le December 6 2022 at 10:00.