gtc2021 : Journées du GT Calculabilités 2021
3-3 sept. 2021 Lyon (France)
FR
EN
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Programme
Abstracts
Inscription
SUPPORT
@ Contact
Programme
Semaine
Ven. 03
Liste
Ven. 03
10:00
11:00
12:00
13:00
14:00
15:00
16:00
The computational content of Milliken’s tree theorem
10:00 - 11:00 (1h)
The computational content of Milliken’s tree theorem
Zoom
Benoit Monin
Spaces with strong computable type
11:00 - 12:00 (1h)
Spaces with strong computable type
Zoom
Djamel Eddine AMIR
Nombres surréels, intégration, calculs
13:00 - 14:00 (1h)
Nombres surréels, intégration, calculs
Zoom
Quentin Guilmant
Difficulté du domino apériodique en (presque) toute dimension
14:00 - 15:00 (1h)
Difficulté du domino apériodique en (presque) toute dimension
Zoom
Benjamin Hellouin
The interplay between randomness and genericity
15:30 - 16:30 (1h)
The interplay between randomness and genericity
Zoom
Laurent Bienvenu
Personnes connectées :
18
Vie privée
Chargement...