Programme
| Heures |
événement |
(+)
|
|
13:45 - 14:00
|
Ouverture (Grand auditorium) |
|
|
14:00 - 15:00
|
Exposé Invité : Fundamental Instability of Backoff Protocols (Grand auditorium) - Leslie Goldberg (Université d’Oxford) |
|
|
15:00 - 15:30
|
Pause café (Grand auditorium) |
|
|
15:30 - 16:30
|
Exposé Panorama : In Defense of Attacks: Some Major Successes in Cryptanalysis (Grand auditorium) - Anne Canteaut (Inria Paris) |
|
|
16:30 - 17:30
|
Historique de la création du GdR (Grand auditorium) - Brigitte Vallée |
|
|
19:00 - 22:00
|
Soirée festive au réfectoire des Cordeliers (Réfectoire des Cordeliers) |
|
| Heures |
événement |
(+)
|
|
09:00 - 10:00
|
Exposé Panorama : Bounded Diameter Decompositions in Mathematics and Theoretical Computer Science (Grand auditorium) - Louis Esperet (G-SCOP, Grenoble) |
|
|
10:00 - 10:30
|
Pause café (Grand auditorium) |
|
|
10:30 - 11:30
|
Exposé Panorama : A Multi-Grid View of Geometry (Grand auditorium) - Jacques-Olivier Lachaud (LAMA, Chambéry) |
|
|
11:30 - 12:30
|
Exposé Panorama : Twenty Years of Breakthroughs in Computational Complexity (Grand auditorium) - Sophie Laplante (IRIF, Paris) |
|
|
14:00 - 15:00
|
Exposé Panorama : Group Portrait with Automata (Grand auditorium) - Anca Muscholl (LaBRI, Bordeaux) |
|
|
15:00 - 15:30
|
Pause café (Grand auditorium) |
|
|
15:30 - 16:30
|
Exposé Invité : Functions computed by Alice and Bob, with links to automata models (Grand auditorium) - Mikolaj Bojanczyk (Université de Varsovie) |
|
|
16:30 - 17:30
|
Table ronde : Le GdR dans son environnement scientifique et institutionnel (Grand auditorium) - Participants : Antoine Petit (PDG du CNRS), Adeline Nazarenko (Directrice CNRS Sciences informatiques), Valérie Berthé (membre du Conseil Scientifique de la SMF), Cyril Gavoille (membre du Conseil Scientifique de la SIF). |
|
| Heures |
événement |
(+)
|
|
09:00 - 09:45
|
Balade dans les graphes : quand l'information nous manque (Amphi 25 et salle 25-26/105) - Aurélie Lagoutte (G-SCOP) |
|
|
09:45 - 10:30
|
How to prove that a language is inherently ambiguous? (Amphi 25 et salle 25-26/105) - Florent Koechlin (LIPN, CNRS) |
|
|
10:30 - 11:00
|
Pause café (Patio devant l'amphi 25) |
|
|
11:00 - 12:30
|
Comment adapter notre recherche au monde qui change ? (Amphi 25 et salle 25-26/105) - Gabriel Alcaras (Medialab, Sciences Po) et Sophie Quinton (INRIA) |
|
|
14:00 - 14:45
|
Géométrie et non-linéarité : applications, complexité et algorithmes (Amphi 25 et salle 25-26/105) - Rémi Prébet (LIP, INRIA) |
|
|
14:45 - 15:30
|
On verification of distributed systems (Amphi 25 et salle 25-26/105) - Chana Weil-Kennedy (CEA List) |
|
|
15:30 - 16:00
|
Carrières (Amphi 25 et salle 25-26/105) - Nicolas Berkouk (CNIL), Anne Bouillard (ENS, ex-Huawei, ex-Nokia), Marie Déchelle (Les petits débrouillards), Jean Krivine (IRIF), Aurélie Lagoutte (G-SCOP), Florent Koechlin (CNRS) et Rémi Prébet (INRIA) |
|
|
16:00 - 18:00
|
Pause café pour prolonger les échanges (Patio devant l'amphi 25) |
|
|
16:30 - 18:00
|
Atelier IA générative et scènes de la vie académique (Couloir 26-00, salles 428 et 534) - Gabriel Alcaras |
|
|
16:30 - 18:00
|
Atelier SEnS : Sciences, environnement, sociétés (Couloir 26-00, salles 428 et 534) - Sophie Quinton |
|
|
Chargement... 
