BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20270328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20271031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261009T093000
DTEND;TZID=Europe/Paris:20261010T180000
DTSTAMP:20261005T122206Z
CREATED:20260828T092358Z
LAST-MODIFIED:20261005T122206Z
UID:29783-1791538200-1791655200@www.loria.fr
SUMMARY:Fête de la Science : Village des Sciences de la Faculté des Sciences et Technologies
DESCRIPTION:Les 9 et 10 octobre 2026\, le Campus Sciences de Vandœuvre-lès-Nancy accueillera le Village des Sciences\, un rendez-vous incontournable de la Fête de la Science.\nPendant deux jours\, chercheurs\, enseignants\, médiateurs et passionnés proposeront des animations\, ateliers\, démonstrations et échanges autour de multiples disciplines : mathématiques\, chimie\, énergie\, informatique\, sciences de la Terre\, ingénierie\, santé\, bois et matériaux… Autant d’occasions de découvrir la science autrement\, de manière vivante\, concrète et accessible à toutes et tous. \n\nVendredi 9 octobre de 9 h 30 à 16 heures : pour les scolaires.\nSamedi 10 octobre de 13 h à 18 h : ouvert à toutes et à tous\, évènement gratuit.\n\nDécouvrez les travaux de recherche des équipes du Loria ! \n\nDes algorithmes à croquer\navec Marie Duflot-Kremer et les étudiants de licence informatique.Quand cuisine et informatique se rencontrent\, les algorithmes s’invitent au menu à travers des défis ludiques et concrets.\nEt si l’informatique s’invitait à votre table ? Venez aider un cuisiner pressé\, répartir les gens sur des tables sans commettre d’impair\, déguster une gaufre sans vous empoisonner ou résoudre des problèmes de pizza. Les algorithmes peuvent se cacher partout\, même en cuisine !\n\n\nApprivoise un robot !\navec Alexis Scheuer\, Olivier Buffet\, Vincent Thomas\, Amélie Ledein\, Vincent Colotte et Phuc Ngo. Découvrez les robots Thymio 2\, interagissez avec eux et apprenez à les programmer grâce à des outils simples\, ludiques et intuitifs.\nLes plus jeunes pourront interagir avec eux pour accomplir de nombreuses tâches. Les plus grands pourront les programmer pour des tâches plus complexes grâce à des interfaces intuitives et graphiques (Scratch ou même plus simple). Et vous pourrez aussi apprendre leur langage.\n\n\nL’IA aux fourneaux de la science\navec Alexanne Worm\, Noëllie Martin\, Maxime Haurel\, Mathias Couraud\, Chloé Przemyski.Entrez dans les coulisses de l’IA et découvrez comment les scientifiques conçoivent et étudient des algorithmes\, testent leurs capacités et transforment leurs recherches en applications concrètes. Éducation\, tourisme\, environnement\, secteur bancaire… Explorez les multiples usages de l’intelligence artificielle à travers des expériences et des démonstrations accessibles à toutes et tous.\n\n\nÊtes-vous un meilleur prof que ChatGPT ?\navec Émile Alexandre\n\nEssayez en direct des intelligences artificielles conçues pour enseigner les langues ! Face à leurs réponses parfois trop indulgentes\, imprécises ou trompeuses\, glissez-vous dans la peau d’un expert. Saurez-vous repérer leurs failles\, évaluer leurs explications et déterminer ce qui fait vraiment une bonne réponse pédagogique ? \nEn savoir plus sur la site de la Faculté des Sciences et Technologies.
URL:https://www.loria.fr/event/fete-de-la-science-village-des-sciences/
LOCATION:Faculté des Sciences et Technologies\, Campus Aiguillettes\, Vandœuvre-lès-Nancy\, 54506\, France
CATEGORIES:Fête de la science
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261016T100000
DTEND;TZID=Europe/Paris:20261016T133000
DTSTAMP:20261008T080029Z
CREATED:20261008T080029Z
LAST-MODIFIED:20261008T080029Z
UID:29945-1792144800-1792157400@www.loria.fr
SUMMARY:Soutenance de thèse : Rémi Gauchotte (équipe Optimist)
DESCRIPTION:Rémi Gauchotte (équipe OPTIMIST)\, soutiendra sa thèse le vendredi 16 octobre 2026 à 10h en salle A008\, avec un exposé intitulé  \n » Orchestration de la recharge des véhicules électriques : décision en ligne\, équité et apprentissage par renforcement transférable « .\n\nComposition du jury :\n\nRapporteurs :\nPr. Jean Charles Billaut\, Université de Tours\, France\nDr. Sophie Demassey\, Mines Paris – Paris Sciences et Lettres\, France\n\nExaminateurs :\nPr. Aurélie Beynier\, Sorbonne Université\, France\nPr. Céline Gicquel\, Université Paris-Saclay\, France\nPr. Atika Rivenq\, Université Polytechnique Hauts-de-France\, France\n\nEncadrants :\nPr. Ammar Oulamara – Université de Lorraine\, France\nDr. Mustapha Oudani – International University of Rabat\, Morocco\nPr. Mounir Ghogho – Mohammed VI Polytechnic University\, Morocco
URL:https://www.loria.fr/event/soutenance-de-these-remi-gauchotte-equipe-optimist/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261102T140000
DTEND;TZID=Europe/Paris:20261102T170000
DTSTAMP:20261008T074102Z
CREATED:20261008T074102Z
LAST-MODIFIED:20261008T074102Z
UID:29943-1793628000-1793638800@www.loria.fr
SUMMARY:Soutenance HDR - Lucca Hirschi ( équipe Pesto )
DESCRIPTION:English below \nLucca Hirschi (équipe Pesto) soutiendra son Habilitation à Diriger des Recherches le lundi 2 novembre 2026 à 14h00 en salle C005. La présentation se fera en anglais. \nTitre : \n“Formal Methods and Real-World Cryptographic Protocols: Advancing the Verification and Testing Frontiers for Specifications and Implementations”\nRésumé :\n » Les protocoles cryptographiques sont les garants de nos échanges numériques sécurisés\, piliers technologiques de notre société de l’information. L’histoire répétée d’attaques exploitant les erreurs de conception et d’implémentation de ces protocoles n’a de cesse de démontrer leur fragilité. Ce manuscrit aborde un défi central de la sécurité informatique : comment obtenir de meilleures garanties pour les protocoles cryptographiques ? \nPremièrement\, nous présentons des avancées fondamentales en méthodes formelles\, introduisant de nouvelles techniques de modélisation\, des algorithmes de vérification et des méthodologies de preuve dans le modèle Dolev-Yao visant à garantir formellement la sécurité des protocoles cryptographiques face à leur modèle d’attaquant. Deuxièmement\, nous les mettons en application à grande échelle dans des analyses de sécurité de protocoles largement déployés. Nous détaillons notamment la découverte de vulnérabilités critiques et leur correction dans des protocoles majeurs tels que les standards industriels de la téléphonie mobile (4G et 5G) et des systèmes de contrôle industriels (OPC UA)\, ainsi que le système de vote électronique français (FLEP) déployé pour les élections législatives. Enfin\, nous ciblons l’écart entre la vérification formelle des spécifications de protocoles et la sécurité de leurs implémentations en introduisant une nouvelle approche de test par fuzzing guidée par le modèle formel de Dolev-Yao. Ce nouveau paradigme de test logiciel permet la découverte automatique d’attaques logiques causées par des bugs dans des implémentations de protocoles cryptographiques complexes. Nous démontrons son efficacité\, notamment par la détection de plusieurs nouvelles vulnérabilités et de dizaines de bugs dans des implémentations de protocoles parmi les plus testés (TLS et SSH).  » \nLa soutenance sera suivie d’un pot en salle club du Loria. \nInformations pratiques\nToutes les informations pratiques sont regroupées sur la page dédiée : https://members.loria.fr/LHirschi/hdr/ \nLe manuscrit (version provisoire) y est déjà disponible et les transparents y seront mis en ligne. Pour celles et ceux qui souhaitent suivre la soutenance à distance\, un lien de visioconférence sera publié sur cette page la veille. \nJury\nRapporteurs :\n\nGilles Barthe\, Directeur scientifique\, Max Planck Institute for Security and Privacy (MPI-SP)\, Allemagne & IMDEA Software Institute\, Espagne\nKarthik Bhargavan\, Chief Research Scientist\, Cryspen\, France\nRalf Küsters\, Professeur\, Université de Stuttgart\, Allemagne\n\nExaminateurs et examinatrices :\n\nDavid Basin\, Professeur\, ETH Zurich\, Suisse\nAnne Canteaut\, Directrice de recherche\, Inria Paris\, France\nJean-Yves Marion\, Professeur\, Université de Lorraine\, LORIA\, France\nCatuscia Palamidessi\, Directrice de recherche\, Inria Saclay\, LIX\, France\nOlivier Pereira\, Professeur\, UCLouvain\, Belgique\n\nInvités :\n\nThorsten Holz\, Directeur scientifique\, Max Planck Institute for Security and Privacy (MPI-SP)\, Allemagne\nSteve Kremer\, Directeur de recherche\, Inria Nancy – Grand Est\, LORIA\, France\n\n\nLucca Hirschi (Pesto team) will defend his HDR on Monday\, November 2 at 2:00 pm in room C005. The presentation will be held in English. \nTitle: \n“Formal Methods and Real-World Cryptographic Protocols: Advancing the Verification and Testing Frontiers for Specifications and Implementations” \nAbstract: \n« Cryptographic protocols are the backbone of secure digital communication and a key technological pillar of our information society. Yet a long history of attacks exploiting both design flaws and implementation bugs has repeatedly exposed their fragility. This manuscript addresses a central challenge in computer security: how can we achieve higher assurance for cryptographic protocols? \nFirst\, we present foundational advances in formal methods\, introducing new modeling techniques\, verification algorithms\, and proof methodologies within the Dolev-Yao model that aim to provide formal security guarantees for cryptographic protocols against a powerful network attacker. Second\, we put these methods into practice through large-scale security analyses of widely deployed protocols. In particular\, we detail the discovery and remediation of critical vulnerabilities—since fixed—in major protocols\, including mobile telephony standards (4G and 5G)\, industrial control system standards (OPC UA)\, and the French electronic voting system (FLEP) deployed for national elections. Finally\, we address the gap between the formal verification of protocol specifications and the security of their real-world implementations by introducing a novel Dolev-Yao model-guided fuzzing approach. This new software testing paradigm enables the automatic discovery of logical attacks caused by implementation bugs in complex cryptographic protocols. We demonstrate its effectiveness through the detection of several previously unknown vulnerabilities and dozens of bugs in implementations of TLS and SSH—some of the most extensively tested protocols. » \nThe defense will be followed by drinks starting at around 4:00–5:00 PM in the « Salle Club » at LORIA\, to which you are warmly invited. \nPractical information\nAll practical details are gathered on the dedicated webpage: https://members.loria.fr/LHirschi/hdr/\nA draft of the manuscript is already available there\, and the slides will be uploaded later. For remote attendees\, the video conference link will be posted on that same page the day before the defense. \nCommittee\nReviewers:\n\nGilles Barthe\, Scientific Director\, Max Planck Institute for Security and Privacy (MPI-SP)\, Germany & IMDEA Software Institute\, Spain\nKarthik Bhargavan\, Chief Research Scientist\, Cryspen\, France\nRalf Küsters\, Professor\, University of Stuttgart\, Germany\n\nExaminers:\n\nDavid Basin\, Professor\, ETH Zurich\, Switzerland\nAnne Canteaut\, Research Director\, Inria Paris\, France\nJean-Yves Marion\, Professor\, Université de Lorraine\, LORIA\, France\nCatuscia Palamidessi\, Research Director\, Inria Saclay\, LIX\, France\nOlivier Pereira\, Professor\, UCLouvain\, Belgium\n\nGuests:\n\nThorsten Holz\, Scientific Director\, Max Planck Institute for Security and Privacy (MPI-SP)\, Germany\nSteve Kremer\, Research Director\, Inria Nancy – Grand Est\, LORIA\, France\n\nThe defense will be followed by drinks in the « Salle Club » at Loria.
URL:https://www.loria.fr/event/soutenance-hdr-lucca_hirschi/
LOCATION:C005
CATEGORIES:HDR
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20261109
DTEND;VALUE=DATE:20261110
DTSTAMP:20261009T113610Z
CREATED:20261009T101441Z
LAST-MODIFIED:20261009T113610Z
UID:29949-1794182400-1794268799@www.loria.fr
SUMMARY:Rhizome 2026 : Journée graphes et systèmes socio-économiques - Journée scientifique du Pôle AM2i
DESCRIPTION:La prochaine journée scientifique du Pôle AM2I intitulée Rhizome 2026 : Journée graphes et systèmes socio-économiques aura lieu le lundi 9 novembre 2026 au Loria en salle B013. \nLes oratrices et orateurs de cette journée consacrée aux réseaux\, notamment socio-économique\, sous un angle inter-disciplinaire\, sont :\n\n\nSohie Béreau-Gnabo\, institut des systèmes complexes\, Université de Namur\nSamer El Boustany\, Murex\nYamina Tadjeddine Fourneyron\, laboratoire BETA\, Université de Lorraine\nJoannès Guichon\, Inria Start Up Studio\nNabil Kazi-Tani\, laboratoire IECL\, Université de Lorraine\nVineeth Varma\, laboratoire CRAN\, Université de Lorraine\n\n\nRenseignements et inscriptions : https://project.inria.fr/rhizomes2026/\n\nLes inscriptions\, obligatoires\, se font avant le 31 octobre 2026.\n\nOrganisation : Nazim Fatès (LORIA)\, Angelo Koudou (IECL) avec le soutien d’Anne Incerti (Pôle AM2I).\n\nRésumé :\n\nLes réseaux sont étudiés depuis une trentaine d’années et ont donné lieu à une vaste littérature à la croisée des mathématiques\, de l’informatique\, des sciences sociales et des systèmes complexes. L’essor des techniques de numérisation met à notre disposition des montagnes de données\, mais\, paradoxalement\, nous place face au défi de savoir que faire de ces données et comment les étudier. Nous proposons de regrouper différents domaines de recherche en croisant les regards sur le thème « Graphes et systèmes socio-économiques ». \nCette journée d’étude est prévue le lundi 9 novembre au Loria. Elle s’inscrit dans le cadre des événements scientifiques régulièrement suscitées et parrainées par la direction du pôle AM2I. \nL’objectif de cette journée est de favoriser des échanges pluridisciplinaires entre chercheurs travaillant sur l’application des réseaux dans le monde socio-économique. Les orateurs proviennent de divers laboratoires de l’université de Lorraine (BETA\, CRAN\, IECL\, LORIA) ainsi que de l’Université Toulouse Capitole 1\, de l’Institut des Systèmes complexes de l’université de Namur et de Murex\, entreprise spécialisée dans les technologies pour les marchés financiers.
URL:https://www.loria.fr/event/rhizome-2026-journee-graphes-et-systemes-socio-economiques-journee-scientifique-du-pole-am2i/
LOCATION:B013
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261110T093000
DTEND;TZID=Europe/Paris:20261110T133000
DTSTAMP:20260903T144806Z
CREATED:20260903T142949Z
LAST-MODIFIED:20260903T144806Z
UID:29800-1794303000-1794317400@www.loria.fr
SUMMARY:Soutenance de thèse : Vincent Trelat (équipe Veridis)
DESCRIPTION:Vincent Trelat\, doctorant dans l’équipe Veridis\, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria\, avec un exposé intitulé  \n« Trustworthy Reasonig for the B method« .\n\n\nComposition du jury : \n\n\nStephan Merz\, directeur de recherches Inria au Loria (encadrant)\nSophie Tourret\, chargée de recherches Inria au Loria (encadrante)\nJean-Christophe Filliâtre\, LMF (rapporteur)\nMichael Leuschel\, Université de Düsseldorf (rapporteur)\nLaura Kovács\, TU Wien (examinatrice)\nXavier Goaoc\, UL (examinateur)
URL:https://www.loria.fr/event/soutenance-de-these-vincent-trelat-equipe-veridis/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR