jeudi 3 novembre 2016

Heures événement  
08:30 - 09:00 Accueil et enregistrement - Accueil et enregistrement des participants  
09:00 - 09:30 Mot de bienvenue des organisateurs (Amphithéâtre Massiani AMU, Site Saint Charles )  
09:30 - 11:00 Mathematical Understanding (Amphithéâtre Massiani AMU, Site Saint Charles ) - Jeremy Avigad (Carnegie Mellon University)  
11:00 - 11:30 Pause café  
11:30 - 13:00 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)  
13:00 - 14:30 Déjeuner  
14:30 - 15:15 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)  
15:15 - 16:45 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)  
16:45 - 17:15 Pause café  
17:15 - 18:45 What Should we Render unto Caesar? (Amphithéâtre Massiani AMU, Site Saint Charles ) - Francesca Boccuni (Università San Raffaele, Milan) – Jack Woods (University of Leeds)  

vendredi 4 novembre 2016

Heures événement  
09:30 - 11:00 Albert Lautman lecteur de Hermann Weyl (Amphithéâtre Massiani AMU, Site Saint Charles ) - Christophe Eckes (Archives Henri Poincaré, Nancy)  
11:00 - 11:30 Pause café  
11:30 - 13:00 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)  
13:00 - 14:30 Déjeuner  
14:30 - 15:15 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”)  
15:15 - 16:45 Points. From Euclid to F_1-geometry (Amphithéâtre Massiani AMU, Site Saint Charles ) - Claudio Bartocci (Università di Genova)  
20:30 - 23:00 Dîner  

samedi 5 novembre 2016

Heures événement  
09:30 - 11:00 Category Theory and Philosophy of Mathematics (Amphithéâtre Massiani AMU, Site Saint Charles ) - Jean-Michel Salanskis (Université Paris Ouest)  
11:00 - 11:30 Pause café  
11:30 - 13:00 Linguistic Reinterpretation and Inde nite Extensibility (Amphithéâtre Massiani AMU, Site Saint Charles ) - Simon Hewitt (Department of Philosophy, University of Leeds)