Conférence de Richard Zach Theories and Models from Hilbert to Tarski, 11 décembre 2025, IHPST, Paris
Journée ANR AXDEF, L’espace en mathématiques, 7 mai 2025, Campus St. Charles, Marseille
Workshop on the formalization of elementary geometry, Paris, IHPST, Monday, December 9, 2024
Axiomes, définitions et conventions, Nantes, 3 avril 2024
1st AXDEF WORKSHOP “Implicit Definitions”, May 27-29, 2024, Marseille