10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›10:30 (1h30)
› Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
10:30 - 12:00 (1h30)
Olivier Fouquet (Laboratoire de Mathématiques de Besançon) - Get real! (How $p$-adic numbers came to be).
Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
›12:00 (2h)
12:00 - 14:00 (2h)
Déjeuner
›14:00 (1h30)
› Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
14:00 - 15:30 (1h30)
Iulian Toader (University of Vienna) - Judging Properly: Against the Ramseyan view on Weyl’s Quantifiers
Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
›15:30 (30min)
15:30 - 16:00 (30min)
Pause café
›16:00 (1h30)
› Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
16:00 - 17:30 (1h30)
Wesley Holliday (U. California - Berkeley, É.-U.) - From Constructive Mathematics and Quantum Mechanics to Fundamental Logic
Bâtiment Libération (91, avenue de la Libération), rez-de-chaussée, salle 002
