Ninth French Philosophy of Mathematics Workshop

›10:15 (1h)

De Re Knowledge in Mathematics
Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy)

› Salle Internationale (324)

›11:15 (1h)

Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics
Cyrille Imbert (CNRS/LHSP-AHP)

› Salle Internationale (324)

›12:15 (1h15)

Déjeuner

› hall

›13:30 (1h)

Formal Proof in Mathematical Practice
Danielle Macbeth (Haverford College)

› Salle Internationale (324)

›14:30 (1h)

Visual Impact on Spatial Reasoning in Mathematics
Irina Starikova (University of São Paulo)

› Salle Internationale (324)

›15:30 (30min)

Pause

› Salle Internationale (324)

›16:00 (1h)

Do the roads to the higher infinite lead anywhere?
Casper Storm Hansen (The Van Leer Jerusalem Institute)

› Salle Internationale (324)

›17:00 (30min)

Pause

› Salle Internationale (324)

›17:45 (1h)

Frege was non Logicist
Marco Panza (CNRS/IHPST)

› A04

›20:00 (3h)

Dîner pour les orateurs

› A04