mercredi 16 octobre 2024

Heures événement (+)
10:30 - 12:00 Olivier Fouquet (Laboratoire de Mathématiques de Besançon) - Get real! (How $p$-adic numbers came to be). (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)  
12:00 - 14:00 Déjeuner  
14:00 - 15:30 Iulian Toader (University of Vienna) - Judging Properly: Against the Ramseyan view on Weyl’s Quantifiers (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)  
15:30 - 16:00 Pause café  
16:00 - 17:30 Wesley Holliday (U. California - Berkeley, É.-U.) - From Constructive Mathematics and Quantum Mechanics to Fundamental Logic (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)  

jeudi 17 octobre 2024

Heures événement (+)
09:00 - 10:30 Sandra Bella (AHP, Université de Lorraine) - L’invention de l’osculation par Leibniz. Enjeux techniques et conceptuels (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold)  
10:30 - 11:00 Pause  
11:00 - 12:30 Guillaume Massas (Scuola Normale Superiore, Pisa) - A New Way Out of Galileo’s Paradox (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold)  
12:30 - 14:30 Déjeuner  
14:30 - 16:00 胡靖凯 (Hu Jingkai) (Pays Germaniques, ÉNS) - Phenomenological Analysis on Visualization and Intuition in Mathematics (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold)  
16:00 - 16:30 Pause café  
16:30 - 18:00 Mark Wilson (University of Pittsburgh) - Reasoning Control through Topographic Chart (Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold)  
18:00 - 19:30 Réunion du GDR - Réunion du GDR  
20:00 - 22:30 Dîner  

vendredi 18 octobre 2024

Heures événement (+)
09:00 - 10:30 Jean-Philippe Narboux (CREPhAC, Université de Strasbourg) - Wittgenstein on the Status of the Law of Excluded Middle in Mathematics (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)  
10:30 - 11:00 Pause café  
11:00 - 12:30 Andrea Ariotto (Sorbonne Université / Università del Piemonte orientale) - Fécondité et objectivité du formalisme chez Cavaillès et Husserl (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)  
12:30 - 14:00 Déjeuner  
14:00 - 15:30 Valérie Debuiche (CGGG, Aix-Marseille Université) - Leibniz's work on perspective: from representation to projection (Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002)