Une annonce qui peut intéresser parmi nous.
simon
————-
Bonjour à toutes et à tous,
On vous invite à vous inscrire à l’école thématique CNRS Mathématiques et Philosophie Contemporaines XII, qui est articulée autour de trois sessions thématiques composées de cours, d’exposés de recherche et de table rondes. S’y ajoute des sessions d’exposés libres en particuliers destinées aux jeunes chercheurs.
Les thèmes traités en 2026 sont :
• La formalisation des mathématiques dans Lean (Antoine Chambert-Loir) ;
• Les travaux mathématiques et philosophiques de Pierre Cartier (Frédéric Patras) ;
• Le naturalisme en philosophie des mathématiques (Marianna Antonutti Marfori) ;
• Que vient faire la philosophie dans l’histoire des mathématiques ? (Hourya Benis-Sinaceur)
• Le développement de l’axiomatique euclidienne (Vincenzo de Risi).
L’école thématique commencera le 22 juin 2026 à 18:00 et finira le 26 juin 2026 à 13h.
On se retrouvera comme d’habitude, à Revel (Parking Claude Nougaro) à 17h15 pour ensuite aller tous ensemble au Relais des quatre vents, Lac de Saint-Ferréol, 15 avenue de la plage, 31250 avec un bus qui partira à 17h30. À l’aller, pour se rendre à Revel depuis Toulouse, il faut emprunter un bus (ligne 356 ou 357) depuis la gare routière (départ environ toutes les heures dans l’après-midi).
