Programme

‹ vendredi 4 novembre 2016 ›
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
›9:30 (1h30)
Albert Lautman lecteur de Hermann Weyl
Christophe Eckes (Archives Henri Poincaré, Nancy)
› Amphithéâtre Massiani AMU, Site Saint Charles
›11:00 (30min)
Pause café
›11:30 (1h30)
Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings
Francesca Biagioli (Universität Konstanz)
› Amphithéâtre Massiani AMU, Site Saint Charles
›13:00 (1h30)
Déjeuner
›14:30 (45min)
A case of BHK decidability: Dag Prawitz's proof- and ground-theoretic semantics
Antonio Piccolomini d'Aragona (Aix-Marseille University, University of Rome “La Sapienza”)
› Amphithéâtre Massiani AMU, Site Saint Charles
›15:15 (1h30)
Points. From Euclid to F_1-geometry
Claudio Bartocci (Università di Genova)
› Amphithéâtre Massiani AMU, Site Saint Charles
›20:30 (2h30)
Dîner
Session
Discours
Logistique
Pause
Sortie
Personnes connectées : 1