|
mercredi 4 octobre 2017
| Heures | événement | |
| 10:15 - 11:15 | De Re Knowledge in Mathematics (Salle Internationale (324)) - Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy) | |
| 11:15 - 12:15 | Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics (Salle Internationale (324)) - Cyrille Imbert (CNRS/LHSP-AHP) | |
| 12:15 - 13:30 | Déjeuner (hall) | |
| 13:30 - 14:30 | Formal Proof in Mathematical Practice (Salle Internationale (324)) - Danielle Macbeth (Haverford College) | |
| 14:30 - 15:30 | Visual Impact on Spatial Reasoning in Mathematics (Salle Internationale (324)) - Irina Starikova (University of São Paulo) | |
| 15:30 - 16:00 | Pause (Salle Internationale (324)) | |
| 16:00 - 17:00 | Do the roads to the higher infinite lead anywhere? (Salle Internationale (324)) - Casper Storm Hansen (The Van Leer Jerusalem Institute) | |
| 17:00 - 17:30 | Pause (Salle Internationale (324)) | |
| 17:45 - 18:45 | Frege was non Logicist (A04) - Marco Panza (CNRS/IHPST) | |
| 20:00 - 23:00 | Dîner pour les orateurs (A04) |
jeudi 5 octobre 2017
| Heures | événement | |
| 09:30 - 10:15 | Enregistrement - Café | |
| 10:15 - 10:30 | Accueil des participants (Salle Internationale (324)) | |
| 10:30 - 12:00 | Representation vs projection: two views on the nature of mathematical knowledge (Salle Internationale (324)) - David Rabouin (CNRS/SPHERE) | |
| 12:00 - 13:30 | Cognitive complexity and mathematical problem solving (Salle Internationale (324)) - Markus Pantzar (University of Helsinki) | |
| 13:30 - 14:45 | Déjeuner (hall) | |
| 14:45 - 16:15 | Virtual temporality of geometric objects. (Around the Ricci flow). (Salle Internationale (324)) - Yves André (CNRS/ Institut des Mathématiques Jussieu-Paris Rive Gauche) | |
| 16:15 - 16:30 | Pause (Salle Internationale (324)) | |
| 16:30 - 18:00 | Weyl, sets and arithmetical properties (Salle Internationale (324)) - Laura Crosilla (University of Leeds) | |
| 20:00 - 23:00 | Dîner pour les orateurs |
vendredi 6 octobre 2017
| Heures | événement | |
| 09:30 - 11:00 | Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning (Salle Internationale (324)) - Sylvia Pauw (Universiteit Gent) | |
| 11:00 - 11:15 | Pause (Salle Internationale (324)) | |
| 11:15 - 12:45 | Semantic Indeterminacy, Classical Mathematics, and the Sorites (Salle Internationale (324)) - Hannes Leitgeb (University of Munich) | |
| 12:45 - 14:00 | Déjeuner (hall) | |
| 14:00 - 15:30 | Frege's Begriffsschrift and logicism (Salle Internationale (324)) - Bertran San Millán (The Czech Academy of Sciences) | |
| 15:30 - 17:00 | The Axiomatization of Space in the Early Modern Age (Salle Internationale (324)) - Vincenzo de Risi (Max Planck Institute for the History of Science) | |
| 17:00 - 17:15 | Pause (Salle Internationale (324)) | |
| 17:15 - 19:00 | Organisation du 10e FPMW (2018) - Réunion | |
| 20:00 - 23:00 | Dîner de gala |
samedi 7 octobre 2017
| Heures | événement | |
| 09:30 - 11:00 | Set theory and univalent foundations and their relative positions in the foundations of mathematics (G04) - Mirna Dzamonja (East Anglia Univ., Norwich) | |
| 11:00 - 11:15 | Pause (G04) | |
| 11:15 - 12:45 | Rationality in Mathematical Proofs (G04) - Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University) |
|
|