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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
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
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:20260203T160000
DTEND;TZID=Europe/Paris:20260203T183000
DTSTAMP:20260115T144911Z
CREATED:20260115T144633Z
LAST-MODIFIED:20260115T144911Z
UID:28838-1770134400-1770143400@www.loria.fr
SUMMARY:Soutenance de thèse de Valentin D. Richard
DESCRIPTION:Valentin D. Richard (Sémagramme)\, défendra sa thèse intitulée \n“Presuppositional and Dynamic Aspects of Questions“.\nLa soutenance aura lieu le 3 Février à 16h à Agnietenkapel. (Amsterdam)\n\nJury :\nLucas Champollion : New York University\nMaria Aloni : Universiteit van Amsterdam\nRobert van Rooij : Universiteit van Amsterdam\nMaxime Amblard : Université de Lorraine\nClaire Gardent : CNRS\n\nEncadrants :\nPhilippe De Groote : Inria\nReinhard Muskens : Universiteit van Amsterdam\nFloris Roelofsen : Universiteit van Amsterdam\n\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-valentin_d_richard/
LOCATION:Amsterdam
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260203T093000
DTEND;TZID=Europe/Paris:20260203T130000
DTSTAMP:20260127T161000Z
CREATED:20260127T151041Z
LAST-MODIFIED:20260127T161000Z
UID:28894-1770111000-1770123600@www.loria.fr
SUMMARY:Soutenance de thèse de Aya Yaacoub
DESCRIPTION:The thesis is entitled\n« Mitigating Musculoskeletal Disorders: Cobot Behavior Planning for Human Fatigue Reduction in Repetitive Tasks ».\nThe defense will be followed by a Lebanese pot in the space adjacent to room C005.\n\n\nJury Members:\nReviewers:\nCaroline Chanel Professor\, University of Toulouse\nArash Ajoudani Researcher\, Italian Institute of Technology\nExaminator:\nDavid Daney Researcher\, INRIA-University of Bordeaux\nSupervisors:\nFrancis Colas (director) Researcher\, INRIA-Nancy-Grand Est\nPauline Maurice (co-director) Researcher\, LORIA-CNRS\nVincent Thomas (supervisor) Professor\, University of Lorraine\n\n\nShort Summary:\nWork-related Musculoskeletal Disorders (WMSDs) are among the most common work-related disorders in industry\, leading to detrimental consequences for workers and high health care costs for them\, their companies and insurers. With the promise of more collaborative robots (cobots) working in direct interaction with humans and having the ability to influence their motion\, a research direction investigating the use of cobots to reduce the risk of WMSDs in industry has emerged. Most industrial tasks are repetitive and put the human at the risk of repetitive motion which is one of the prevalent WMSD risk factors in industry. Repetitive motion results in localized physical fatigue. Inspired by work from literature\, we consider fatigue as an indirect indicator of WMSD risk in repetitive tasks. We propose a POMDP-based framework for controlling the cobot behavior for the objective of minimizing long-term fatigue during a repetitive task. This framework allows to account for uncertainty around the human motor behavior and the lack of observability of fatigue while performing long-term planning. We provide evidence about the importance of planning for fatigue mitigation through some simulated experiments. Then\, we propose a method to discretize the continuous cobot action space. Finally\, we describe an experimental procedure that can help test our approach in a real scenario.\n\n\n————————————————————————————————————-\n\n(Version Française)\nLa thèse s’intitule\n » Réduire les troubles musculo-squelettiques : planification du comportement d’un cobot pour minimiser la fatigue de l’humain dans des tâches répétitives « .\nLa soutenance sera suivie d’un repas libanais dans l’espace adjacent à la salle C005.\n\n\n\n\nMembres du jury :\nRapporteurs :\nCaroline Chanel Professor\, University of Toulouse\nArash Ajoudani Researcher\, Italian Institute of Technology\nExaminateur :\nDavid Daney Researcher\, INRIA-University of Bordeaux\nEncadrents :\nFrancis Colas (directeur) Researcher\, INRIA-Nancy-Grand Est\nPauline Maurice (co-directrice) Researcher\, LORIA-CNRS\nVincent Thomas (encadrent) Professor\, University of Lorraine\n\n\nRésumé :\nLes troubles musculo-squelettiques liés au travail (TMSLT) comptent parmi les troubles liés au travail les plus courants dans l’industrie. Ils ont des conséquences néfastes pour les travailleurs et entraînent des coûts de santé élevés pour ces derniers\, leurs entreprises et leurs assureurs. Avec la promesse d’un nombre croissant de robots collaboratifs (cobots) travaillant en interaction directe avec les humains et capables d’influencer leurs mouvements\, un axe de recherche visant à étudier l’utilisation des cobots pour réduire le risque de TMSLT dans l’industrie a vu le jour. La plupart des tâches industrielles sont répétitives et exposent l’être humain au risque de mouvements répétitifs\, qui est l’un des facteurs de risque les plus courants de TMS dans l’industrie. Les mouvements répétitifs entraînent une fatigue physique localisée. Inspirés par les travaux publiés dans la littérature\, nous considérons la fatigue comme un indicateur indirect du risque de TMS dans les tâches répétitives. Nous proposons un cadre basé sur le POMDP pour contrôler le comportement des cobots dans le but de réduire la fatigue à long terme lors d’une tâche répétitive. Ce cadre permet de tenir compte de l’incertitude liée au comportement moteur humain et du manque d’observabilité de la fatigue lors de la planification à long terme. Nous fournissons des preuves de l’importance de la planification pour  réduire la fatigue à travers plusieurs expériences en simulation. Nous proposons ensuite une méthode pour discrétiser l’espace d’action continu du cobot. Enfin\, nous décrivons une procédure expérimentale qui peut aider à tester notre approche dans un scénario réel.
URL:https://www.loria.fr/event/soutenance-de-these-de-aya-yaacoub/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T140000
DTEND;TZID=Europe/Paris:20260126T170000
DTSTAMP:20260115T141709Z
CREATED:20260115T141709Z
LAST-MODIFIED:20260115T141709Z
UID:28834-1769436000-1769446800@www.loria.fr
SUMMARY:Soutenance de thèse de Alessio Coltellacci
DESCRIPTION:Alessio Coltellacci (Veridis)\, défendra sa thèse intitulée \nReconstruction des preuves SMT dans Lambdapi.\nLa soutenance se déroulera en anglais le lundi 26 janvier 2026 à 14h au LORIA\, en salle C005. Elle sera suivie d’un pot devant la salle. \nPour ceux qui ne pourraient pas venir\, la soutenance sera diffusée en visio (accessible à partir de 14h00\, possibilité de rejoindre depuis un navigateur web) : \nhttps://cnrs.zoom.us/j/95435518789?pwd=RiIzDeE5HIJEofM1x4g3raM9KZ3Y5x.1 \nJury :\n\nLaura Kovács\, Vienna University of Technology (rapporteuse)\nAlexander Steen\, University of Greifswald (rapporteur)\nChantal Keller\, LMF/Université Paris-Saclay (examinatrice)\nMathias Fleury\, University of Freiburg (examinateur)\nRégine Laleau\, Université de Paris-Est Créteil (examinatrice)\nStephan Merz\, INRIA/Université de Lorraine (directeur de thèse)\n\nRésumé :\nLes démonstrateurs automatiques de théorèmes modernes sont de plus en plus plébiscités pour établir la correction de systèmes informatiques critiques. Parmi eux\, les solveurs de satisfiabilité modulo des théories (SMT) occupent une place centrale\, en raison de leur grande expressivité et de leur efficacité dans le traitement de raisonnements logiques complexes. Cependant\, l’ampleur de leur base de code\, conjuguée à la sophistication de leur architecture logicielle\, rend toute vérification formelle exhaustive impraticable\, soulevant ainsi une question fondamentale de confiance: \nDans quelle mesure peut-on accorder foi à la correction des résultats produits par ces solveurs ? \nUne réponse particulièrement prometteuse à cette problématique réside dans le recours à la journalisation de preuves (proof logging)\, approche consistant à faire produire par les solveurs des traces de preuve susceptibles d’être vérifiées de manière indépendante par des vérificateurs externes. Le format Alethe est récemment apparu comme un standard pour représenter de telles preuves SMT. Plusieurs solveurs SMT ont adopté le format Alethe. Néanmoins\, l’absence actuelle d’un vérificateur de preuves certifié pour Alethe en limite encore l’adoption. \nDans cette thèse\, nous proposons un outil permettant de traduire les preuves SMT produites au format Alethe vers l’assistant de preuve Lambdapi\, une implémentation du λΠ-calcul modulo la réécriture. Lambdapi est un assistant de preuve fondationnel\, basé sur la théorie des types dépendants et sur des règles de réécriture\, conçu pour servir de pivot pour l’échange de preuves entre assistants de preuve interactifs. Nous présentons un encodage modulaire de la logique SMT et des règles Alethe dans Lambdapi\, couvrant des théories fondamentales telles que le raisonnement du premier ordre et l’arithmétique linéaire. \nNous détaillons ensuite le processus de reconstruction\, qui requiert des techniques telles que la démonstration par réflexion et l’élaboration de simplifications spécifiques aux solveurs. Enfin\, nous évaluons notre implémentation sur des benchmarks et montrons que les preuves Alethe générées par des solveurs SMT modernes peuvent être reconstruites de manière efficace et fiable dans Lambdapi\, ouvrant ainsi la voie à des preuves SMT à la fois vérifiées et portables. \n  \n\n\nAlessio Coltellacci (Veridis)\, will defend his thesis entitled \nReconstructing SMT Proofs in Lambdapi.\nThe defense will be held in English on Monday 26th\, 2026 at 2:00 P.M. at LORIA\, in room C005.\nThe defense will be followed by a pot de thèse in front of the room. \nFor those who cannot attend in person\, the defense will be streamed online (accessible from 2 P.M.\, you can join directly from a web browser): \nhttps://cnrs.zoom.us/j/95435518789?pwd=RiIzDeE5HIJEofM1x4g3raM9KZ3Y5x.1 \nJury:\n\nLaura Kovács\, Vienna University of Technology (reviewer)\nAlexander Steen\, University of Greifswald (reviewer)\nChantal Keller\, LMF/University Paris-Saclay (examiner)\nMathias Fleury\, University of Freiburg (examiner)\nRégine Laleau\, University Paris-Est Créteil (examiner)\nStephan Merz\, Inria/University of Lorraine (PhD supervisor)\n\nAbstract:\nPowerful modern automated theorem provers are increasingly used to establish the correctness of critical computer systems. Among them\, Satisfiability Modulo Theories (SMT) solvers play a central role thanks to their expressive power and efficiency in handling complex logical reasoning tasks. However\, their size and complexity make full formal verification of their implementations impractical\, raising a fundamental question of trust: \nCan we trust the correctness of their results? \nA promising answer lies in proof logging\, where solvers produce proof traces that proof checkers can independently check. The Alethe format has recently emerged as a unified framework for representing such SMT proofs. Several SMT solvers have adopted the Alethe format. However\, Alethe lacks a certified proof checker\, limiting its adoption and trustworthiness. \nIn this thesis\, we propose a reconstruction framework that translates Alethe proof traces into the Lambdapi proof assistant\, an implementation of the λΠ-calculus modulo rewriting. Lambdapi is a foundational proof assistant based on dependent type theory and rewriting rules\, intended to serve as a pivot for exchanging proofs between interactive proof assistants. We present a modular encoding of SMT logic and Alethe rules in Lambdapi\, covering core theories such as first-order reasoning and linear arithmetic. \nWe detail the reconstruction process\, which requires techniques such as proof by reflection and the elaboration of solver specific simplifications. Finally\, we evaluate our implementation on benchmark examples and demonstrate that Alethe proofs generated by modern SMT solvers can be efficiently and reliably reconstructed in Lambdapi\, paving the way toward portable and independently verifiable SMT proofs. \n  \n 
URL:https://www.loria.fr/event/soutenance-de-these-alessio_coltellacci/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260112T093000
DTEND;TZID=Europe/Paris:20260112T120000
DTSTAMP:20260115T142246Z
CREATED:20260113T120946Z
LAST-MODIFIED:20260115T142246Z
UID:28647-1768210200-1768219200@www.loria.fr
SUMMARY:Soutenance de thèse de Amandine LECOMTE
DESCRIPTION:Amandine LECOMTE (SEMAGRAMME)\, défendra sa thèse intitulée \nEtude des indices multimodaux discursifs au cours de la construction dialogique en entretien clinique auprès de sujets atteints de schizophrénie\n– Approche des conditions de possibilité ou de contrôle d’un « effet clinique ».\nLa soutenance aura lieu en public le lundi 12 janvier 2026 à 9h30 dans l’amphithéâtre Gilles Kahn. La présentation sera en français. \n\nComposition du jury :\n\n\nDirecteurs de thèse : Michel MUSIOL (Professeur\, Atilf-Cnrs\, Université de Lorraine)\, Alexandra KONÏG (HDR\, ki:elements\, Université Côte d’Azur)\nRapportrices : Emmanuèle AURIAC-SLUSARCZYK (Maîtresse de Conférence émérite\, INSPE Clermont-Auvergne\, Chamalières)\, Katia KOSTULSKI (Professeure\,CRTD Cnam\, Paris)\nExaminateurs: Maxime AMBLARD (Professeur\, LORIA\, Université de Lorraine)\, Christophe LEMEY(Docteur au CHU de Brest – Hôpital Morvan)\nPrésident de jury: Philippe De GROOTE (Directeur de recherche Inria Nancy – Grand Est) \n\n\n\n\nRésumé  :\nCette thèse propose de circonscrire un des effets possibles de l’entretien clinique dans le cadre particulier de la recherche.\nIl s’agit de mettre en évidence\, de manière précise et formelle\, des indicateurs de type comportementaux-discursifs et sémantico-représentationnels de l’évolution du sujet au niveau de la configuration des transactions dialogiques.\nCeci à partir d’une population atteinte d’une pathologie psychiatrique avérée\, d’une population témoin ne présentant pas de pathologie mentale ainsi qu’auprès d’une personne présentant des symptômes de première épisode psychotique.\nCe cadre exploratoire tente alors d’appréhender la multimodalité de l’interaction verbale à travers les réactions vocales\, verbales\, mimées voir oculomotrices.\n\n\n\n\nAbstract :\n\nThis thesis propose to define one of the possible effects of clinical interviews in the specific context of research.\nThe aim is to highlight\, in a precise and formal manner\, behavioral-discursive and semantic-representational indicators of the subject’s evolution in terms of the configuration of dialogic transactions.\nThis is based on a population with a proven psychiatric disorder\, a control population with no mental disorder\, and a person with symptoms of a first psychotic episode.\nThis exploratory framework attempts to understand the multimodality of verbal interaction through vocal\, verbal\, mimed\, and even oculomotor reactions.
URL:https://www.loria.fr/event/soutenance-de-these-amandine_lecomte/
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
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: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: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: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:20251126T130000
DTEND;TZID=Europe/Paris:20251126T160000
DTSTAMP:20251114T143730Z
CREATED:20251114T143730Z
LAST-MODIFIED:20251114T143730Z
UID:28637-1764162000-1764172800@www.loria.fr
SUMMARY:Soutenance de thèse de Amaury Saint-Jore
DESCRIPTION:Amaury Saint-Jore (Simbiot)\, défendra sa thèse intitulée \nSystèmes multi-agents hétérogènes appliqués à la robotique mobile collaborative interconnectée.\nLa soutenance aura lieu en public le mercredi 26 novembre à 13h\, au LORIA\, dans l’amphithéâtre Gilles Kahn\, et se déroulera en français. Elle sera suivie d’un pot. \nJury :\n\n\n\nDirecteurs de thèse : Ye-Qiong SONG (Professeur\, LORIA\, Université de Lorraine)\,\nLaurent CIARLETTA (Maître de Conférences\, LORIA\, Université de Lorraine)\nRapporteurs : Romuald AUFRÈRE (Professeur\, Institut Pascal/Polytech\, Université Clermont Auvergne)\,\nFrédéric LE MOUËL (Professeur\, CITI\, Université de Lyon)\nExaminatrices : Bernardetta ADDIS (Professeure\, LORIA\, Université de Lorraine)\,\nSamia BOUZEFRANE (Professeure\, CEDRIC\, Cnam Paris)\,\nLiliana CUCU-GROSJEAN (Directrice de Recherche\, INRIA Paris)\nInvité : Patrick HÉNAFF (Professeur\, Lab-STICC Brest/ENIB\, Université de Bretagne Occidentale)\n\n\n\nRésumé : \nLa robotique mobile soulève aujourd’hui des enjeux majeurs pour la société\, tant pour le grand public que pour le monde industriel\, nécessitant l’usage coordonné de robots aux capacités complémentaires. Cette thèse pluridisciplinaire porte sur les systèmes multi-agents hétérogènes (HMAS) composés de robots mobiles interconnectés\, conçus comme des Systèmes Cyber-Physiques (CPS). Elle vise à concevoir un système générique\, décentralisé et interopérable via le middleware ROS 2\, permettant des missions autonomes en environnement réel complexe\, avec interaction et collaboration entre robots et opérateurs humains. Deux approches originales de localisation 3D en temps réel sont proposées : une solution GNSS RTK pour l’extérieur et le système nomade NAPS pour l’intérieur\, toutes deux offrant une précision centimétrique robuste et adaptées aux multi-agents. Un modèle de confiance basé sur les rôles est également introduit afin de surveiller les comportements des agents\, détecter les anomalies et renforcer la résilience du système. L’ensemble de ces contributions\, intégrées dans ROS 2\, a été testé sur un HMAS réel regroupant des robots mobiles terrestres et aériens. \n  \nAbstract: \nMobile robotics today raises major challenges for society\, both for the general public and for the industrial world\, requiring the coordinated use of robots with complementary capabilities. This multidisciplinary thesis focuses on heterogeneous multi-agent systems (HMAS) composed of interconnected mobile robots\, designed as Cyber-Physical Systems (CPS). It aims to design a generic\, decentralized\, and interoperable system via the ROS 2 middleware\, enabling autonomous missions in complex real-world environments\, with interaction and collaboration between robots and human operators. Two original approaches to real-time 3D localization are proposed: a RTK GNSS solution for outdoor use and the NAPS nomadic system for indoor use\, both offering robust centimeter-level accuracy and suitable for multi-agent systems. A role-based trust model is also introduced to monitor agent behaviors\, detect anomalies\, and enhance system resilience. All these contributions\, integrated into ROS 2\, were tested on a real HMAS combining ground and aerial mobile robots. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-amaury-saint-jore/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T100000
DTEND;TZID=Europe/Paris:20251126T130000
DTSTAMP:20251126T101740Z
CREATED:20251126T101740Z
LAST-MODIFIED:20251126T101740Z
UID:28686-1764151200-1764162000@www.loria.fr
SUMMARY:Soutenance de thèse de Ala Eddine LAOUIR
DESCRIPTION:Ala Eddine LAOUIR défendra sa thèse intitulée \nPrivacy-Preserving Multidimensional Data Analysis: Query Answering and Data Publication under Differential Privacy.\nLa soutenance aura lieu le 26 Novembre à  10h en salle c005. La présentation sera en Anglais. \nElle sera suivie d’un pot à 13h \n  \nRésumé :\nAujourd’hui\, de nombreux services numériques collectent des données sensibles\, dont l’exploitation est fortement encadrée par des lois comme le RGPD. Ma thèse propose de nouvelles solutions permettant d’analyser et de publier ce type de données tout en garantissant de solides protections de confidentialité grâce à la Differential Privacy (DP).\nPlus précisément\, cette thèse propose: (I) des méthodes permettant d’effectuer efficacement des analyses OLAP (Online analytical processing) sur de grandes bases de données\, dans des environnements centralisés ou collaboratifs entre plusieurs organisations\, et (II) de nouvelles techniques de publication de données multidimensionnelles assurant à la fois confidentialité et utilité. \nComposition du jury :\n\n\nRapporteuse et rapporteur :  Catuscia PALAMIDESSI (INRIA Saclay\, LIX)\, Yang CAO (Institute of Science Tokyo) \n\n\nExaminatrice et examinateur : Marine MINIER (Université de Lorraine\, LORIA)\, Benjamin NGUYEN (INSA Centre Val de Loire) \n\n\nEncadrant : Abdessamad IMINE (Université de Lorraine\, LORIA) \n\n\n\n————————————————————————————————————————————————————————————–\n \n\nThe defense will take place on November 26th at 10am  in room C005. The presentation will be in English.\nIt will be followed by a reception at 1pm \nAbstract:\nIn modern days\, many digital services collect sensitive data\, whose use is strictly regulated by laws such as the GDPR. My thesis proposes new solutions that enable the analysis and publication of such data while ensuring strong confidentiality guarantees through Differential Privacy (DP).\nMore precisely\, this thesis introduces: (i) methods for efficiently performing OLAP (Online Analytical Processing)analyses over large databases in both centralized and collaborative multi-party settings\, and (ii) new techniques for publishing multidimensional data that ensure both confidentiality and utility. \nJury members:\n\n\nReviewers: Catuscia PALAMIDESSI (INRIA Saclay\, LIX)\, Yang CAO (Institute of Science Tokyo) \n\n\nExaminers: Marine MINIER (Université de Lorraine\, LORIA)\, Benjamin NGUYEN (INSA Centre Val de Loire) \n\n\nAdvisor: Abdessamad IMINE (Université de Lorraine\, LORIA) \n\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-ala-eddine-laouir/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251126T093000
DTEND;TZID=Europe/Paris:20251126T123000
DTSTAMP:20251114T151557Z
CREATED:20251114T145254Z
LAST-MODIFIED:20251114T151557Z
UID:28641-1764149400-1764160200@www.loria.fr
SUMMARY:Soutenance de thèse de Camille Lanuel
DESCRIPTION:Camille Lanuel (Gamble)\, défendra sa thèse intitulée \nComputing an ε-net of a hyperbolic surface.\nLa soutenance aura lieu en public le mercredi 26 novembre à 9h30\, au LORIA\, en salle A008 et sera suivie d’un pot. \nJury :\n\n\n\nRapporteurs\n\nGuillaume Damiand (CNRS\, LIRIS)\nLionel Pournin (Université Paris 13\, LIPN)}\n\n\nExaminatrices et examinateur\n\nMyfanwy Evans (Universität Potsdam)\nPierrick Gaudry (CNRS\, LORIA)\nJane Tournois (GeometryFactory)\n\n\nMembre du jury invitée\n\nMonique Teillaud (INRIA\, LORIA)\n\n\nEncadrants\n\nVincent Despré (Université de Lorraine\, LORIA)\nMarc Pouget (INRIA\, LORIA)\n\n\n\n\n\nRésumé :\nLes surfaces hyperboliques apparaissent naturellement en mathématiques et font donc l’objet d’études\napprofondies. Cependant\, de nombreuses questions n’ont été résolues que pour des surfaces spécifiques.\nLa mise en œuvre d’algorithmes d’approximation sur les surfaces hyperboliques faciliterait alors l’étude\nde surfaces plus génériques. La première étape d’un tel algorithme d’approximation est d’approcher la\ngéométrie de la surface avec un ensemble de points bien répartis sur la surface\, afin que chaque point de la\nsurface soit proche d’un point de l’ensemble. La notion d’ε-filet répond à cette description.\nDans cette thèse\, nous concevons un algorithme pour calculer un ε-filet d’une surface hyperbolique\ncompacte et sans bord. Notre algorithme utilise la technique du raffinement de Delaunay : à partir d’une\ntriangulation de Delaunay à un seul sommet sur la surface\, l’algorithme insère itérativement les centres\ncirconscrits des triangles dont le rayon du cercle circonscrit est strictement supérieur au paramètre ε.\n\n\nAbstract :\nHyperbolic surfaces naturally appear in mathematics and are therefore intensively studied. However\,\nmany questions have been answered only for specific surfaces. The implementation of approximation\nalgorithms on hyperbolic surfaces would then facilitate the study of more generic surfaces. The first step\nin such an approximation algorithm is to approximate the surface geometry with a set of well-distributed\npoints on the surface\, ensuring that every point on the surface is close to a point in the set. The notion of\nε-net meets this description.\nIn this thesis\, we design an algorithm to compute an ε-net of a compact hyperbolic surface without\nboundary. Our algorithm is based on the Delaunay refinement technique: starting from a Delaunay\ntriangulation with a single vertex on the surface\, the algorithm iteratively inserts the circumcenters of\ntriangles whose circumcradius is greater than the parameter ε.\n\n 
URL:https://www.loria.fr/event/soutenance-de-these-de-camille-lanuel/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251117T090000
DTEND;TZID=Europe/Paris:20251117T120000
DTSTAMP:20251114T144302Z
CREATED:20251114T144302Z
LAST-MODIFIED:20251114T144302Z
UID:28639-1763370000-1763380800@www.loria.fr
SUMMARY:Soutenance de thèse de Nathan Claudet
DESCRIPTION:Nathan Claudet\, défendra sa thèse intitulée \nÉquivalences locales des états graphes.\nLa soutenance aura lieu le lundi 17 Novembre à 9h00 en salle C005 au Loria.\nElle sera suivie d’un pot. \nJury :\n– Mamadou Moustapha Kanté (rapporteur)\, Université Clermont Auvergne\n– Robert Raussendorf (rapporteur)\, Leibniz Universität Hannover\n– Xavier Goaoc (examinateur)\, Université de Lorraine\n– Otfried Gühne (examinateur)\, Universität Siegen\n– Elham Kashefi (examinatrice)\, CNRS\n– Mathilde Bouvel (directrice de thèse)\, CNRS\n– Simon Perdrix (directeur de thèse)\, Inria \nRésumé :\nLes états graphes forment une vaste famille d’états quantiques qui correspondent de manière bijective à des graphes mathématiques. Les états graphes sont utilisés dans de nombreuses applications\, telles que le calcul quantique basé sur la mesure\, en tant que ressources intriquées multipartites. Il est donc essentiel de comprendre quand deux états graphes ont la même intrication\, c’est-à-dire quand ils peuvent être transformés l’un en l’autre en utilisant uniquement des opérations locales. Dans ce cas\, on dit que les états graphes sont LU-équivalents (unitaire locale). Si les opérations locales sont restreintes au groupe de Clifford\, on dit alors que les états graphes sont LC-équivalents (Clifford locale). Il est intéressant de noter qu’une règle graphique simple appelée complémentation locale capture exactement la LC-équivalence\, dans le sens où deux états graphes sont LC-équivalents si et seulement si les graphes sous-jacents sont liés par une séquence de complémentations locales. Alors qu’il était autrefois conjecturé que deux états graphes LU-équivalents sont toujours LC-équivalents\, il existe des contre-exemples et la complémentation locale ne parvient pas à capturer entièrement l’intrication des états graphe. \nDans cette thèse\, nous introduisons une généralisation de la complémentation locale qui capture exactement la LU-équivalence. À l’aide de cette caractérisation\, nous prouvons l’existence d’une hiérarchie infinie stricte d’équivalences locales entre la LC-équivalence et la LU-équivalence. Cela conduit également à la conception d’un algorithme quasi-polynomial permettant de déterminer si deux états graphes sont LU-équivalents\, et à la preuve que deux états graphes LU-équivalents sont LC-équivalents s’ils sont définis sur au plus 19 qubits. \nDe plus\, nous étudions les états graphes qui sont universels dans le sens où tout état graphe plus petit\, défini sur un ensemble suffisamment réduit de qubits\, peut être induit en utilisant uniquement des opérations locales. Nous donnons des bornes et une construction probabiliste optimale. \n  \nLocal equivalences of graph states\nAbstract:\nGraph states form a large family of quantum states that are in one-to-one correspondence with mathematical graphs. Graph states are used in many applications\, such as measurement-based quantum computation\, as multipartite entangled resources. It is thus crucial to understand when two such states have the same entanglement\, i.e. when they can be transformed into each other using only local operations. In this case\, we say that the graph states are LU-equivalent (local unitary). If the local operations are restricted to the so-called Clifford group\, we say that the graph states are LC-equivalent (local Clifford). Interestingly\, a simple graph rule called local complementation fully captures LC-equivalence\, in the sense that two graph states are LC-equivalent if and only if the underlying graphs are related by a sequence of local complementations. While it was once conjectured that two LU-equivalent graph states are always LC-equivalent\, counterexamples do exist and local complementation fails to fully capture the entanglement of graph states. \nWe introduce in this thesis a generalization of local complementation that does fully capture LU-equivalence. Using this characterization\, we prove the existence of an infinite strict hierarchy of local equivalences between LC- and LU-equivalence. This also leads to the design of a quasi-polynomial algorithm for deciding whether two graph states are LU-equivalent\, and to a proof that two LU-equivalent graph states are LC-equivalent if they are defined on at most 19 qubits. \nFurthermore\, we study graph states that are universal in the sense that any smaller graph state\, defined on any small enough set of qubits\, can be induced using only local operations. We provide bounds and an optimal\, probabilistic construction. \n 
URL:https://www.loria.fr/event/soutenance-de-these-de-nathan-claudet/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251114T093000
DTEND;TZID=Europe/Paris:20251114T120000
DTSTAMP:20251114T143018Z
CREATED:20251114T143018Z
LAST-MODIFIED:20251114T143018Z
UID:28635-1763112600-1763121600@www.loria.fr
SUMMARY:Soutenance de thèse de Thomas BAGREL
DESCRIPTION:Thomas BAGREL (Veridis)\, défendra sa thèse intitulée \nFormalisation et implémentation de techniques sûres pour la programmation par passage de destination dans les contextes fonctionnels purs.\nLa soutenance se déroulera en anglais le vendredi 14 novembre 2025 à 9h45 au Loria\, en salle A008. Elle sera suivie d’un pot dans le hall B du Loria. \nJury :\n\nDominic Orchard\, University of Kent (rapporteur)\nGabriele Keller\, Utrecht University (rapporteuse)\nDelia Kesner\, IRIF/Université Paris Cité (examinatrice)\nLaurent Vigneron\, LORIA/Université de Lorraine (examinateur)\nGabriel Scherer\, IRIF/Université Paris Cité (examinateur)\nHoratiu Cirstea\, LORIA/Université de Lorraine (directeur de thèse)\nArnaud Spiwack\, Tweag (encadrant industriel)\n\nRésumé : \nLa programmation par passage de destination introduit le concept de destination\, qui représente l’adresse d’une cellule mémoire encore vierge sur laquelle on ne peut écrire qu’une fois. Ces destinations peuvent être passées en tant que paramètres de fonction\, permettant à l’appelant de garder le contrôle de la gestion mémoire : la fonction appelée se contente de remplir la cellule au lieu d’allouer de l’espace pour une valeur de retour. Bien que principalement utilisé en programmation système\, le passage de destination trouve aussi des applications en programmation fonctionnelle pure\, où il permet d’écrire des programmes auparavant inexpressibles avec les structures de données immuables usuelles. \nDans cette thèse\, nous développons un λ-calcul avec destinations\, λd. Ce nouveau système théorique est plus expressif que les travaux similaires existants\, le passage de destination y étant conçu pour être aussi flexible que possible. Cette expressivité est rendue possible par un système de types modaux combinant types linéaires et un système d’âges pour gérer le contrôle lexical des ressources\, afin de garantir la sûreté du passage de destination. Nous avons prouvé la sûreté de notre système via les théorèmes habituels de progression et de préservation des types\, de façon mécanisée\, avec l’assistant de preuve Rocq. \nNous montrons ensuite comment le passage de destination\, formalisé dans ce calcul théorique\, peut être intégré à un langage fonctionnel pur existant\, Haskell\, dont le système de types est moins puissant que notre système théorique. Préserver la sûreté nécessite alors de restreindre la flexibilité dans la gestion des destinations. Nous affinons par la suite l’implémentation pour retrouver une grande partie de cette flexibilité\, au prix d’une complexité accrue pour l’utilisateur. \nL’implémentation prototype en Haskell montre des résultats encourageants pour l’adoption du passage de destination pour des parcours ou du mapping de grandes structures de données\, telles que les listes ou les arbres. \n  \n\nFormalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings.\nThe defense will be held in English on Friday\, November 14th\, 2025 at 9:45 A.M. at LORIA\, in room A008. The defense will be followed by a pot de thèse in the hall B of LORIA \nJury: \n\nDominic Orchard\, University of Kent (reviewer)\nGabriele Keller\, Utrecht University (reviewer)\nDelia Kesner\, IRIF/Université Paris Cité (examiner)\nLaurent Vigneron\, LORIA/Université de Lorraine (examiner)\nGabriel Scherer\, IRIF/Université Paris Cité (examiner)\nHoratiu Cirstea\, LORIA/Université de Lorraine (PhD supervisor)\nArnaud Spiwack\, Tweag (industrial supervisor)\n\nAbstract: \nDestination-passing style programming introduces destinations\, which represent the address of a write-once memory cell. These destinations can be passed as function parameters\, allowing the caller to control memory management: the callee simply fills the cell instead of allocating space for a return value. While typically used in systems programming\, destination passing also has applications in pure functional programming\, where it enables programs that were previously unexpressible using usual immutable data structures. \nIn this thesis\, we develop a core λ-calculus with destinations\, λd. Our new calculus is more expressive than similar existing systems\, with destination passing designed to be as flexible as possible. This is achieved through a modal type system combining linear types with a system of ages to manage scopes\, in order to make destination-passing safe. Type safety of our core calculus was proved formally with the Rocq proof assistant. \nThen\, we see how this core calculus can be adapted into an existing pure functional language\, Haskell\, whose type system is less powerful than our custom theoretical one. Retaining safety comes at the cost of removing some flexibility in the handling of destinations. We later refine the implementation to recover much of this flexibility\, at the cost of increased user complexity. \nThe prototype implementation in Haskell shows encouraging results for adopting destination-passing style programming when traversing or mapping over large data structures such as lists or data trees.
URL:https://www.loria.fr/event/soutenance-de-these-de-thomas-bagrel/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251007T140000
DTEND;TZID=Europe/Paris:20251007T160000
DTSTAMP:20250929T120036Z
CREATED:20250918T075048Z
LAST-MODIFIED:20250929T120036Z
UID:28452-1759845600-1759852800@www.loria.fr
SUMMARY:PhD Defense: William Eduardo Soto Martinez (Synalp)
DESCRIPTION:William Eduardo Soto Martinez\, PhD student is the Synalp team\, will defend his thesis on October 7 at 2pm in room C005. \nHis thesis is entitled Multilingual Graph-to-Text Generation and Evaluation. \nThe efficient communication of structured knowledge is a longstanding challenge in Natural Language Processing (NLP)\, particularly for Natural Language Generation (NLG). Structured data\, such as Resource Description Framework (RDF) graphs and Abstract Meaning Representation (AMR) graphs\, enables machines to represent knowledge with clarity and consistency. However\, natural language remains the most effective medium for human understanding. \n\nWilliam Eduardo Soto Martinez\, doctorant dans l’équipe Synalp\, soutiendra sa thèse le 7 octobre en salle C005. \nSa thèse est intitulée Génération et Évaluation de Textes Multilingues à partir de Graphes. \nCommuniquer efficacement des connaissances structurées demeure un défi majeur du traitement automatique des langues (TAL)\, en particulier dans le contexte de la génération automatique de texte (GAT). \nDirectrice de thèse : Claire Gardent\, CNRS\, Loria\, Université de Lorraine\nRapporteur : François Yvon\, CNRS\, ISIR\, Sorbonne Université\nRapporteur : François Portet\, Université Grenoble Alpes\nExaminateur : Maxime Amblard\, Université de Lorraine\nCo-encadrant de thèse : Yannick Parmentier\, Université de Lorraine\nExaminateur : Oana Balalau\, Inria Saclay\nExaminateur : Ondrej Ducek\, Charles University\, Prague\nExaminateur : Simon Mille\, Dublin City University
URL:https://www.loria.fr/event/phd-defense-william-eduardo-soto-martinez-synalp/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250919T093000
DTEND;TZID=Europe/Paris:20250919T113000
DTSTAMP:20250918T083646Z
CREATED:20250918T074325Z
LAST-MODIFIED:20250918T083646Z
UID:28450-1758274200-1758281400@www.loria.fr
SUMMARY:PhD Defense: Alexandre Oliveira Souza (Larsen)
DESCRIPTION:Alexandre Oliveira Souza\, PhD Student in the Larsen team\, will defend his thesis on September 19 at 9:30 am in room A008. \nHis thesis is entitled « AI-Based Motion Prediction for Occupational Exoskeleton Control: From Simulation to User Evaluation ». \nExoskeletons can help address work-related musculoskeletal disorders (WMSDs). Currently\, most exoskeletons used in industry are passive devices: they provide mechanical assistance using springs or elastic bands\, but are often limited to a single type of task\, which hinders their practi- cal adoption. Active\, motor-driven exoskeletons have the potential to provide more versatile and greater assistance. However\, their control remains a challenge; the exoskeleton must understand how to assist the user in the task at hand. \n\nAlexandre Oliveira Souza\, doctorant dans l’équipe Larsen\, soutiendra sa thèse le 19 septembre à 9h30 en salle A008. \nSa thèse est intitulée Prédiction du mouvement basée intelligence artificielle pour le control d’exosquelette actif: De la simulation à l’étude utilisateur. \nLes exosquelettes peuvent permettre de s’attaquer aux troubles musculo-squelettiques liés au travail (TMS). Actuellement\, la plupart des exosquelettes utilisés dans l’industrie sont des dis- positifs passifs : ils fournissent une assistance mécanique en utilisant des ressorts ou des bandes élastiques\, mais sont souvent limités à un type de tâche spécique\, limitant leur adoption en pratique. Les exosquelettes actifs\, actionnés par des moteurs\, ont le potentiel de fournir une assistance plus versatile et plus élevée. \nJURY\nDirecteur de thèse : François Charpillet\, Inria – Loria.\nRapporteur : Marie Babel\, INSA de Rennes\nRapporteur : Nathanael Jarrassé\, ISIR\nExaminateur : Katja Mombaur\, KIT BioRobotics Lab\nCo-encadrant de thèse : Pauline Maurice\, CNRS – Loria\nExaminateur : Armelle Brun\, Université de Lorraine – Loria.
URL:https://www.loria.fr/event/phd-defense-alexandre-oliveira-souza-larsen/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250707T140000
DTEND;TZID=Europe/Paris:20250707T160000
DTSTAMP:20250701T141605Z
CREATED:20250701T141605Z
LAST-MODIFIED:20250701T141605Z
UID:28275-1751896800-1751904000@www.loria.fr
SUMMARY:Soutenance de thèse : Mário Silva (Mocqua)
DESCRIPTION:Mário Silva (Mocqua) will defend his thesis on Monday\, July 7th at 2pm in room C005\, with a presentation entitled Programming languages characterizing quantum efficiency. \n\n\n\n\n\n\nJury:\n– Ugo Dal Lago (rapporteur)\, Università di Bologna\n– Benoît Valiron (rapporteur)\, CentraleSupélec\, Université Paris-Saclay\, LMF\n– Gilles Barthe (examinateur)\, MPI-SP Bochum\, IMDEA Software Institute\n– Cristina Sernadas (examinatrice)\, Instituto Superior Técnico\, Universidade de Lisboa\n– Romain Péchoux (directeur de thèse)\, Loria\, Université de Lorraine\n– Emmanuel Hainry (co-directeur de thèse)\, Loria\, Université de Lorraine\n\n\n\n\n\n\n\n\n\nAbstract:\nQuantum computing is a paradigm of computation where quantum physical phenomena such as entanglement and superposition are used to obtain an advantage over classical computation. While the quantum programmer has a large choice of programming languages at their disposal\, none allow for ensuring the feasibility of their programs. To this end\, we introduce a first-order quantum programming language (FOQ) that allows for reasoning about the physical realizability and complexity of quantum programs.\nWe introduce statically-checked restrictions over FOQ program that allow us to identify fragments that are sound and complete for quantum polynomial (PFOQ) and polylogarithmic time (LFOQ). We provide a number of examples of polynomial and polylogarithmic time programs that are captured by these fragments\, and constitute relevant quantum functions\, such as the quantum Fourier transform\, quantum arithmetic\, and examples like binary search.\nWe also introduce new compilation techniques that allow for translating PFOQ and LFOQ programs into circuits of adequate complexity\, avoiding the exponential blow-up that can occur from the recursive use of a quantum control statement. We further improve this compilation technique and are able to define a FOQ fragment that is sound and complete for quantum polynomial time where the circuit complexity of the quantum case statement is the maximum of the branches\, instead of their sum. We develop a prototype compiler that implements these ideas over PFOQ and LFOQ programs.
URL:https://www.loria.fr/event/soutenance-de-these-mario-silva-mocqua/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250707T100000
DTEND;TZID=Europe/Paris:20250707T120000
DTSTAMP:20250630T105102Z
CREATED:20250630T105102Z
LAST-MODIFIED:20250630T105102Z
UID:28273-1751882400-1751889600@www.loria.fr
SUMMARY:Soutenance de thèse : Mohammed Fellaji
DESCRIPTION:Mohammed Fellaji soutiendra sa thèse intitulée Calibration épistémique pour l’apprentissage profond bayésien : principes\, enjeux et solutions\, dirigée par Miguel Couceiro et Frédéric Pennerath\, le lundi 7 juillet à 10 heures dans l’amphithéâtre de CentraleSupélec\, Campus de Metz. \nComposition du jury : \n\n\n\nM. Miguel COUCEIRO\nUniversité de Lisbonne\nDirecteur de thèse\n\n\nM. Frédéric PENNERATH\nCentraleSupélec\nCo-directeur de thèse\n\n\nM. Sébastien DESTERCKE\nCNRS\, UMR 7253 Heudiasyc\nRapporteur\n\n\nM. Willem WAEGEMAN\nGhent University\nRapporteur\n\n\nMme Marianne CLAUSEL\nUniversité de Lorraine\nExaminatrice\n\n\nMme Ines LYNCE\nInstituto Superior Técnico INESC-ID Lisboa\nExaminatrice\n\n\nM. Brieuc CONAN-GUEZ\nUniversité de Lorraine\nInvité\n\n\nMme Sandrine VATON\nIMT Atlantique\nInvitée\n\n\n\n\n\n\n\nMots-clés :\nmodèles bayésiens ; incertitudes ; incertitude épistémique ; calibration du modèle ; calibration épistémique\n\n\n\n\n\n\n\nRésumé :\n\n\nLa plupart des modèles d’apprentissage profond produisent des distributions probabilistes pour leurs prédictions\, mais leur évaluation se base souvent sur des métriques de performance brute (commme la précision de la classification)\, ignorant l’incertitude des prédictions. L’importance de mesurer la confiance des modèles est soulignée en raison de leurs limites de généralisation et de la nécessité de prévoir des performances fiables sur de nouvelles données. Le domaine de la calibration des modèles en apprentissage profond a ainsi émergé pour promouvoir des prédictions plus fiables. Entre-temps\, le développement de modèles tels que les réseaux neuronaux bayésiens\, les ensembles profonds ou les modèles profonds « evidentiels » a permis d’estimer le niveau d’incertitude épistémique\, inhérent au processus d’apprentissage\, en complément de l’incertitude aléatoire déjà estimée par les modèles standard. Si la qualité de l’incertitude prédictive/aléatoire peut être mesurée par des méthodes de calibration bien établies\, il n’en va pas de même pour l’incertitude épistémique. Cette dernière étant considérée comme la mesure idéale dans une série d’applications\, il est donc important d’explorer ses propriétés de calibration\, ce qui a rarement été abordé dans la littérature. Définir la calibration épistémique pose des défis quant à sa formalisation\, sa comparaison avec la calibration de modèle\, et son étude sur la base de principes fondamentaux. Cette thèse aborde ces questions par des approches théoriques et expérimentales appliquées aux classificateurs profonds dans le but d’explorer l’incertitude épistémique et ses implications dans diverses applications. Après avoir étudié l’état de l’art sur la quantification de l’incertitude probabiliste\, notamment dans les modèles profonds\, et face à la difficulté de calibrer quantitativement l’incertitude épistémique\, nous définissons formellement deux principes élémentaires que cette incertitude devrait idéalement respecter : les principes liés aux données et au modèle. En effet\, l’incertitude épistémique étant liée au modèle\, elle devrait diminuer avec la quantité de données disponibles et augmenter avec la complexité ou l’expressivité du modèle. Empiriquement\, et sur divers jeux de données\, nous montrons que les modèles bayésiens courants ou leurs alternatives ne respectent pas pleinement ces principes fondamentaux. Nous en concluons que ces modèles manquent de calibration épistémique\, un phénomène que nous appelons le trou d’incertitude épistémique. Étant donné l’importance du prior dans l’incertitude épistémique\, nous analysons si l’échec des modèles provient d’un choix inadéquat du prior. Pour cela\, nous introduisons la Conflictual loss\, une fonction de loss qui favorise la diversité des sorties grâce à l’utilisation d’un prior non informatif. Nous montrons expérimentalement que cette loss améliore la calibration de l’incertitude épistémique et ne présente pas le trou d’incertitude épistémique. De plus\, des entrées particulières ont été étudiées\, comme des échantillons bruités ou issus du jeu de test\, afin d’analyser l’évolution des différentes sources d’incertitudes. Nous analysons aussi les spécificités de la diversité conflictuelle dans l’espace des paramètres\, en soulignant les différences avec les ensembles profonds. À partir de cette analyse\, une version compacte du modèle est formalisée\, mettant en valeur les apports du prior non informatif. Enfin\, les modèles sont évalués sur des applications populaires telles que la détection hors distribution (OOD) et l’apprentissage actif bayésien.\n\n\n  \nAbstract : \n  \nAlthough most deep learning models provide probabilistic distributions as a predictive output\, their evaluation often relies mainly on raw performance metrics (e.g. accuracy for classification) insensitive to the uncertainty expressed by these distributions. Yet\, the inherent restrictions on the generalization ability of these models make them extremely unlikely to reach flawless performance on new data\, hence advocating for the importance of examining the confidence of the predictions. In this regard\, the field of model calibration has recently gained considerable attention in the deep learning community\, with the aim of encouraging reliable predictions. Meanwhile\, the development of models like Bayesian neural networks\, deep ensemble or evidential deep models has made it possible to estimate the level of epistemic uncertainty\, inherent to the learning process\, in complement to the aleatoric uncertainty already estimated by standard models. While the quality of predictive/aleatoric uncertainty can be measured by well-established calibration methods\, the same cannot be said about epistemic uncertainty. Since the latter is considered the ideal score in a range of applications\, it is therefore of utmost importance to explore its calibration properties\, which has rarely been addressed in the literature. When attempting to define epistemic calibration\, more challenges arise on how to formalize this calibration\, assuming its existence. For instance\, it may be worth considering whether it is feasible to study it similarly to model calibration\, or at the very least\, based on fundamental principles. Throughout this thesis\, we have attempted to overcome these challenges by conducting work of both a theoretical and experimental nature in the specific context of deep classifiers. After reviewing the state of the art to quantifying probabilistic uncertainty\, especially in the field of deep models\, and given the difficulty of quantitatively calibrating epistemic uncertainty\, we first define formally two elementary principles that epistemic uncertainty should ideally satisfy to our view: data-related and model-related principles. Indeed\, as epistemic uncertainty is associated with knowledge in the model\, it should decrease with the amount of available data and increase with the expressivity/complexity of the model. Empirically\, and on a variety of datasets\, we show that commonly used Bayesian models or alternatives do not fully verify these fundamental principles. Therefore\, we argue that these models lack epistemic calibration\, and we refer to this phenomenon as the epistemic uncertainty hole. Considering the critical role that the prior plays in shaping epistemic uncertainty\, we investigate how much this failure of the tested models is due to an inadequate choice of prior. To this end\, we introduce Conflictual loss\, a loss function that favors diversity of the outputs thanks to the use of an uninformative prior. We then experimentally show that Conflictual loss leads to a better calibrated epistemic uncertainty and does not suffer from the epistemic uncertainty hole. Additionally\, special inputs were investigated\, which were either noisy samples or drawn from the test set\, to understand the evolution of different sources of uncertainties. Furthermore\, we analyze the specificities of the conflictual diversity in the parameters space and highlight the differences with deep ensembles. Building on the findings of this analysis\, a compact version of the model was formalized\, further emphasizing the benefits of the uninformative prior. Finally\, the models were evaluated on popular applications such as out-of-distribution (OOD) detection and Bayesian active learning.
URL:https://www.loria.fr/event/soutenance-de-these-mohammed-fellaji/
LOCATION:CentraleSupélec Metz\, 2\, rue Edouard Belin\, Metz\, France
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250624T140000
DTEND;TZID=Europe/Paris:20250624T170000
DTSTAMP:20250620T092910Z
CREATED:20250620T092910Z
LAST-MODIFIED:20250620T092910Z
UID:28262-1750773600-1750784400@www.loria.fr
SUMMARY:PhD Defense: Radhouane Jilani (Tangram)
DESCRIPTION:Radhouane Jilani\, PhD student in the Tangram team\, will defend his thesis on Tuesday\, 24 June at 2pm in room C005. \nHis presentation (in French) is entitled « Simulation de la navigation intravasculaire de cathéter par la théorie des poutres de Cosserat ». \nJury : \nRapporteurs : \nVincent Lebastard\, Maître de conférences\, IMT Atlantique \nKanty Rabenorosoa\, Professeur\, Université de Franche-Comté \nExaminateurs : \nSylvain Contassot-Vivier\, Professeur\, Université de Lorraine \nJérémie Dequidt\, Professeur\, Université de Lille \nMaud Marchal\, Professeur\, INSA Rennes \nInvité : \nStéphane Cotin\, Directeur de recherche\, Inria \nEncadrants : \nErwan Kerrien\, Chargé de recherche\, Inria \nPierre-Frédéric Villard\, Maître de conférences\, Université de Lorraine \n  \nRésumé : \nLe traitement de l’accident vasculaire cérébral ischémique requiert une intervention complexe consistant à guider un cathéter\, un instrument long et flexible\, au sein du réseau vasculaire cérébral. L’objectif de cette thèse est la conception d’une simulation numérique de cette procédure qui soit à la fois robuste et rapide\, afin de servir d’outil d’aide à la formation des praticiens et à la planification des interventions. \nL’instrument est modélisé par la théorie des poutres de Cosserat\, reconnue pour sa fidélité physique. La résolution des équations issues de cette formulation soulève cependant d’importantes difficultés numériques. Des solveurs efficaces comme la méthode de tir présentent une instabilité et ne convergent pas pour les cathéters souples. D’autres approches\, basées sur une formulation lagrangienne\, bien que plus robustes\, génèrent des systèmes numériquement raides dont la résolution explicite imposerait des pas de temps excessivement petits. \nCette thèse propose deux apports principaux. Le premier est une simulation dynamique reposant sur une méthode de collocation\, qui assure la convergence là où les techniques standards échouent. Le second apport\, visant une accélération du calcul\, est un modèle quasi statique. Cette simplification est justifiée par le fait que l’instrument est fortement contraint par la géométrie vasculaire. Ce modèle repose sur la représentation des parois des vaisseaux par des fonctions implicites. Cette approche permet d’employer un intégrateur implicite et de dériver analytiquement la jacobienne du système. La raideur numérique\, qui constitue le principal obstacle à l’efficacité du calcul\, est ainsi atténuée.
URL:https://www.loria.fr/event/phd-defense-radhouane-jilani-tangram/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250623T140000
DTEND;TZID=Europe/Paris:20250623T170000
DTSTAMP:20250619T133634Z
CREATED:20250618T102224Z
LAST-MODIFIED:20250619T133634Z
UID:28255-1750687200-1750698000@www.loria.fr
SUMMARY:PhD Defense: Siyana Pavlova (Sémagramme)
DESCRIPTION:Siyana Pavlova\, PhD student in the Sémagramme team\, will defend her thesis on Monday\, 23rd June at 1.30pm in room A008. \nHer thesis is entitled « Toward Scalable Semantic Annotation: Bridging Readability and a Wide Range of Phenomena into a Layered Meaning Representation ». \nJury \nReviewers\n– Nicholas Asher\, IRIT\, CNRS\, Toulouse\, France\n– Marie Candito\, Université Paris Cité & LLF\, Paris\, France \nExaminers\n– Claire Gardent\, CNRS\, LORIA\, Nancy\, France\n– Lucia Donatelli\, Vrije Universiteit Amsterdam\, Amsterdam\, The Netherlands\n– Anette Frank\, Heidelberg University\, Heidelberg\, Germany \nSupervisors\n– Maxime Amblard\, LORIA\, Université de Lorraine\, Nancy\, France\n– Bruno Guillaume\, LORIA\, Inria – Grand Est\, Nancy\, France \nAbstract \nThis work is situated in the area of semantic modeling\, which aims to represent the meaning of natural language in a machine-processable form. Various formalisms exist in this direction. Logic-based ones offer more expressivity\, but are more complex to annotate and analyse by humans. The ones aimed at large-scale annotation are more abstract\, but at the cost of expressivity. To address the question of what should be included in the design of meaning representations\, we carry out a survey on existing formalisms across various semantic phenomena and semantically-oriented considerations. With these in mind\, we join the trend for reconciling the logic-based view on semantics with the readability offered by more abstract representations by proposing a new formalism\, which uses a layered approach to represent various phenomena. Finally\, to address the relative lack of parallel data in the field\, we explore rule-based graph transformation methods between formalisms.
URL:https://www.loria.fr/event/phd-defense-siyana-pavlova-semagramme/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250602T150000
DTEND;TZID=Europe/Paris:20250602T170000
DTSTAMP:20250522T161601Z
CREATED:20250522T144759Z
LAST-MODIFIED:20250522T161601Z
UID:28229-1748876400-1748883600@www.loria.fr
SUMMARY:Soutenance de thèse : Vivien Vandaele (MOCQUA)
DESCRIPTION:Vivien Vandaele\, doctorant dans l’équipe MOCQUA\, soutiendra sa thèse intitulée « Optimisation du calcul quantique tolérant aux fautes par le ZX-calculus«  le 2 juin\, à 15h\, en salle A008. \nRésumé\nLe calcul quantique tolérant aux fautes nécessite des techniques de compilation efficaces pour traduire les algorithmes quantiques de haut niveau en opérations exécutables sur le matériel. Cette thèse présente plusieurs contributions au développement d’une pile de compilation pour le calcul quantique tolérant aux fautes.\nAu niveau de la synthèse de circuits quantiques\, nous introduisons de nouvelles constructions pour des opérateurs arithmétiques\, notamment le premier additionneur exact sans qubit auxiliaire avec une profondeur sous-linéaire\, ainsi qu’un multiplicateur pour les corps binaires offrant un faible coût espace-temps.\nPour l’optimisation de circuits quantiques\, nous présentons des algorithmes pour minimiser le nombre de portes de Hadamard et de rotation dans les circuits\, en prouvant leur optimalité dans certains cas. Nous proposons également des algorithmes efficaces pour réduire le nombre de portes T \, une ressource critique pour le calcul quantique tolérant aux fautes. Nos méthodes permettent d’obtenir le plus petit nombre de portes T pour la plupart des circuits évalués\, tout en offrant une mise à l’échelle nettement meilleure que celle des approches précédentes. \nEnfin\, en utilisant le ZX-calcul\, nous établissons des liens entre des problèmes d’optimisation de ressources et des problèmes bien étudiés en théorie des graphes. Cela nous permet de développer de nouvelles techniques d’optimisation pour minimiser le nombre de qubits dans les modèles de calcul tolérants aux fautes\, tels que la chirurgie de codes. \nEncadrants\n\nSimon Perdrix\, Inria\, Loria\nChristophe Vuillot\, Alice & Bob\, Inria\, LORIA\n\nJury\nPrésident \n\nPierrick Gaudry\, CNRS\, LORIA\n\nRapporteurs \n\nDan Browne\, University College London\nPeter Selinger\, Dalhousie University\n\nExaminateurs \n\nMatthew Amy\, Simon Fraser University\nStacey Jeffery\, CWI\, QuSoft\, University of Amsterdam\nElham Kashefi\, CNRS\, LIP6\, University of Edinburgh\n\nInvités \n\nSimon Martiel\, IBM Quantum\, IBM France Lab\nMaxime Remaud\, Eviden Quantum Lab
URL:https://www.loria.fr/event/soutenance-de-these-vivien-vandaele-mocqua/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250513T140000
DTEND;TZID=Europe/Paris:20250513T160000
DTSTAMP:20250507T114239Z
CREATED:20250506T111007Z
LAST-MODIFIED:20250507T114239Z
UID:28114-1747144800-1747152000@www.loria.fr
SUMMARY:Soutenance de thèse : Alexandre Guernut (MOCQUA)
DESCRIPTION:Alexandre Guernut\, doctorant dans l’équipe MOCQUA\, soutiendra sa thèse intitulée « Manipulation résiliente aux erreurs de l’information quantique avec des codes stabilisateurs LDPC » le mardi 13 mai\, à 14h\, en salle A008. \nRésumé\nLes codes stabilisateurs\, et en particulier les codes quantiques LDPC\, sont les principaux candidats qui permettraient la correction d’erreurs quantiques\, nécessaires à moyen terme pour rendre l’ordinateur quantique utilisable. \nEncadrants\n\nEmmanuel Jeandel\, directeur de thèse\, Université de Lorraine\, Nancy\nChristophe Vuillot\, co-directeur de thèse\, Inria\, Nancy\n\nJury\n\nMarkus Müller\, Rapporteur RWTH Aachen University\, Aix-la-Chapelle\nValentin Savin\, Rapporteur CEA-LETI\, Grenoble\nIrène Marcovici\, Examinateur\, LMRS\, Rouen\nNicolas Sangouard\, Examinateur CEA\, Paris
URL:https://www.loria.fr/event/soutenance-de-these-alexandre-guernut-mocqua/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250429T140000
DTEND;TZID=Europe/Paris:20250429T160000
DTSTAMP:20250314T093357Z
CREATED:20250303T162552Z
LAST-MODIFIED:20250314T093357Z
UID:27692-1745935200-1745942400@www.loria.fr
SUMMARY:Soutenance de thèse : Joël Ky (Resist)
DESCRIPTION:Joël Ky\, doctorant dans l’équipe Resist\, soutiendra sa thèse intitulée « Détection d’Anomalies et Diagnostic des Causes Racines des Applications à Faible Latence sur les Réseaux à Capacité Variable » le mardi 29 avril\, à 14h\, en salle A008. \nRésumé\nL’évolution des réseaux a conduit à l’émergence d’applications à faible latence (FL) telles que le cloud gaming (CG) et la réalité virtuelle basée sur le cloud (Cloud VR)\, qui exigent des conditions réseau strictes\, notamment une faible latence et une bande passante élevée. Cependant\, les réseaux à capacité variable introduisent des dégradations\, telles que du délai\, des fluctuations de bande passante et des pertes de paquets\, qui peuvent significativement altérer l’expérience utilisateur sur les applications FL. Cette thèse vise à concevoir des méthodologies pour détecter et diagnostiquer les anomalies de performance des applications FL fonctionnant sur des réseaux cellulaires et Wi-Fi. Pour atteindre cet objectif\, des bancs d’essai expérimentaux réalistes ont été mis en place pour collecter des bases de données caractérisant les performances du réseau et capturant les indicateurs clés de performance (KPI) des applications CG et Cloud VR dans des environnements 4G et Wi-Fi. Ces données constituent la base de l’évaluation et du développement d’algorithmes de détection d’anomalies et de diagnostic basés sur l’apprentissage automatique. \nLes principales contributions de cette thèse incluent le développement de CATS\, une solution de détection d’anomalies basé sur l’apprentissage contrastif\, capable d’identifier efficacement les dégradations de l’expérience utilisateur dans les applications CG tout en restant robuste face à la contamination des données. De plus\, cette thèse introduit RAID\, un système de diagnostic en deux étapes conçu pour identifier les causes racines des problèmes de performance dans le Cloud VR. RAID a démontré une grande efficacité dans le diagnostic des dégradations Wi-Fi\, même avec un nombre limité de données annotées. Les résultats de ce travail font progresser les domaines de la détection d’anomalies et du diagnostic des causes racines\, offrant des perspectives concrètes aux opérateurs de réseaux pour optimiser les performances de leurs réseaux et améliorer la fiabilité des services et mieux supporter les applications FL\, qui sont appelées à révolutionner les technologies de communication et à stimuler l’innovation dans de nombreuses industries. \nEncadrants\n\n\nIsabelle Chrisment\, Professeure des Universités\, Université de Lorraine\, France\n\n\nRaouf Boutaba\, Professor\, University of Waterloo\, Canada\n\n\nAbdelkader Lahmadi\, Maître de conférences\, Université de Lorraine\, France\n\n\nBertrand Mathieu Chercheur\, HDR\, Orange Innovation\, France\n\n\nJury\n\n\n\nSandrine Vaton\, Professeure des Universités\, IMT Atlantique\, France\n\n\nNadjib Aitsaadi\, Professeur des Universités\, UVSQ Paris-Saclay\, France\n\n\nHind Castel-Taleb\, Professeure des Universités\, Télécom SudParis\, France\n\nYacine Ghamri-Doudane\, Professeur des Universités\, Université de la Rochelle\, France\n\nInvitée\n\n\nClaudia-Lavinia Ignat\, Directrice de recherche\, INRIA Nancy\, France
URL:https://www.loria.fr/event/soutenance-de-these-joel-ky-resist/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T150000
DTEND;TZID=Europe/Paris:20250304T170000
DTSTAMP:20250225T084905Z
CREATED:20250225T084905Z
LAST-MODIFIED:20250225T084905Z
UID:27635-1741100400-1741107600@www.loria.fr
SUMMARY:Soutenance HDR de Damien Jamet
DESCRIPTION:La soutenance HDR de Damien Jamet\, intitulée « Combinatoire des mots\, géométrie discrète et théorie des nombres » aura lieu mardi 4 mars à 15h00 en salle C005. \nRésumé\n\nMes travaux de recherche se situent à l’intersection de l’informatique théorique et des mathématiques discrètes. Ils mêlent des thématiques comme la combinatoire des mots\, la géométrie discrète\, les systèmes dynamiques\, la théorie des nombres et plus récemment la théorie des probabilités. \nEn combinatoire des mots\, je me suis intéressé aux propriétés combinatoires de suites dérivées de la suite d’Oldenburger\, les mots lisses et les suites dirigées. Ces travaux prolongent la question posée par Keane (1991) sur les fréquences d’occurrences dans la suite d’Oldenburger. Nous nous sommes également intéressés à la caractérisation exhaustive des points fixes de l’opérateur de clôture pseudopalindromique itérée\, opérateur généralisant celui de clôture palindromique (itérée) introduit par Aldo de Luca en 1997. \nEn géométrie discrète\, mes travaux se sont principalement focalisé sur la détermination de l’épaisseur connectante des plans discrets et sur la génération des plans discrets d’épaisseur critique dont le vecteur normal ne possède que des composantes entières. \nLa troisième partie de mes travaux est consacrée à des problèmes d’énumération en combinatoire des mots\, en géométrie discrète ou à l’intersection des deux. \nEnfin\, une dernière partie de mes travaux a consisté à fournir une approche partiellement informatique pour caractériser les entiers impairs dont la somme des chiffres binaires coı̈ncide avec celle de leur carré. \n\nJury\n\nÉlise Janvresse (rapporteuse)\, Université de Picardie Jules Verne\nChristophe Reutenauer (rapporteur)\, Université du Québec à Montréal\nWolfgang Steiner (rapporteur)\, CNRS et Université Paris-Cité\n\n\nBernardetta Addis\, Université de Lorraine\nMarie-Pierre Béal\, Université Gustave Eiffel\nEmmanuel Jeandel\, Université de Lorraine\nThierry Lecroq\, Université de Rouen Normandie\nMichel Rigo\, Université de Liège\n\n\nSrecko Brlek (invité)\, Université du Québec à Montréal
URL:https://www.loria.fr/event/soutenance-hdr-de-damien-jamet/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250304T140000
DTEND;TZID=Europe/Paris:20250304T160000
DTSTAMP:20250225T085313Z
CREATED:20250225T085313Z
LAST-MODIFIED:20250225T085313Z
UID:27637-1741096800-1741104000@www.loria.fr
SUMMARY:Soutenance HDR d'Abdelkader Lahmadi
DESCRIPTION:La soutenance HDR d’Abdelkader Lahmadi\, intitulée « Contributions to the monitoring and security of networked systems » aura lieu mardi 4 mars à 14h00 en salle B013. \nRésumé\n\nLes systèmes en réseau constituent la pierre angulaire de nombreuses infrastructures essentielles\, allant du cloud aux réseaux de contrôle industriel\, ainsi qu’à l’Internet des objets (IoT). Ces systèmes se coordonnent entre eux pour accomplir des tâches et des services complexes à valeur ajoutée. Dans ce contexte\, l’objectif de mes travaux porte sur le développement de nouvelles approches de monitorage et de renforcement de la sécurité pour ces systèmes.\nUn premier axe de travail s’est focalisé sur de nouvelles techniques basées sur l’apprentissage par renforcement\, pour un monitorage adaptatif et à faible coût dans les réseaux IoT. Ces approches ont été étendues aux dispositifs mobiles afin de générer automatiquement des fonctions et des politiques de sécurité déployées dans le cloud ou sur les équipements\, garantissant ainsi une meilleure sécurité et une utilisation optimisée des ressources.\nUn deuxième axe porte sur l’analyse des attaques furtives dans les systèmes de contrôle distribués. Nous avons conçu et mis en œuvre une méthode permettant de détecter avec une grande précision ces attaques\, en exploitant des techniques d’apprentissage automatique.\nUn troisième axe a été consacré à la répartition et à la distribution automatiques d’une politique de sécurité dans les réseaux programmables\, tout en respectant les contraintes de leurs ressources limitées. En particulier\, nos algorithmes permettent une meilleure distribution de ces règles de sécurité sans surcoût\, tout en conservant la sémantique de la politique initiale.\nJury \n\n\nValérie Viet Triem Tong (rapporteuse)\, CentraleSupélec\nPhilippe Owezarski (rapporteur)\, CNRS\, LAAS\nMarcelo Dias De Amorim (rapporteur)\, CNRS\, LIP6\nGuillaume Doyen\, IMT Atlantique\nIsabelle Chrisment\, Université de Lorraine\, Inria\nMarine Minier\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-dabdelkader-lahmadi/
LOCATION:B013
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250212T150000
DTEND;TZID=Europe/Paris:20250212T170000
DTSTAMP:20250205T125430Z
CREATED:20250204T151443Z
LAST-MODIFIED:20250205T125430Z
UID:27268-1739372400-1739379600@www.loria.fr
SUMMARY:Soutenance HDR de Pierre-Jean Spaenlehauer
DESCRIPTION:La soutenance HDR de Pierre-Jean Spaenlehauer \, intitulée « Fast algebraic algorithms for arithmetic geometry and polynomial systems » aura lieu mercredi 12 février à 15h00 en salle A008.\n \nRésumé\n\nLe dénominateur commun de mes recherches est l’étude d’objets géométriques par le biais du calcul symbolique et algébrique\, en ayant pour boussole des applications pratiques en cryptographie. \nUn premier volet de mes travaux incorpore une part importante d’arithmétique et de théorie algorithmique des nombres\, via l’étude des courbes (hyper)elliptiques\, des variétés abéliennes et des modules de Drinfeld. Plus précisément\, on s’intéresse aux problèmes de comptage de points sur les courbes hyperelliptiques définies sur des corps finis\, à l’algorithmique des isogénies de modules de Drinfeld\, et au calcul d’espaces de Riemann-Roch sur des courbes algébriques nodales. \nLe deuxième volet de mes recherches se concentre sur les systèmes polynomiaux et leur algorithmique. Nous étudions le calcul de points critiques de fonctions polynomiales par des méthodes algébriques et numériques\, avec un focus sur le problème de l’approximation de faible rang structurée. Nous nous intéressons également à des méthodes combinatoires pour construire des familles de systèmes qui ont peu de monômes mais beaucoup de solutions réelles positives. Enfin\, nous présentons quelques résultats récents sur les systèmes polynomiaux avec des structures monomiales du point de vue de la géométrie torique. \n\nJury\n\nLaurent Busé (rapporteur)\, Centre Inria d’Université Côte d’Azur\nWouter Castryck (rapporteur)\, KU Leuven\nJean-Marc Couveignes (rapporteur)\, Université de Bordeaux\nAlin Bostan\, Centre Inria de Saclay\nKirsten Eisenträger\, Pennsylvania State University\nPierrick Gaudry\, CNRS\, LORIA\nEmmanuel Jeandel\, Université de Lorraine
URL:https://www.loria.fr/event/soutenance-hdr-de-pierre-jean-spaenlehauer/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250206T090000
DTEND;TZID=Europe/Paris:20250206T110000
DTSTAMP:20250120T145211Z
CREATED:20250120T144808Z
LAST-MODIFIED:20250120T145211Z
UID:27086-1738832400-1738839600@www.loria.fr
SUMMARY:Soutenance de thèse : Louis Abel (Multispeech)
DESCRIPTION:Louis Abel\, doctorant dans l’équipe Multispeech\, soutiendra sa thèse intitulée « Co-speech gesture synthesis: towards a controllable and interpretable model using a graph deterministic approach » le jeudi 6 février\, à 9h en salle C005. \nRésumé\nLa communication humaine ne passe pas que par les mots : les gestes jouent un rôle clé en apportant clarté\, émotions et idées. Pourtant\, les voix artificielles\, bien qu’évoluées\, manquent souvent de ce langage corporel\, rendant les interactions moins naturelles. Pour résoudre ce problème\, nous avons créé STARGATE\, un système qui génère des gestes synchronisés avec la parole. En combinant audio et texte\, il produit des gestes naturels et peut même adapter le style selon le locuteur désigné. \nSTARGATE surpasse les modèles précédents en terme de naturel et d’adéquation. Rapide et efficace\, il est prêt pour un usage en temps réel. Une analyse approfondie a montré que le système comprend le lien entre texte et gestes\, ouvrant la voie à des applications prometteuses\, comme des assistants virtuels plus engageants ou des outils pour enrichir la communication multimodale. \nJury :\nEncadrants \n\nSlim OUNI\, Directeur de thèse\, Université de Lorraine\nVincent COLOTTE\, Co-directeur de thèse\, Université de Lorraine\n\nRapporteurs\n\n\nJonas BESKOW\, Rapporteur\, KTH\, Suède\nMohamed DAOUDI\, Rapporteur\, IML Nord Europe\, France\n\n\nExaminatrices\n\nIsabelle Debled-Rennesson\, Université de Lorraine\nMagalie OCHS\, LIS-LAB\, France
URL:https://www.loria.fr/event/soutenance-de-these-louis-abel-multispeech/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20241220
DTEND;VALUE=DATE:20241221
DTSTAMP:20241217T154650Z
CREATED:20241217T154650Z
LAST-MODIFIED:20241217T154650Z
UID:27033-1734652800-1734739199@www.loria.fr
SUMMARY:Soutenance de thèse : Florian Delconte (Adagio)
DESCRIPTION:Florian Delconte\, doctorant dans l’équipe Adagio\, soutiendra sa thèse intitulée « Détection et classification automatique des singularités sur l’écorce des arbres » le vendredi 20 décembre en salle C005. \nJury : \n\nIsabelle Debled-Rennesson\, Université de Lorraine\, Directrice de thèse.\nBertrand Kerautret\, Université Lyon 2\, Co-directeur de thèse.\nGilles Simon\, Université de Lorraine\, examinateur.\nAline Deruyver\, Université de Strasbourg\, examinatrice.\nPascal Desbarats\, Université de Bordeaux\, rapporteur.\nJonathan Weber\, Université de Haute Alsace\, rapporteur.
URL:https://www.loria.fr/event/soutenance-de-these-florian-delconte-adagio/
LOCATION:C005
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241217T140000
DTEND;TZID=Europe/Paris:20241217T160000
DTSTAMP:20241205T084555Z
CREATED:20241204T091945Z
LAST-MODIFIED:20241205T084555Z
UID:26983-1734444000-1734451200@www.loria.fr
SUMMARY:Soutenance de thèse de Nima Mehdi (Larsen)
DESCRIPTION:Nima Mehdi (Larsen) soutiendra sa thèse intitulée « Approches probabilistes pour la perception et l’interprétation de l’activité humaine » le 17 décembre à 14h en salle A008. \nRésumé\n\nL’intégration des robots dans des environnements occupés par l’humain soulève la détection et la prise en compte de l’humain par le robot. En plus de simplement percevoir l’humain\, il est nécessaire que le robot puisse interpréter ces observations afin d’agir en conséquence. Cette capacité de percevoir et interpréter est particulièrement crucial dans le contexte de la robotique collaborative où le robot interagit directement avec l’humain.\nDans ce contexte\, la thèse se propose d’étudier des méthodes de modélisation et d’inférence bayésienne dans le but de développer des approches capables d’inférer une représentation de l’humain utile au robot\, en particulier sa pose 3D et son activité dans un contexte d’incertitude causée par le manque de connaissances que nous possédons sur l’humain et les limitations liées aux capteurs. Ainsi nous proposons dans un premier temps un filtre particulaire pour l’estimation de la pose 3D à partir de mesures inertielles et de la vidéo. Cette approche multimodale permet d’accomplir une fusion de données. Cependant le filtre particulaire est un processus coûteux en termes de calcul.\nNous proposons ainsi une architecture particulière de filtre particulaire permettant d’estimer la pose 3D à un coût calculatoire relativement faible. Cette architecture se compose de deux étapes\, la première estimant la posture de l’humain (configuration angulaire du corps)\, nous permettant ensuite de construire une distribution d’échantillonnage\nnous permettant d’estimer la pose 3D de l’humain dans le référentiel fixe\, permettant de localiser le corps complet dans l’espace. Dans une seconde proposition\, nous présentons une étude comparatives des modèles de Markov pour la prédiction d’activité future. Nous nous intéressons en particulier aux modèles semi-markoviens (HSMM) qui modélisent explicitement la temporalité de l’état.\nDans un scénario d’une séquence de tâches industrielles\, nous évaluons deux HSMMs particuliers afin de qualifier leur pertinence pour la prédiction de l’activité. Notre évaluation permet de montrer que les HSMMs peuvent constituer une approche sobre en terme d’apprentissage de l’activité humaine pour la prédiction.\nLes approches introduites ouvrent de nouvelles pistes pour l’utilisation de l’inférence bayésienne pour l’analyse de l’activité humaine\, en particulier\, l’utilisation des modèles d’état probabilistes pour l’inférence des systèmes dynamiques stochastiques.\n\n\nMots clés : Analyse de l’activité humaine\, Estimation de la pose humaine\, Prédiction d’activité humaine\, Modélisation bayésienne\, Robotique.\nJury\nEncadrants :\n\n\nFrancis Colas\, Inria\n\n\nSerena Ivaldi\, Inria\n\n\nVincent Thomas\, Université de Lorraine\n\n\nRapporteurs : \n\nSéverine DUBUISSON\, Université Aix-Marseille\nAnne SPALANZANI\, Université Grenoble-Alpes\n\nExaminateur : \n\nFrançois BRÉMOND\, Inria
URL:https://www.loria.fr/event/soutenance-de-these-de-nima-mehdi-larsen/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20241213T100000
DTEND;TZID=Europe/Paris:20241213T120000
DTSTAMP:20241210T131721Z
CREATED:20241210T131721Z
LAST-MODIFIED:20241210T131721Z
UID:27002-1734084000-1734091200@www.loria.fr
SUMMARY:Soutenance de thèse de Abir Bouaouda (Larsen)
DESCRIPTION:Abir Bouaouda (Larsen) soutiendra sa thèse intitulée « Apprentissage par renforcement pour le contrôle des robots parallèles à câbles » le 13 décembre à 10h en salle B013. \nRésumé\n\nDans cette thèse\, l’apprentissage par renforcement appliqué au contrôle des robots parallèles à câbles a été étudié. Cette catégorie de robots se distingue par sa dynamique complexe et la non-linéarité de son système\, offrant ainsi un cadre idéal pour l’implémentation d’algorithmes d’apprentissage par renforcement. Toutefois\, ces algorithmes nécessitent de vastes quantités de données pour apprendre la politique optimale\, ce qui n’est pas toujours réalisable dans des scénarios réels. Pour contourner cette limitation\, nous avons proposé une approche sim-to-real.\n\n\nMots clés : Appretissage par renforcement\,Robots prallèles à câbles\,de la simulation à la réalité\,Contrôle\,Appretissage profond\,Approche de bout en bout.\nJury\nEncadrants\n\nMohamed BOUTAYEB\, UNIVERSITE DE LORRAINE\nDominique MARTINEZ\, AIX MARSEILLE UNIVERSITE\n\nRapport.eur.rice.s \n\nGANGLOFF Jacques UNIVERSITE DE STRASBOURG\nMOUADDIB Abdel-Illah  UNIVERSITE DE CAEN NORMANDIE\n\nExaminat.eur.rice.s \n\nLABBANI-IGBIDA Ouiddad  UNIVERSITE DE LIMOGES\nMATIGNON Laetitia  UNIVERSITE LYON 1\nCHARPILLET François UNIVERSITE DE LORRAINE
URL:https://www.loria.fr/event/soutenance-de-these-de-abir-bouaouda-larsen/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR