Working group "Formalized mathematics"

Presentation

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

Talks

• 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.

updated on October 10 2022.