Groupe de travail « Mathématiques formalisées »

Présentation

Le but de ce groupe de travail est de se faire rencontrer régulièrement les mathématiciens de la région intéressés par les mathématiques formalisées.

Exposés

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

mis à jour le 10 octobre 2022.