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
-
Monday 28
- Pistone, Seiller, Stars and constellations (paper 1)
- Pistone, Seiller, Stars and constellations (paper 1)
- Pistone, Seiller, Generalized connectives
- Pistone, Seiller, First-order logic (paper 3 section 2-5)
-
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