Planning
Wednesday, October 4, 2017
| Time |
Event |
(+)
|
|
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
|
Lunch (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
|
Break (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
|
Break (Salle Internationale (324)) |
|
|
17:45 - 18:45
|
Frege was non Logicist (A04) - Marco Panza (CNRS/IHPST) |
|
|
20:00 - 23:00
|
Dinner for speakers (A04) |
|
Thursday, October 5, 2017
| Time |
Event |
(+)
|
|
09:30 - 10:15
|
Registration - Coffee |
|
|
10:15 - 10:30
|
Welcoming of 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
|
Lunch (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
|
Break (Salle Internationale (324)) |
|
|
16:30 - 18:00
|
Weyl, sets and arithmetical properties (Salle Internationale (324)) - Laura Crosilla (University of Leeds) |
|
|
20:00 - 23:00
|
Dinner for speakers |
|
| Time |
Event |
(+)
|
|
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
|
Break (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
|
Lunch (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
|
Break (Salle Internationale (324)) |
|
|
17:15 - 19:00
|
Organization of the FPMW 10, 2018 - Meeting |
|
|
20:00 - 23:00
|
Gala dinner |
|
Saturday, October 7, 2017
| Time |
Event |
(+)
|
|
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
|
Break (G04) |
|
|
11:15 - 12:45
|
Rationality in Mathematical Proofs (G04) - Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University) |
|
|
