mercredi 19 octobre 2022
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:00 (1h30)
Qu'est-ce que la combinatoire chez Leibniz ?
Arilès Remaki (SPHERE, Paris)
›10:30 (30min)
›11:00 (1h30)
›12:30 (1h30)
›14:00 (1h30)
Intuitionistic inductive definitions
Mark van Atten (CNRS, Ecole Normale Supérieure)
›15:30 (30min)
›16:00 (1h30)
Varieties of Mathematical Understanding
Jessica Carter (Université d'Aarhus)
Session
Discours
Logistique
Pause
Sortie