Planning

Week Thu. 03 Fri. 04 Sat. 05 List

	Thu. 03	Fri. 04	Sat. 05
08:00 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	Reception and registration 8:30 - 9:00 (30min) Reception and registration Reception and registration of participants Welcome 9:00 - 9:30 (30min) Welcome Amphithéâtre Massiani AMU, Site Saint Charles Mathematical Understanding 9:30 - 11:00 (1h30) Mathematical Understanding Amphithéâtre Massiani AMU, Site Saint Charles Jeremy Avigad (Carnegie Mellon University) Coffee break 11:00 - 11:30 (30min) Coffee break Can we have mathematical understanding of physical phenomena? 11:30 - 13:00 (1h30) Can we have mathematical understanding of physical phenomena? Amphithéâtre Massiani AMU, Site Saint Charles Gabriel Tarziu (Institute for Research in Humanities, University of Bucharest) Lunch 13:00 - 14:30 (1h30) Lunch On the autonomy of formulae: a case study around Leibniz and Johann Bernoulli 14:30 - 15:15 (45min) On the autonomy of formulae: a case study around Leibniz and Johann Bernoulli Amphithéâtre Massiani AMU, Site Saint Charles David Waszek (University Paris I Panthéon-Sorbonne, Institut d'Histoire et de Philosophie des Sciences et des Techniques) Philosophy of mathematics between history of mathematics and philosophy. Geometrical problem solving in early modern mathematics and practical reasoning 15:15 - 16:45 (1h30) Philosophy of mathematics between history of mathematics and philosophy. Geometrical problem solving in early modern mathematics and practical reasoning Amphithéâtre Massiani AMU, Site Saint Charles Sébastien Maronne (Univ. Toulouse III Paul Sabatier, IMT & SPHERE) Coffee break 16:45 - 17:15 (30min) Coffee break What Should we Render unto Caesar? 17:15 - 18:45 (1h30) What Should we Render unto Caesar? Amphithéâtre Massiani AMU, Site Saint Charles Francesca Boccuni (Università San Raffaele, Milan) – Jack Woods (University of Leeds)	Albert Lautman lecteur de Hermann Weyl 9:30 - 11:00 (1h30) Albert Lautman lecteur de Hermann Weyl Amphithéâtre Massiani AMU, Site Saint Charles Christophe Eckes (Archives Henri Poincaré, Nancy) Coffee break 11:00 - 11:30 (30min) Coffee break Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings 11:30 - 13:00 (1h30) Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings Amphithéâtre Massiani AMU, Site Saint Charles Francesca Biagioli (Universität Konstanz) Lunch 13:00 - 14:30 (1h30) Lunch A case of BHK decidability: Dag Prawitz's proof- and ground-theoretic semantics 14:30 - 15:15 (45min) A case of BHK decidability: Dag Prawitz's proof- and ground-theoretic semantics Amphithéâtre Massiani AMU, Site Saint Charles Antonio Piccolomini d'Aragona (Aix-Marseille University, University of Rome “La Sapienza”) From Euclid to F_1-geometry 15:15 - 16:45 (1h30) From Euclid to F_1-geometry Amphithéâtre Massiani AMU, Site Saint Charles Claudio Bartocci (Università di Genova) Dinner 20:30 - 23:00 (2h30) Dinner	Category Theory and Philosophy of Mathematics 9:30 - 11:00 (1h30) Category Theory and Philosophy of Mathematics Amphithéâtre Massiani AMU, Site Saint Charles Jean-Michel Salanskis (Université Paris Ouest) Coffee break 11:00 - 11:30 (30min) Coffee break Linguistic Reinterpretation and Inde nite Extensibility 11:30 - 13:00 (1h30) Linguistic Reinterpretation and Inde nite Extensibility Amphithéâtre Massiani AMU, Site Saint Charles Simon Hewitt (Department of Philosophy, University of Leeds)

Online user: 1