Programme

Semaine Mar. 17 Mer. 18 Jeu. 19 Liste

	Mar. 17	Mer. 18	Jeu. 19
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	Ouverture 13:45 - 14:00 (15min) Ouverture Grand auditorium Exposé Invité : Fundamental Instability of Backoff Protocols 14:00 - 15:00 (1h) Exposé Invité : Fundamental Instability of Backoff Protocols Grand auditorium Leslie Goldberg (Université d’Oxford) Pause café 15:00 - 15:30 (30min) Pause café Grand auditorium Exposé Panorama : In Defense of Attacks: Some Major Successes in Cryptanalysis 15:30 - 16:30 (1h) Exposé Panorama : In Defense of Attacks: Some Major Successes in Cryptanalysis Grand auditorium Anne Canteaut (Inria Paris) Historique de la création du GdR 16:30 - 17:30 (1h) Historique de la création du GdR Grand auditorium Brigitte Vallée Soirée festive au réfectoire des Cordeliers 19:00 - 22:00 (3h) Soirée festive au réfectoire des Cordeliers Réfectoire des Cordeliers	Exposé Panorama : Bounded Diameter Decompositions in Mathematics and Theoretical Computer Science 9:00 - 10:00 (1h) Exposé Panorama : Bounded Diameter Decompositions in Mathematics and Theoretical Computer Science Grand auditorium Louis Esperet (G-SCOP, Grenoble) Pause café 10:00 - 10:30 (30min) Pause café Grand auditorium Exposé Panorama : A Multi-Grid View of Geometry 10:30 - 11:30 (1h) Exposé Panorama : A Multi-Grid View of Geometry Grand auditorium Jacques-Olivier Lachaud (LAMA, Chambéry) Exposé Panorama : Twenty Years of Breakthroughs in Computational Complexity 11:30 - 12:30 (1h) Exposé Panorama : Twenty Years of Breakthroughs in Computational Complexity Grand auditorium Sophie Laplante (IRIF, Paris) Exposé Panorama : Group Portrait with Automata 14:00 - 15:00 (1h) Exposé Panorama : Group Portrait with Automata Grand auditorium Anca Muscholl (LaBRI, Bordeaux) Pause café 15:00 - 15:30 (30min) Pause café Grand auditorium Exposé Invité : Functions computed by Alice and Bob, with links to automata models 15:30 - 16:30 (1h) Exposé Invité : Functions computed by Alice and Bob, with links to automata models Grand auditorium Mikolaj Bojanczyk (Université de Varsovie) Table ronde : Le GdR dans son environnement scientifique et institutionnel 16:30 - 17:30 (1h) 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).	Balade dans les graphes : quand l'information nous manque 9:00 - 9:45 (45min) Balade dans les graphes : quand l'information nous manque Amphi 25 et salle 25-26/105 Aurélie Lagoutte (G-SCOP) How to prove that a language is inherently ambiguous? 9:45 - 10:30 (45min) How to prove that a language is inherently ambiguous? Amphi 25 et salle 25-26/105 Florent Koechlin (LIPN, CNRS) Pause café 10:30 - 11:00 (30min) Pause café Patio devant l'amphi 25 Comment adapter notre recherche au monde qui change ? 11:00 - 12:30 (1h30) Comment adapter notre recherche au monde qui change ? Amphi 25 et salle 25-26/105 Gabriel Alcaras (Medialab, Sciences Po) et Sophie Quinton (INRIA) Géométrie et non-linéarité : applications, complexité et algorithmes 14:00 - 14:45 (45min) Géométrie et non-linéarité : applications, complexité et algorithmes Amphi 25 et salle 25-26/105 Rémi Prébet (LIP, INRIA) On verification of distributed systems 14:45 - 15:30 (45min) On verification of distributed systems Amphi 25 et salle 25-26/105 Chana Weil-Kennedy (CEA List) Carrières 15:30 - 16:00 (30min) 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) Pause café pour prolonger les échanges Atelier IA générative et scènes de la vie académique Atelier SEnS : Sciences, environnement, sociétés 16:00 - 18:00 (2h) Pause café pour prolonger les échanges Patio devant l'amphi 25 16:30 - 18:00 (1h30) 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 (1h30) Atelier SEnS : Sciences, environnement, sociétés Couloir 26-00, salles 428 et 534 Sophie Quinton

Vie privée | Accessibilité