Timetable
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
-
Tuesday 29
- Pistone, Seiller, First-order logic (paper 3 section 2-5)
- Discussion
- Questions/answers with JYG
- Girard, La Logique : 2.1, desaxiomatisation de l’arithmétique
-
Wednesday 30
- Girard, La Logique : 2.1, desaxiomatisation de l’arithmétique
- Chouquet, Guerrieri, Mazza, Nguyen, Contributed talks