Programme
vendredi 3 septembre 2021
Heures |
événement |
(+)
|
10:00 - 11:00
|
The computational content of Milliken’s tree theorem (Zoom) - Benoit Monin |
|
11:00 - 12:00
|
Spaces with strong computable type (Zoom) - Djamel Eddine AMIR |
|
13:00 - 14:00
|
Nombres surréels, intégration, calculs (Zoom) - Quentin Guilmant |
|
14:00 - 15:00
|
Difficulté du domino apériodique en (presque) toute dimension (Zoom) - Benjamin Hellouin |
|
15:30 - 16:30
|
The interplay between randomness and genericity (Zoom) - Laurent Bienvenu |
|
|