3-3 sept. 2021 Lyon (France)

Programme

vendredi 3 septembre 2021
10:00
11:00
12:00
13:00
14:00
15:00
16:00
›10:00 (1h)
The computational content of Milliken’s tree theorem
Benoit Monin
› Zoom
›11:00 (1h)
Spaces with strong computable type
Djamel Eddine AMIR
› Zoom
›13:00 (1h)
Nombres surréels, intégration, calculs
Quentin Guilmant
› Zoom
›14:00 (1h)
Difficulté du domino apériodique en (presque) toute dimension
Benjamin Hellouin
› Zoom
›15:30 (1h)
The interplay between randomness and genericity
Laurent Bienvenu
› Zoom
Session
Discours
Logistique
Pause
Sortie
Personnes connectées : 10 Vie privée
Chargement...