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)
› Amphithéâtre Massiani AMU, Site Saint Charles
Amphithéâtre Massiani AMU, Site Saint Charles ›11:00 (30min)
›11:30 (1h30)
Arithmetization as a tool of discovery in Felix Klein’s research program and epistemological writings
Francesca Biagioli (Universität Konstanz)
Francesca Biagioli (Universität Konstanz)
› Amphithéâtre Massiani AMU, Site Saint Charles
›13:00 (1h30)
›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”)
Antonio Piccolomini d'Aragona (Aix-Marseille University, University of Rome “La Sapienza”)
› Amphithéâtre Massiani AMU, Site Saint Charles
›15:15 (1h30)
› Amphithéâtre Massiani AMU, Site Saint Charles
›20:30 (2h30)
