BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.18.2//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: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:20261019T074632Z
CREATED:20261009T101441Z
LAST-MODIFIED:20261019T074632Z
UID:29949-1794182400-1794268799@www.loria.fr
SUMMARY:Rhizomes 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 Rhizomes 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/rhizomes-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:20261019T113239Z
CREATED:20260903T142949Z
LAST-MODIFIED:20261019T113239Z
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)\n\nRésumé:\n\nLa méthode B réduit la correction du développement logiciel à la vérification d’obligations de preuve ; ses garanties reposent donc sur les outils qui déchargent ces obligations et sur les traductions qui les y acheminent. Cette thèse étudie deux voies\, automatique et interactive\, pour décharger les obligations de preuve B et établit pour chacune ce que signifie une obligation déchargée.\nBEer est un encodeur vérifié des obligations d’Atelier B vers SMT-LIB. Les objets de B étant des ensembles et les termes de SMT-LIB portant une sorte fixe\, une valeur B admet plusieurs représentations cibles\, un ensemble devenant un prédicat caractéristique\, et une relation fonctionnelle une fonction. La relaxation de types ordonne ces représentations et fait passer les termes de l’une à l’autre sans en changer la sémantique. Le théorème de correction énonce que tout encodage réussi d’un terme bien typé et bien défini possède une sémantique compatible avec sa source à la représentation choisie ; en particulier\, pour les obligations de preuve\, la véracité est préservée.\nBARReL\, développé avec Ghilain Bergeron\, importe la méthode B dans Lean. Il fait de la bonne définition des opérateurs partiels une contrainte de typage\, si bien qu’aucun terme n’est construit sans preuve de sa bonne définition\, décharge automatiquement les buts de routine et laisse les autres à la preuve interactive dans Lean.\nChaque développement précise ce qu’il prouve et ce qu’il suppose\, afin qu’une automatisation toujours plus puissante\, y compris assistée par l’IA\, puisse servir sans que la validité d’un résultat dépende de l’outil qui l’a proposé.
URL:https://www.loria.fr/event/soutenance-de-these-vincent-trelat-equipe-veridis/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20261201
DTEND;VALUE=DATE:20261202
DTSTAMP:20261019T081536Z
CREATED:20261019T081536Z
LAST-MODIFIED:20261019T081536Z
UID:30001-1796083200-1796169599@www.loria.fr
SUMMARY:Soutenance de thèse : Amandine Decker (équipe Semagramme)
DESCRIPTION:Amandine Decker \, doctorante dans l’équipe Semagramme\, soutiendra sa thèse le 1er décembre 2026 au Loria\, avec un exposé intitulé  \n« A Monologue on Conversation: Characterising dialogue across interaction types with a focus on topical structure ».\n\n\nEncadrant•es :\n\nMaxime Amblard\, Université de Lorraine\, Loria\nEllen Breitholtz\, University of Gothenburg\, CLASP\, Sweden\n\nComposition du jury : \n\n\n\nFrederic Bechet (rapporteur)\, Aix-Marseille Université\, CNRS\, LIS UMR 7020\n\n\n\nSerena Villata (rapporteuse)\, Université Côte d’Azur\, CNRS\, Inria\, I3S\, France\n\n\n\nLucia Donatelli\, Vrije Universiteit Amsterdam\, Netherlands\n\n\n\nDavid Traum\, University of Southern California\, Institute for Creative Technologies\, USA\n\n\n\nArmelle Brun\, Université de Lorraine\, CNRS\, Loria\, France\n\n\n\nSharid Loáiciga\, University of Gothenburg\, FLoV\, Sweden\n 
URL:https://www.loria.fr/event/soutenance-de-these-amandine-decker-equipe-semagramme/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261202T090000
DTEND;TZID=Europe/Paris:20261202T180000
DTSTAMP:20261020T152506Z
CREATED:20261020T152506Z
LAST-MODIFIED:20261020T152506Z
UID:30008-1796202000-1796234400@www.loria.fr
SUMMARY:Enseigner la programmation à l’ère de l’IA - Journée enseignement de la Société Informatique de France
DESCRIPTION:Journée enseignement de la Société Informatique de France\nEnseigner la programmation à l’ère de l’IA \n\nLes outils d’intelligence artificielle capables de générer\, expliquer ou modifier du code sont désormais accessibles aux enseignants comme aux apprenants. Leur utilisation dans les situations d’enseignement et d’apprentissage de la programmation ouvre de nouvelles possibilités\, mais soulève également des interrogations sur les connaissances et les compétences acquises dans ce contexte. \nSi un outil peut produire du code à la demande\, expliquer une erreur ou proposer une solution\, que reste-t-il à apprendre et surtout à comprendre ? Dans quelle mesure l’utilisation de ces outils permet-elle réellement d’appréhender les concepts fondamentaux de la programmation ? Comment apprendre à raisonner\, à décomposer un problème\, à concevoir un algorithme ou à comprendre les mécanismes d’un programme lorsque l’IA intervient dans une partie de ces activités ? À l’inverse\, peut-elle constituer un support permettant aux apprenants d’aller plus loin dans leur compréhension ? Ces questions invitent également à interroger les pratiques des enseignants : quelles activités proposer\, quelles compétences développer\, quelle place accorder à l’IA et comment évaluer les apprentissages dans ce nouveau contexte ? \nLes discussions seront alimentées par des expériences d’enseignement\, des pratiques industrielles\, ainsi que des apports en didactique et en cognition. \nRendez-vous le 2 décembre prochain au campus Pierre et Marie Curie ou en ligne ! \nLe programme prévisionnel en cours d’élaboration est en ligne et les inscriptions sont d’ores et déjà ouvertes. \n\n\nInscrivez-vous\nVisitez la page de l’événement
URL:https://www.loria.fr/event/enseigner-la-programmation-a-lere-de-lia-societe-informatique-de-france/
LOCATION:campus Pierre et Marie Curie – Paris
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261210T090000
DTEND;TZID=Europe/Paris:20261210T120000
DTSTAMP:20261019T094000Z
CREATED:20261019T093104Z
LAST-MODIFIED:20261019T094000Z
UID:30003-1796893200-1796904000@www.loria.fr
SUMMARY:Soutenance de thèse : Omid Mokhtari (équipe Delta)
DESCRIPTION:Omid Mokhtari\, doctorant dans l’équipe Delta\, soutiendra sa thèse le 10 décembre 2026 au Loria\, avec un exposé intitulé  \n« Dynamics-aware geometric deep learning for biomolecular interactions ».\nSuperviseurs :\n– Hamed Khakzad\, Junior Professor (HDR)\, Inria\, Université de Lorraine – thesis director\n– Yasaman Karami\, Research Scientist (CR)\, Inria\, Université de Lorraine – co-supervisor \nJury\nRapporteurs :\n– Nataliya Sokolovska\, Professor\, Sorbonne Université\, CNRS (CQSB)\, Paris\n– Wim Vranken\, Professor\, Interuniversity Institute of Bioinformatics in Brussels (VUB)\, Belgium \nExaminateurs :\n– Alain Dutech\, Research Director\, Université de Lorraine\, Inria\, Loria\n– Tatiana Galochkina\, Associate Professor (HDR)\, Université Paris Cité\n– Arnaud Poterszman\, Research Director\, IGBMC\, Université de Strasbourg\n– Sylvain Lefebvre\, Research Director\, Inria\, Université de Lorraine \nInvited member:\n– Samia Aci-Sèche\, Research Scientist (HDR)\, ICOA\, CNRS\, Université d’Orléans
URL:https://www.loria.fr/event/soutenance-de-these-omid-mokhtari-equipe-delta/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR