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 .
updated on October 10 2022.