- Cet évènement est passé.
Visite des étudiant·es de l’ENS Paris SACLAY
11 février 2026 @ 11:00 am - 12 février 2026 @ 17:00 pm
Le Loria est très heureux d’accueillir des étudiantes et les étudiants de l’ENS Paris Saclay pour deux journées d’échanges et de découvertes.
L’occasion pour 21 jeunes de L3 Double diplôme mathématique et informatique de découvrir les réalités et la variété des domaines de la recherche informatique et le fonctionnement d’un laboratoire via une immersion au sein des équipes.
Différents exposés et visites rythment ces deux journées de rencontres :
Mercredi 11/02 :
- 11h45-12h45: Présentation de l’INRIA et du Loria
- par Isabelle Chrisment, directrice du Centre Inria de l’Université de Lorraine & Abdelkader Lahmadi, responsable du département D3, Réseaux, systèmes et services, au Loria
- 13h00-14h00: Repas à la cantine du laboratoire
- 14h00-16h00: Visites des équipes
- 14h00-14h40: LARSEN, MOCQUA (quantique), MosAIk, PESTO
- 14h40-15h20: LORELEY, CARAMBA, SEMAGRAMME, MOSEL-VERIDIS
- 15h20-16h00: MOCQUA (quantique), Hucebot, PIXEL, TYPES
- 16h00-16h30: Pause café
- 16h30-17h10: Visites des équipes
- 16h30-17h10: CARAMBA, CAPSID, MosAIk, CARBONE
Jeudi 12/02 :
- 09h15-11h15: Visites des équipes
- 09h15-09h55: PESTO, LARSEN, LORELEY, TYPES
- 09h55-10h35: GAMBLE, SEMAGRAMME, RESIST, MOSEL-VERIDIS
- 10h35-11h15: GAMBLE, RESIST, MOCQUA(systèmes dynamiques), MosAIk
- 11h30-13h00: Visites des plateformes
- 13h00-14h30: Buffet
- 14h30-15h50: Visites des équipes
- 14h30-15h10: NEURORHYTHMS, CARAMBA, MOSEL-VERIDIS, CARBONE
- 15h10-15h50: PIXEL, Hucebot, PESTO, CAPSID
- 15h50-16h15: Pause café
- 16h15-17h15: Exposé plénier
- 15 ans de factorisation de RSA, par Emmanuel Thomé
Listes équipes visitées
- CAPSID: Algorithmes de calcul pour les structures et les interactions des protéines
- CARAMBA: Cryptologie, arithmétique : matériel et logiciel
- CARBONE: Études avancées sur les programmes malveillants et leur écosystème
- GAMBLE: Geometric Algorithms & Models Beyond the Linear and Euclidean Realm
- Hucebot: Robotique centrée sur l’humain
- LARSEN: Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
- LORELEY: Systèmes collaboratifs distribués de confiance et à grande échelle
- MOCQUA: Modèles de calcul classiques et quantique
- MosAIk: différentes perspectives sur l’IA
- NEURORHYTHMS: Analyse et modélisation des systèmes neuronaux par une approche de neurosciences systémiques
- PESTO: Techniques de preuve pour les protocoles de sécurité
- PIXEL: Géométrie et lumière
- RESIST: Supervision des réseaux et des services dynamiques
- SEMAGRAMME: Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles
- TYPES: Logique, Théorie de la démonstration et programmation
- MOSEL-VERIDIS: Méthodes formelles et applications
Merci à tous les étudiants présents et à leurs enseignants, aux équipes du Loria et de l’INRIA et aux organisateurs : Didier Galmiche (équipe TYPES), Dominique Larchey-Wendling (équipe TYPES), Stephan Merz (équipe VeriDis), Sophie Touret (équipe VeriDis), et Alexandre Debant (équipe Pesto) pour leur implication qui a contribué la réussite de ces journées.
Plus d’infos sur le département d’enseignement et de recherche en informatique de l’ENS Paris Saclay : https://informatique.ens-paris-saclay.fr/
