Planning

Week Wed. 16 Thu. 17 Fri. 18 List

	Wed. 16	Thu. 17	Fri. 18
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	Olivier Fouquet (Laboratoire de Mathématiques de Besançon) - Get real! (How $p$-adic numbers came to be). 10:30 - 12:00 (1h30) 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 Lunch 12:00 - 14:00 (2h) Lunch Iulian Toader (University of Vienna) - Judging Properly: Against the Ramseyan view on Weyl’s Quantifiers 14:00 - 15:30 (1h30) 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 Coffee break 15:30 - 16:00 (30min) Coffee break Wesley Holliday (U. California - Berkeley, É.-U.) - From Constructive Mathematics and Quantum Mechanics to Fundamental Logic 16:00 - 17:30 (1h30) 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	Sandra Bella (AHP, Université de Lorraine) - L’invention de l’osculation par Leibniz. Enjeux techniques et conceptuels 9:00 - 10:30 (1h30) 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 Break 10:30 - 11:00 (30min) Break Guillaume Massas (Scuola Normale Superiore, Pisa) - A New Way Out of Galileo’s Paradox 11:00 - 12:30 (1h30) 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 Lunch 12:30 - 14:30 (2h) Lunch 胡靖凯 (Hu Jingkai) (Pays Germaniques, ÉNS) - Phenomenological Analysis on Visualization and Intuition in Mathematics 14:30 - 16:00 (1h30) 胡靖凯 (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 Coffee break 16:00 - 16:30 (30min) Coffee break Mark Wilson (University of Pittsburgh) - Reasoning Control through Topographic Chart 16:30 - 18:00 (1h30) Mark Wilson (University of Pittsburgh) - Reasoning Control through Topographic Chart Bâtiment Présidence Léopold (34, cours Léopold), amphithéâtre Léopold Réunion du GDR 18:00 - 19:30 (1h30) Réunion du GDR Réunion du GDR Dinner 20:00 - 22:30 (2h30) Dinner	Jean-Philippe Narboux (CREPhAC, Université de Strasbourg) - Wittgenstein on the Status of the Law of Excluded Middle in Mathematics 9:00 - 10:30 (1h30) 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 Coffee break 10:30 - 11:00 (30min) Coffee break Andrea Ariotto (Sorbonne Université / Università del Piemonte orientale) - Fécondité et objectivité du formalisme chez Cavaillès et Husserl 11:00 - 12:30 (1h30) 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 Lunch 12:30 - 14:00 (1h30) Lunch Valérie Debuiche (CGGG, Aix-Marseille Université) - Leibniz's work on perspective: from representation to projection 14:00 - 15:30 (1h30) 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

Online user: 2

Privacy