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 .
  • Joël Riou : La correspondance de Dold-Kan, le .
  • Damien Thomine : Systèmes dynamiques, le .
  • Antoine Chambert-Loir : Simplicité pour les groupes finis, le .
  • Floris van Doorn : Differentiable manifolds and vector bundles, le .
  • Heather Macbeth : Semi-linear maps, le .
  • Kyle Miller : Knot theory and 3-manifold topology, le .
  • Anatole Dedecker : Espaces vectoriels topologiques et théorème de Banach-Steinhaus, le .
  • Riccardo Brasca : Théorie algébrique des nombres, le .
updated on March 13 2023.