BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Mathématiques et Philosophie Contemporaines XIII
DTSTART:20260622T160000Z
DTEND:20260626T110000Z
DTSTAMP:20260613T231700Z
UID:indico-event-16289@indico.math.cnrs.fr
CONTACT:MPhCstflour@math.univ-toulouse.fr
DESCRIPTION:Speakers: Paola Cantù (CNRS\, Centre Gilles Gaston Granger)\,
  Brice Halimi (Paris Cité\, SPHere)\, Sebastien Maronne (Institut de Math
 ématiques de Toulouse)\, Frédéric Patras (CNRS)\, Baptiste Mélès\n\n\
 n \nCette année\, l’école thématique CNRS « Mathématiques et Philo
 sophie Contemporaines »XIII est articulée autour de trois sessions thém
 atiques composées de cours (1h30 et 30mn de questions)\, d'exposés de re
 cherche (1h et 30mn de questions) et de table rondes (1h30). S'y ajoute de
 s sessions d’exposés libres en particuliers destinées aux jeunes cherc
 heurs.\nLes thèmes traités en 2026 sont  : \n \n\n\nLa formalisation 
 des mathématiques dans Lean (Antoine Chambert-Loir) \;\n\n\nLes travaux m
 athématiques et philosophiques de Pierre Cartier (Frédéric Patras) \;\n
 \n\nLe naturalisme en philosophie des mathématiques (Marianna Antonutti M
 arfori) \;\n\n\nQue vient faire la philosophie dans l'histoire des mathém
 atiques ? (Hourya Benis-Sinaceur)\n\n\nLe développement de l'axiomatique 
 euclidienne (Vincenzo de Risi).\n\n\n \nL'école thématique "Mathématiq
 ues et Philosophie Contemporaines XII" est soutenue par le CNRS (INSMI et 
 INSHS)\, le Réseau Thématique "Philosophie des Mathématiques"\, l'Insti
 tut de Mathématiques de Toulouse et le LABEX CIMI de Toulouse.\n \nPorte
 ur de l'école thématique : Sébastien Maronne (UT\, IMT)\nComité d'orga
 nisation scientifique : Paola Cantù (CNRS\, CGGG)\, Brice Halimi (Paris C
 ité\, SPHere)\, Baptiste Mélès (CNRS\, AHP)\, Frédéric Patras (CNRS\,
  LJAD).\n\nhttps://indico.math.cnrs.fr/event/16289/
LOCATION:Relais des quatre vents\, Lac de Saint-Ferréol (31)
URL:https://indico.math.cnrs.fr/event/16289/
END:VEVENT
END:VCALENDAR