JN IM 2019
Journées Nationales Informatique Mathématique 2019
11-14 mars 2019 Orléans (France)
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Exposés
Programme
Comités et Organisation
Renseignements utiles
Sponsors
SUPPORT
@ Contact
Programme
Semaine
Lun. 11
Mar. 12
Mer. 13
Jeu. 14
Liste
‹
mercredi 13 mars 2019
›
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›9:00 (1h40)
GdR IM
Laurent Imbert
9:00 - 10:40 (1h40)
GdR IM
Laurent Imbert
›
Sur les protocoles Diffie-Hellman pré- et post-quantique
- Benjamin Smith, INRIA, LIX, Palaiseau
09:00-09:50 (50min)
›
Codage géométrique pour la synthèse
- Pooran Memari, CNRS, LIX
09:50-10:40 (50min)
›10:40 (20min)
Pause café
10:40 - 11:00 (20min)
Pause café
›11:00 (1h)
GdR IM
Jérôme Durand-Lose
11:00 - 12:00 (1h)
GdR IM
Jérôme Durand-Lose
›
Faster k-SAT algorithms using biased-PPSZ
- Uri Zwick, Tel Aviv University
11:00-12:00 (1h)
›12:00 (2h)
Déjeuner
12:00 - 14:00 (2h)
Déjeuner
›14:00 (1h20)
Posters
14:00 - 15:20 (1h20)
Posters
›15:20 (20min)
Pause thé
15:20 - 15:40 (20min)
Pause thé
›15:40 (1h40)
GdR IM
Sylvie Boldo
15:40 - 17:20 (1h40)
GdR IM
Sylvie Boldo
›
Proof complexity of the graph isomorphism problem
- Joanna Ochremiak, LaBRI, Bordeaux
15:40-16:30 (50min)
›
Combinatoire des produits de mélange (ou comment battre un jeu de cartes)
- Matthieu Josuat-Verges, LIGM
16:30-17:20 (50min)
›17:30 (1h)
Réunion
17:30 - 18:30 (1h)
Réunion
Responsables de GT
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Chargement...