Programme

Semaine Mer. 04 Jeu. 05 Ven. 06 Sam. 07 Liste

	Mer. 04	Jeu. 05	Ven. 06	Sam. 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) Déjeuner 12:15 - 13:30 (1h15) Déjeuner 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) Pause 15:30 - 16:00 (30min) Pause 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) Pause 17:00 - 17:30 (30min) Pause Salle Internationale (324) Frege was non Logicist 17:45 - 18:45 (1h) Frege was non Logicist A04 Marco Panza (CNRS/IHPST) Dîner pour les orateurs 20:00 - 23:00 (3h) Dîner pour les orateurs A04	Enregistrement 9:30 - 10:15 (45min) Enregistrement Café Accueil des participants 10:15 - 10:30 (15min) Accueil des 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) Déjeuner 13:30 - 14:45 (1h15) Déjeuner 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) Pause 16:15 - 16:30 (15min) Pause 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) Dîner pour les orateurs 20:00 - 23:00 (3h) Dîner pour les orateurs	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) Pause 11:00 - 11:15 (15min) Pause 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) Déjeuner 12:45 - 14:00 (1h15) Déjeuner 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) Pause 17:00 - 17:15 (15min) Pause Salle Internationale (324) Organisation du 10e FPMW (2018) 17:15 - 19:00 (1h45) Organisation du 10e FPMW (2018) Réunion Dîner de gala 20:00 - 23:00 (3h) Dîner de gala	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) Pause 11:00 - 11:15 (15min) Pause 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)

Personnes connectées : 1