BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.4.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART: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:20260427T000000
DTEND;TZID=Europe/Paris:20260427T000000
DTSTAMP:20260330T114727Z
CREATED:20260127T151554Z
LAST-MODIFIED:20260330T114727Z
UID:28900-1777248000-1777248000@www.loria.fr
SUMMARY:Soutenance de thèse de Mickaëlla GRONDIN-VERDON
DESCRIPTION:
URL:https://www.loria.fr/event/soutenance-de-these-de-mickaella_grondin-verdon/
LOCATION:C005\, Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260420T140000
DTEND;TZID=Europe/Paris:20260420T170000
DTSTAMP:20260415T072351Z
CREATED:20260415T072351Z
LAST-MODIFIED:20260415T072351Z
UID:29238-1776693600-1776704400@www.loria.fr
SUMMARY:Soutenance de thèse : Hee-Soo Choi (Sémagramme)
DESCRIPTION:Hee-Soo Choi\, doctorante à l’ATILF et dans l’équipe Sémagramme\, soutiendra sa thèse le lundi 20 avril 2026 à 14 heures en salle A008. \nSa présentation est intitulée « Ressources Lexicales et TAL : de l’enrichissement de réseaux lexico-sémantiques du français à la génération de plongements de graphe pour la désambiguïsation lexicale ». \n\nRésumé :\n\nHistoriquement\, les ressources lexicales symboliques\, telles que les dictionnaires et les réseaux lexico-sémantiques\, constituaient les fondations des systèmes de Traitement Automatique des Langues (TAL).\nCependant\, l’essor de l’apprentissage profond et des grands modèles de langue a provoqué un changement de paradigme majeur vers des représentations implicites et numériques\, apprises à partir de grandes quantités de données.\nDans cette thèse\, nous nous proposons d’étudier les interactions entre les ressources lexicales et le TAL.\nNos travaux s’articulent autour deux axes majeurs : explorer comment les techniques de TAL peuvent contribuer à automatiser et enrichir les ressources lexicales\, et inversement\, examiner comment l’intégration de ces ressources peut améliorer les systèmes automatiques.\nDans le premier axe « TAL pour les ressources lexicales »\, nous nous intéressons à l’enrichissement de réseaux lexico-sémantiques du français par un système de prédiction de liens.\nDans le second axe « Ressources lexicales pour le TAL »\, nous étudions l’intégration de plongements de graphe dans un système de désambiguïsation lexicale d’exemples lexicographique du français\, avec une attention particulière à la question de l’évaluation.\n\n\nComposition du jury :\n\nRapporteur·ices :\n\nPhilippe Langlais – RALI\, Université de Montréal\nPascale Sébillot – IRISA\, INSA Rennes\n\nExaminateur·ices :\n\nLucie Barque –  LLF\, CNRS\, Université Sorbonne Paris Nord\nClaire Gardent – LORIA\, CNRS\, Nancy\nMathieu Lafourcade – LIRMM\, Université Montpellier-II\, Montpellier\n\nEncadrant·es:\n\nMathieu Constant – ATILF\, CNRS\, Université de Lorraine\, Nancy\nKarën Fort – LORIA\, CNRS\, Université de Lorraine\, Nancy\nBruno Guillaume – LORIA\, Inria\, Nancy\, France
URL:https://www.loria.fr/event/soutenance-de-these-hee-soo-choi-semagramme/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260417T090000
DTEND;TZID=Europe/Paris:20260417T120000
DTSTAMP:20260217T100008Z
CREATED:20260127T151823Z
LAST-MODIFIED:20260217T100008Z
UID:28904-1776416400-1776427200@www.loria.fr
SUMMARY:Soutenance de thèse de Anna Nikiforovskaja
DESCRIPTION:Vendredi 17 avril à 9h00 aura lieu la soutenance de thèse de Anna Nikiforovskaja\, au Loria\, en salle A008. \nSujet de thèse :\n“ Multilingual KG-to-text Generation: From Data Creation To Human Evaluation “\nJury :\nRapporteurs : Pierre Zweigenbaum\, DR CNRS LISN\, Paris Saclay\,\nSina Zarriess\, PR\, University of Bielefeld\, Allemagne\nExaminateurs : Saad Malahmood\, AI Lead and NLG Expert at Shopware\nDimitra Gkatzia\, Associate Professor\, Edinburgh Napier University\nDirectrice de thèse : Claire Gardent\, Directrice de recherche\, CNRS\, LORIA\, France
URL:https://www.loria.fr/event/soutenance-de-these-de-anna_nikiforovskaja/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260303T093000
DTEND;TZID=Europe/Paris:20260303T093000
DTSTAMP:20260226T093052Z
CREATED:20260127T151226Z
LAST-MODIFIED:20260226T093052Z
UID:28898-1772530200-1772530200@www.loria.fr
SUMMARY:Soutenance de thèse de Florian MOSER
DESCRIPTION:« Formal Methods for Internet Voting ».\nLa soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais.\nElle sera suivie d’un pot en salle club aux alentours de midi. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816 \n\nLe jury sera composé de :\n– Ioana Boureanu\, University of Surrey (rapporteuse)\n– Olivier Pereira\, University of Louvain (rapporteur)\n– Thomas Haines\, University of Maryland (examinateur)\n– Emmanuel Thomé\, CNRS (examinateur)\n– Elizabeth Quaglia\, University of London (examinatrice)\n– Veronique Cortier\, CNRS (directrice de thèse)\n– Alexandre Debant\, INRIA (directeur de thèse)\n– Melanie Volkamer\, Karlsruhe Institute of Technology (invitée) \nRésumé :\nLe vote par internet fait référence aux élections effectuées via\ninternet\, où les électeurs utilisent leurs propres appareils personnels\npour exprimer leur vote. Un tel système\, bien que fondamentalement\ndifférent des élections sur papier\, doit fournir les mêmes garanties de\nsécurité que les systèmes électoraux traditionnels. Cela inclut la\nvérifiabilité de l’intégrité du résultat de l’élection\, tout en\npréservant le secret de vote. Dans la première partie de la thèse\, nous\nexplorons les mécanismes de sécurité employés par l’industrie. Dans la\ndeuxième partie de la thèse\, nous proposons un nouveau mécanisme\npermettant aux électeurs de voter en toute confidentialité\, même si leur\npropre appareil est compromis. Dans la troisième partie de la thèse\,\nnous présentons un framework permettant d’obtenir des preuves formelles\nde sécurité pour des protocoles de vote sur internet. Nous avons\nappliqué avec succès le framework de preuve à plusieurs protocoles de la\nlittérature et de l’industrie\, y compris Belenios\, Swiss Post\, et notre\npropre proposition de vote par codes courts de la deuxième partie de la\nthèse.
URL:https://www.loria.fr/event/soutenance-de-these-de-florian_moser/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T150000
DTEND;TZID=Europe/Paris:20260206T180000
DTSTAMP:20260127T160721Z
CREATED:20260127T151131Z
LAST-MODIFIED:20260127T160721Z
UID:28896-1770390000-1770400800@www.loria.fr
SUMMARY:Soutenance de thèse de Gabriel SAUGER
DESCRIPTION:« Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis« .\n\nLa soutenance aura lieu le vendredi 6 février à 15h00 en salle A008. La présentation sera en anglais.\nElle sera suivie d’un pot\, également en A008.\n\nRésumé :\n\nL’analyse de code binaire basée sur l’apprentissage automatique est devenue un pilier essentiel de la cybersécurité moderne\, en automatisant de manière efficace la détection de similarité de codes compilés. \nPouvoir décider si deux morceaux de code sont similaires possède de nombreuses applications\, telles que la découverte de vulnérabilités ou la classification de logiciels malveillants (malware). \nCependant\, ces modèles reposent souvent sur des motifs syntaxiques et structurels fragiles plutôt que sur la véritable sémantique des programmes\, les rendant vulnérables aux manipulations adverses. \nCette thèse évalue la robustesse des modèles de détection de similarité de code binaire (Binary Code Similarity Detection\, BCSD) face à des exemples adverses. \nNous présentons Kelpie\, un framework générant des exécutables perturbés trompant les classificateurs de code binaire. \nKelpie est capable d’appliquer des perturbations sémantiquement valides en boîte noire\, sans requêtes vers le classificateur cible à un binaire source\, de manière à ce qu’il ressemble syntaxiquement à un autre binaire cible. \nEn combinant une étape d’imitation du graphe de flot de contrôle et une étape d’alignement de la distribution d’instructions basic-block à basic-block\, Kelpie parvient à tromper les classificateurs les plus avancés. \nAu travers d’expériences couvrant plusieurs familles de modèles et jeux de données\, nous démontrons que Kelpie dégrade systématiquement les performances de classification\, révélant des biais fondamentaux dans les représentations apprises par les modèles. Nous menons également des analyses d’interprétabilité et des études de cas concrètes\, montrant comment de telles transformations adverses peuvent dissimuler des vulnérabilités ou des charges malveillantes au sein de binaires en apparence bénins. \nEnfin\, ce travail propose des pistes concrètes pour renforcer la robustesse des modèles d’apprentissage automatique dédiés à l’analyse binaire\, notamment par l’entraînement adverse et l’intégration de représentations symboliques du code. \nAu-delà de la mise en évidence des faiblesses actuelles\, le framework proposé contribue à la conception de systèmes d’apprentissage plus fiables pour la cybersécurité logicielle. \n\nComposition du jury :\n\n\nRapporteurs : Shyhtsun Felix Wu (National Cheng Kung University)\, Valérie Viet Triem Tong (Centrale Supélec)\nExaminateurs : Marine Minier (Université de Lorraine)\,  Sazzadur Rahaman (University of Arizona)\nInvité : Olivier Festor (Université de Lorraine)\nEncadrant : Jean-Yves Marion (Université de Lorraine)\n\n\n\n————\n\n« Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis« .\nThe defense will take place on February 6th at 3:00 p.m. in room A008. The presentation will be in english. \nIt will be followed by a reception\, also in A008. \n\nAbstract :\n\nMachine-learning-based binary code analysis has become a cornerstone of modern software security\, enabling efficient automatic similarity detection directly from compiled executables. \nThis enables solutions to downstream tasks such as vulnerability discovery and malware classification. \nYet\, these models often rely on fragile syntactic and structural patterns rather than true program semantics\, making them vulnerable to adversarial manipulation. \nThis thesis investigates the robustness of Binary Code Similarity Detection (BCSD) models under adversarial conditions. \nWe introduce Kelpie\, a novel two-stage adversarial framework that generates semantically valid binary perturbations in a black-box setting and without querying the target model. \n\nKelpie combines control-flow graph mimicry and instruction-distribution alignment to produce binaries that retain their functionality while syntactically mimicking another target binary\, deceiving state-of-the-art classifiers. \nThrough extensive experiments across multiple model families and datasets\, we demonstrate that Kelpie consistently degrades similarity and classification performance\, revealing inherent biases in learned representations. \nWe further conduct interpretability analyses and real-world case studies\, showing how adversarial transformations can conceal vulnerabilities or malicious payloads inside benign binaries. \nFinally\, this work outlines concrete directions for improving the robustness of machine-learning models for binary code analysis\, including adversarial training and symbolic feature integration. \nBeyond exposing weaknesses\, the proposed framework contributes to building more reliable learning-based systems for software security. \n\n\n\nJury composition :\n\n\nReviewers : Shyhtsun Felix Wu (National Cheng Kung University)\, Valérie Viet Triem Tong (Centrale Supélec)\nExaminers : Marine Minier (Université de Lorraine)\, Sazzadur Rahaman (University of Arizona)\n\nInvited : Olivier Festor (Université de Lorraine)\n\nSupervisor : Jean-Yves Marion (Université de Lorraine)
URL:https://www.loria.fr/event/soutenance-de-these-de-gabriel_sauger/
LOCATION:A008
CATEGORIES:Soutenance
END:VEVENT
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
END:VCALENDAR