BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
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
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251201T130000
DTEND;TZID=Europe/Paris:20251201T160000
DTSTAMP:20251128T133709Z
CREATED:20251114T150031Z
LAST-MODIFIED:20251128T133709Z
UID:28643-1764594000-1764604800@www.loria.fr
SUMMARY:Soutenance de thèse de Enzo D'Andrea
DESCRIPTION:Enzo D’Andrea (Resist)\, défendra sa thèse intitulée \nApprentissage machine réutilisable et adaptable\npour la sécurité réseau.\nLa soutenance aura lieu en public le lundi 1er décembre à 13h\, au LORIA\, en salle A008. Elle sera suivie d’un pot. \n\nJury :\n\n\n\n\nJérôme François\, Research Scientist\, Université du Luxembourg\nOlivier Festor\, Professeur\, Université de Lorraine\n\n\n\nRapporteurs :\nSandrine Vaton\, Professeure\, IMT Atlantique\n\nStephane Mocanu\, Maître de conférences\, Grenoble INP \n\nExaminateurs :\nNoura Limam\, Resaerch Assistant Professor\, University of Waterloo\, Canada\nClaudia Ignat\, Directrice de Recherche\, INRIA\n\n\n\n\n\n\n  \n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-enzo-dandrea/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T100000
DTEND;TZID=Europe/Paris:20251209T123000
DTSTAMP:20251204T132334Z
CREATED:20251204T132334Z
LAST-MODIFIED:20251204T132334Z
UID:28730-1765274400-1765283400@www.loria.fr
SUMMARY:Soutenance de thèse de Diego Alejandro Vega Vega
DESCRIPTION:Diego Alejandro Vega Vega (SIMBIOT)\, défendra sa thèse intitulée \nA general framework for co-simulation-based optimization.\nDirecteur de thèse : Vincent CHEVRIER\, Professeur\, Université de Lorraine (Nancy)\, Loria\nJury :\n\nRapporteurs :\n\nStéphane GALLAND\, Professeur\, Université de Technologie de Belfort-Montbeliard\, CIAD\nPaul-Antoine BISGAMBIGLIA\, Maître de conférences-HDR\, Université de Corse\n\nExaminateurs :\n\nBernardetta ADDIS\, Professeure\, Université de Lorraine (Nancy)\, OPTIMIST\nBaya Lydia BOUDJELOUD-ASSALA\, Professeure\, Université de Lorraine (Metz)\, MosAIk\nSébastien PICAULT \,Chargé de recherche-HDR\, INRAE\, DYNAMO\n\nInvitée :\n\nElsy KADDOUM\, Maîtresse de conférences-HDR\, Université de Toulouse II\, SMAC\n\n\n\n\n\n\nLa soutenance aura lieu en public le mardi 9 décembre à 10h\, au Loria\, en salle C005. Elle sera suivie d’un pot. \n\n\n  \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-diego-alejandro-vega-vega/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251211T093000
DTEND;TZID=Europe/Paris:20251211T123000
DTSTAMP:20251118T124900Z
CREATED:20251118T104257Z
LAST-MODIFIED:20251118T124900Z
UID:28645-1765445400-1765456200@www.loria.fr
SUMMARY:Soutenance de thèse d'Élise Klein
DESCRIPTION:Élise Klein (Pesto)\, défendra sa thèse intitulée \nFormal Verification in Practice:\nReal-World Case Study and Enhanced Support for AC Operators in Tamarin .\nLa soutenance aura lieu en public le jeudi 11 décembre à 9h30\, au LORIA\, en salle A008. Elle sera suivie d’un pot. \nJury :\n\n Yannick Chevalier (rapporteur — MCF HDR à l’Université de Toulouse)\n Barbara Fila (rapportrice — MCF HDR à l’INSA de Rennes)\n David Baelde (examinateur — Prof ENS Rennes)\n Claudia Ignat (examinatrice — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Ioana Boureanu (examinatrice — Prof University of Surrey\, UK)\n Steve Kremer (Directeur de thèse — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Jannik Dreier (Directeur de thèse — MCF Université de Lorraine)\n\n  \nAbstract: \n« During my PhD\, I studied the Tamarin-prover\, a cryptographic protocol verification tool\, initially focusing on modeling and later on improving its internal mechanisms. I first used the Sapic+ platform\, integrated into Tamarin\, to model the draft 12 of the LAKE-EDHOC protocol\, designed for deployment on IoT devices. Sapic+ enables the translation of a single model into three different tools (Tamarin\, ProVerif\, and DeepSec)\, allowing us to leverage the strengths of each. This approach led to the discovery of several vulnerabilities\, and our proposed fixes were integrated into subsequent versions of the protocol. Later\, I extended Tamarin to support user-defined associative and commutative symbols. To achieve this\, I designed an algorithm along with new reduction rules to handle infinite chains of constructors/destructors\, which often arise from such symbols. This extension enabled the modeling of new cryptographic primitives\, such as re-encryption. » \nRésumé : \n » Durant ma thèse\, j’ai étudié le prouveur Tamarin\, un outil de vérification de protocoles cryptographiques\, en me concentrant d’abord sur la modélisation puis sur l’amélioration de ses mécanismes internes. J’ai d’abord utilisé la plateforme Sapic+\, intégrée à Tamarin\, pour modéliser la version 12 du protocole LAKE-EDHOC\, conçu pour être déployé sur des objets connectés. Sapic+ permet de traduire un même modèle vers trois outils différents (Tamarin\, ProVerif et DeepSec)\, ce qui nous permet de tirer parti des forces de chacun. Cette approche a conduit à la découverte de plusieurs vulnérabilités\, et les correctifs que nous avons proposés ont été intégrés dans les versions ultérieures du protocole. Par la suite\, j’ai intégré à Tamarin la prise en charge des symboles associatifs et commutatifs définis par l’utilisateur. Pour ce faire\, j’ai conçu un algorithme ainsi que de nouvelles règles de réduction pour gérer les chaînes infinies de constructeurs/destructeurs\, qui apparaissent souvent avec de tels symboles. Cette extension a permis la modélisation de nouvelles primitives cryptographiques\, telles que le rechiffrement. « 
URL:https://www.loria.fr/event/soutenance-de-these-delise-klein/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251215T150000
DTEND;TZID=Europe/Paris:20251215T180000
DTSTAMP:20260115T142425Z
CREATED:20251215T093926Z
LAST-MODIFIED:20260115T142425Z
UID:28789-1765810800-1765821600@www.loria.fr
SUMMARY:Soutenance de thèse de Robin San Roman
DESCRIPTION:Robin San Roman défendra sa thèse intitulée \nSafe Audio Generation Models from Discrete Latent Representations\nLa soutenance se déroulera le lundi 15 décembre 2025 à 15h en A008. La présentation sera en français.\nElle sera suivie d’un pot devant la salle. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://inria.webex.com/meet/romain.serizel \n\nDirecteurs de thèse :\n\nRomain Serizel\nAntoine Deleforge
URL:https://www.loria.fr/event/soutenance-de-these-de-robin-san-roman/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251216T090000
DTEND;TZID=Europe/Paris:20251216T123000
DTSTAMP:20251210T140009Z
CREATED:20251210T140009Z
LAST-MODIFIED:20251210T140009Z
UID:28785-1765875600-1765888200@www.loria.fr
SUMMARY:Soutenance de thèse de Salome Lepers
DESCRIPTION:Salome Lepers (Larsen)\, défendra sa thèse intitulée \nInterprétabilité et explicabilité en planification probabiliste.\nLa soutenance se déroulera le mardi 16 décembre 2025 à 9h en C005. La présentation sera en français.\nElle sera suivie d’un pot devant la salle. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://rendez-vous.renater.fr/soutenanceSalomeLepers \n\nJury :\n\nAbdel-Illah Mouaddib\, Université de Caen (rapporteur)\nRégis Sabbadin\, INRAE (rapporteur)\nLydia Boudjeloud-Assala\, Université de Lorraine (examinatrice)\nWassila Ouerdane\, CentraleSupélec (examinatrice)\nVincent Thomas\, Université de Lorraine (directeur de thèse)\nOlivier Buffet\, INRIA (directeur de thèse)\n\nRésumé :\nDivers travaux se sont intéressés à produire des comportements interprétables pour un observateur extérieur\, en particulier dans des cadres complètement déterministes. Un comportement peut ainsi être par exemple plus lisible\, cherchant à communiquer l’objectif au plus tôt; plus explicable\, cherchant à se conformer aux attentes de l’observateur; ou plus prédictible\, cherchant à produire des trajectoires faciles à anticiper.\nMiura et Zilberstein ont récemment proposé le cadre des observer aware Markov decision processes (OAMDP) qui permet d’exprimer de tels problèmes dans des contextes où la dynamique du système est stochastique. \nLa présente thèse s’appuie sur ce cadre. Dans un premier temps\, elle propose une approche alternative pour la prédictibilité\, celles proposées s’avérant mal adaptées à des dynamiques stochastiques parce que raisonnant sur des trajectoires complètes. Ce travail aboutit à une étude expérimentale avec des observateurs humains. Dans un second temps\, cette thèse propose un formalisme plus générique au sens où il permet de traiter des situations où l’observateur n’a qu’une perception partielle\nde l’évolution du système. L’utilisation de ce formalisme est illustré en l’employant pour divers objectifs d’interprétabilité usuels. \n————————————————————————————————————————————————————————————– \n\nInterpretability and Explicability in Probabilistic Planning.\nThe defense will take place on Tuesday\, December 16\, 2025\, at 9:00 a.m. in room C005. The presentation will be in French. \nIt will be followed by a reception in front of the room around noon. A videoconference will also be available via the following link:\nhttps://rendez-vous.renater.fr/soutenanceSalomeLepers \n\nJury members:\n\nAbdel-Illah Mouaddib\, Université de Caen (reviewer)\nRégis Sabbadin\, INRAE (reviewer)\nLydia Boudjeloud-Assala\, Université de Lorraine (examiner)\nWassila Ouerdane\, CentraleSupélec (examiner)\nVincent Thomas\, Université de Lorraine (supervisor)\nOlivier Buffet\, INRIA (supervisor)\n\n\nAbstract:\nSeveral works have looked at producing behaviors that are interpretable\nby an external observer\, in particular in fully deterministic settings.\nA behavior can thus be for example more legible\, trying to communicate\nthe objective as soons as possible; more explicable\, trying to conform\nto the observer’s expectations; or more predictable\, trying to produce\ntrajectories that are easy to anticipate.\nMiura and Zilberstein have recently proposed the framework of\nobserver-aware Markov decision processes (OAMDPs)\, which allows\nexpressing such problems in contexts where the system’s dynamics is stochastic. \nThis thesis leverages this framework. In a first step\, it proposes an\nalternative approach for predictability\, as earlier approaches proved\npoorly adapted to stochastic dynamics because they reason on complete\ntrajectories. This work culminates in an experimental study with human\nobservers. In a second step\, this thesis proposes a formalism that is\nmore generic in that it allows handling situations where the observer\nhas a partial and noisy perception of the system’s evolution. The use of\nthis formalism is illustrated by employing it with several usual interpretability objectives. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-salome-lepers/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR