Programme

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)
Pause café
›11:00 (1h30)
The Multiverse Operator, A generalisation of the set theoretic multiverse
Matteo de Ceglie (Salzburg University)
›12:30 (1h30)
Pause déjeuner
›14:00 (1h30)
Intuitionistic inductive definitions
Mark van Atten (CNRS, Ecole Normale Supérieure)
›15:30 (30min)
Pause
›16:00 (1h30)
Varieties of Mathematical Understanding
Jessica Carter (Université d'Aarhus)
Session
Discours
Logistique
Pause
Sortie
Personnes connectées : 2 Vie privée
Chargement...