Friday, September 3, 2021
Time | Event | (+) |
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 |