Planning

Week Wed. 04 Thu. 05 Fri. 06 Sat. 07 List

	Wed. 04	Thu. 05	Fri. 06	Sat. 07
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 23:00	De Re Knowledge in Mathematics 10:15 - 11:15 (1h) De Re Knowledge in Mathematics Salle Internationale (324) Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy) Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics 11:15 - 12:15 (1h) Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics Salle Internationale (324) Cyrille Imbert (CNRS/LHSP-AHP) Lunch 12:15 - 13:30 (1h15) Lunch hall Formal Proof in Mathematical Practice 13:30 - 14:30 (1h) Formal Proof in Mathematical Practice Salle Internationale (324) Danielle Macbeth (Haverford College) Visual Impact on Spatial Reasoning in Mathematics 14:30 - 15:30 (1h) Visual Impact on Spatial Reasoning in Mathematics Salle Internationale (324) Irina Starikova (University of São Paulo) Break 15:30 - 16:00 (30min) Break Salle Internationale (324) Do the roads to the higher infinite lead anywhere? 16:00 - 17:00 (1h) Do the roads to the higher infinite lead anywhere? Salle Internationale (324) Casper Storm Hansen (The Van Leer Jerusalem Institute) Break 17:00 - 17:30 (30min) Break Salle Internationale (324) Frege was non Logicist 17:45 - 18:45 (1h) Frege was non Logicist A04 Marco Panza (CNRS/IHPST) Dinner for speakers 20:00 - 23:00 (3h) Dinner for speakers A04	Registration 9:30 - 10:15 (45min) Registration Coffee Welcoming of Participants 10:15 - 10:30 (15min) Welcoming of Participants Salle Internationale (324) Representation vs projection: two views on the nature of mathematical knowledge 10:30 - 12:00 (1h30) Representation vs projection: two views on the nature of mathematical knowledge Salle Internationale (324) David Rabouin (CNRS/SPHERE) Cognitive complexity and mathematical problem solving 12:00 - 13:30 (1h30) Cognitive complexity and mathematical problem solving Salle Internationale (324) Markus Pantzar (University of Helsinki) Lunch 13:30 - 14:45 (1h15) Lunch hall Virtual temporality of geometric objects. (Around the Ricci flow). 14:45 - 16:15 (1h30) Virtual temporality of geometric objects. (Around the Ricci flow). Salle Internationale (324) Yves André (CNRS/ Institut des Mathématiques Jussieu-Paris Rive Gauche) Break 16:15 - 16:30 (15min) Break Salle Internationale (324) Weyl, sets and arithmetical properties 16:30 - 18:00 (1h30) Weyl, sets and arithmetical properties Salle Internationale (324) Laura Crosilla (University of Leeds) Dinner for speakers 20:00 - 23:00 (3h) Dinner for speakers	Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning 9:30 - 11:00 (1h30) Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning Salle Internationale (324) Sylvia Pauw (Universiteit Gent) Break 11:00 - 11:15 (15min) Break Salle Internationale (324) Semantic Indeterminacy, Classical Mathematics, and the Sorites 11:15 - 12:45 (1h30) Semantic Indeterminacy, Classical Mathematics, and the Sorites Salle Internationale (324) Hannes Leitgeb (University of Munich) Lunch 12:45 - 14:00 (1h15) Lunch hall Frege's Begriffsschrift and logicism 14:00 - 15:30 (1h30) Frege's Begriffsschrift and logicism Salle Internationale (324) Bertran San Millán (The Czech Academy of Sciences) The Axiomatization of Space in the Early Modern Age 15:30 - 17:00 (1h30) The Axiomatization of Space in the Early Modern Age Salle Internationale (324) Vincenzo de Risi (Max Planck Institute for the History of Science) Break 17:00 - 17:15 (15min) Break Salle Internationale (324) Organization of the FPMW 10, 2018 17:15 - 19:00 (1h45) Organization of the FPMW 10, 2018 Meeting Gala dinner 20:00 - 23:00 (3h) Gala dinner	Set theory and univalent foundations and their relative positions in the foundations of mathematics 9:30 - 11:00 (1h30) Set theory and univalent foundations and their relative positions in the foundations of mathematics G04 Mirna Dzamonja (East Anglia Univ., Norwich) Break 11:00 - 11:15 (15min) Break G04 Rationality in Mathematical Proofs 11:15 - 12:45 (1h30) Rationality in Mathematical Proofs G04 Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)

Online user: 1