JNIM 2021 : Journées Nationales du GDR IM
23-26 mars 2021
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Inscription
Programme
SUPPORT
@ Contact
Programme
Semaine
Mar. 23
Mer. 24
Jeu. 25
Ven. 26
Liste
‹
vendredi 26 mars 2021
08:00
09:00
10:00
11:00
12:00
›8:30 (30min)
Zoom
8:30 - 9:00 (30min)
Zoom
Ouverture de la salle du vendredi pour la connexion
›9:00 (1h)
Conférence invitée
(Chair : Damiano Mazza, exposé 50mn puis questions 10mn)
9:00 - 10:00 (1h)
Conférence invitée
(Chair : Damiano Mazza, exposé 50mn puis questions 10mn)
›
Structures mathématiques en théorie des types
- Assia Mahboubi, Inria, Laboratoire des Sciences du Numérique de Nantes
09:00-10:00 (1h)
›10:00 (15min)
Pause
10:00 - 10:15 (15min)
Pause
›10:15 (1h45)
Exposés réguliers
(Chair : Delia Kesner, exposé 40mn puis questions 5mn)
10:15 - 12:00 (1h45)
Exposés réguliers
(Chair : Delia Kesner, exposé 40mn puis questions 5mn)
›
Cyclic proofs as a programming language
- Damien Pous, CNRS, ENS Lyon, LIP
10:15-11:00 (45min)
›
Factoring RSA of 240 decimal digits and computing discrete logarithms in a 240-decimal-digit prime field with the same software and hardware.
- Aurore Guillevic, Inria Nancy - Grand Est
11:15-12:00 (45min)
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Vie privée
Chargement...