BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//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:20251201T130000
DTEND;TZID=Europe/Paris:20251201T160000
DTSTAMP:20260608T145107
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:20251203T140000
DTEND;TZID=Europe/Paris:20251203T160000
DTSTAMP:20260608T145107
CREATED:20251114T133926Z
LAST-MODIFIED:20251114T135237Z
UID:28627-1764770400-1764777600@www.loria.fr
SUMMARY:DeepLorIA Tutorial: Mohammedreza Ghafari
DESCRIPTION:Next DeepLorIA tutorial will take place on Wednesday\, December 3rd with Mohammedreza Ghafari (PhD candidate)\, with a presentation entitled « Learn to See the World in 3D – From Point Clouds to Learned Representations ».\n\n\nIn a world increasingly shaped by 3D data\, from autonomous vehicles and architectural design to AR/VR experiences\, point cloud has become a powerful solution for men and machines to visualize and understand spatial information. This talk takes you on a journey from raw points to perception: exploring how individual 3D points in point cloud come together in space to form meaningful structures. We’ll start with the fundamentals of point cloud and 3D representation\, then dive into how neural networks learn to recognize\, reconstruct\, and even compress the data. The session combines theory with hands-on experience\, participants will learn how to visualize point clouds\, build a simple deep learning model\, and observe how machines learn to solve some computer vision tasks.\n\n\n\nDate: December 3\, 2025\nTime: Theory: 14:00 – 14:50 / Coffee 14:50 – 15:10 / Lab 15:10 – 16:00\nLocation: Nancy-Salle A008 Jean Legras\nInstructor: Mohammedreza Ghafari\, Ph.D. Candidate\n\n\n\n? Register here
URL:https://www.loria.fr/event/deeploria-tutorial-mohammedreza-ghafari/
LOCATION:A008
CATEGORIES:Workshop
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251204T090000
DTEND;TZID=Europe/Paris:20251204T180000
DTSTAMP:20260608T145107
CREATED:20251114T134817Z
LAST-MODIFIED:20251114T135143Z
UID:28629-1764838800-1764871200@www.loria.fr
SUMMARY:Lancement du projet Impact INSIGHT
DESCRIPTION:Dans le cadre de l’Initiative d’Excellence Lorraine\, le projet Impact INSIGHT a le plaisir d’annoncer sa journée de lancement\, qui se tiendra le 4 décembre 2025 à la Maison des Sciences sociales et des Humanités Lorraine\, rue Baron Louis\, à Nancy. \nLe projet INSIGHT a pour ambition de faire émerger une dynamique interdisciplinaire forte entre les sciences humaines et sociales (SHS)\, les arts\, lettres et langues (ALL)\, et les sciences juridiques\, politiques\, économiques et de gestion (SJPEG)\, en lien étroit avec les domaines de l’intelligence artificielle (IA) et du traitement automatique des langues (TAL/NLP). \nIl soutient et fédère des recherches mobilisant des données en langue naturelle (textes littéraires\, juridiques\, conversationnels\, oraux\, etc.) afin de croiser les approches critiques\, méthodologiques et technologiques issues des SHS élargies avec les outils et perspectives de l’IA et du Traitement Automatique des Langues (TAL). \nParmi les intervenant·es invité·es :\n\nJean-Baptiste Camps (École nationale des chartes – PSL\, ERC LostMa) sur Les humanités computationnelles aujourd’hui\nKarën Fort (Loria – Université de Lorraine) sur Enjeux éthiques de l’intelligence artificielle et du traitement automatique des langues\nClément Mabi (INSSA Rennes) sur Repenser la place des techniques pour des transitions sociales soutenables\n\nUn espace ouvert d’échanges clôturera la journée\, consacré à la présentation de travaux en cours\, de démonstrations et de perspectives\, tant académiques qu’industrielles. Les participant·es inscrit·es sont encouragé·es à y présenter leurs contributions. \nLa journée est ouverte à l’ensemble des membres de l’Université de Lorraine intéressés par les thématiques de l’IA\, du TAL et des humanités. \nInscriptions ici avant le 25 novembre. \n\n  \n  \n\n.
URL:https://www.loria.fr/event/lancement-du-projet-impact-insight/
LOCATION:Maison des Sciences sociales et des Humanités Lorraine\, rue Baron Louis\, à Nancy
CATEGORIES:Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251208T083000
DTEND;TZID=Europe/Paris:20251208T173000
DTSTAMP:20260608T145107
CREATED:20251208T104531Z
LAST-MODIFIED:20251208T142904Z
UID:28756-1765182600-1765215000@www.loria.fr
SUMMARY:MosAIk Ph.D Day
DESCRIPTION:La première journée des doctorants et doctorantes de l’équipe MosAIk s’est tenue lundi 8 décembre et a réuni une cinquantaine de participants (doctorants\, post-doctorants\, alternants\, ingénieurs\, permanents). \n\n\n\n\nElle a permis à tous les doctorants de l’équipe de présenter leurs travaux en cours et de partager leurs expériences. \nChaque doctorant de 3e année et plus a disposé de 20 minutes pour présenter sa thèse : rappeler son problème de recherche\, son approche spécifique\, ses résultats et constatations\, positionner ses résultats par rapport aux travaux connexes et dire ce que qu’il ou elle attend pour sa thèse de doctorat. \nChaque étudiant de 2ème année a présenté ses travaux au travers d’un poster. \nChaque doctorant de 1re année a fait une courte présentation pour évoquer sur son principal problème de recherche\, savoir qui d’autre travaille sur un problème similaire et quels sont les résultats attendus. \n\n\n\n\nProgramme of the PhD day\nProgramme de la journée des doctorants – VF
URL:https://www.loria.fr/event/mosaik-ph-d-day/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251209T100000
DTEND;TZID=Europe/Paris:20251209T123000
DTSTAMP:20260608T145107
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:20251209T130000
DTEND;TZID=Europe/Paris:20251209T160000
DTSTAMP:20260608T145107
CREATED:20251124T142504Z
LAST-MODIFIED:20251124T143214Z
UID:28671-1765285200-1765296000@www.loria.fr
SUMMARY:Séminaire SSL
DESCRIPTION:The next Loria Security Séminar will take place on December 9th in room A008 at 1:00pm.\n\n\n\n\nLesly-Ann Daniel\, assistant professor at EURECOM\, will give a talk about\nHardware-Software Co-Designs for Microarchitectural Security. \n\n\n\nAbstract: \nMicroarchitectural optimizations\, such as caches and speculative out-of-order execution\, are essential for achieving high system performance. However\, these same mechanisms also open the door to attacks that can undermine software-enforced security policies. The current gold standard for defending against such attacks is the constant-time programming discipline\, which prohibits secret-dependent control flow and memory accesses. While constant-time programming is widely used to secure cryptographic implementations against microarchitectural attacks\, it has critical limitations. From a security perspective\, it depends on assumptions about the underlying hardware and fails to provide protection against certain classes of attacks\, such as Spectre. From a performance perspective\, it incurs additional overheads\, for example due to control-flow linearization. In this presentation\, I will introduce recent hardware-software co-design approaches that mitigate the shortcomings of constant-time programming\, moving toward more efficient and robust defenses. I will also discuss some remaining challenges to achieve provable\, end-to-end security guarantees.
URL:https://www.loria.fr/event/seminaire-ssl-2/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251211T093000
DTEND;TZID=Europe/Paris:20251211T123000
DTSTAMP:20260608T145107
CREATED:20251118T104257Z
LAST-MODIFIED:20251118T124900Z
UID:28645-1765445400-1765456200@www.loria.fr
SUMMARY:Soutenance de thèse d'Élise Klein
DESCRIPTION:Élise Klein (Pesto)\, défendra sa thèse intitulée \nFormal Verification in Practice:\nReal-World Case Study and Enhanced Support for AC Operators in Tamarin .\nLa soutenance aura lieu en public le jeudi 11 décembre à 9h30\, au LORIA\, en salle A008. Elle sera suivie d’un pot. \nJury :\n\n Yannick Chevalier (rapporteur — MCF HDR à l’Université de Toulouse)\n Barbara Fila (rapportrice — MCF HDR à l’INSA de Rennes)\n David Baelde (examinateur — Prof ENS Rennes)\n Claudia Ignat (examinatrice — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Ioana Boureanu (examinatrice — Prof University of Surrey\, UK)\n Steve Kremer (Directeur de thèse — DR INRIA au Centre Inria de l’Université de Lorraine et LORIA)\n Jannik Dreier (Directeur de thèse — MCF Université de Lorraine)\n\n  \nAbstract: \n« During my PhD\, I studied the Tamarin-prover\, a cryptographic protocol verification tool\, initially focusing on modeling and later on improving its internal mechanisms. I first used the Sapic+ platform\, integrated into Tamarin\, to model the draft 12 of the LAKE-EDHOC protocol\, designed for deployment on IoT devices. Sapic+ enables the translation of a single model into three different tools (Tamarin\, ProVerif\, and DeepSec)\, allowing us to leverage the strengths of each. This approach led to the discovery of several vulnerabilities\, and our proposed fixes were integrated into subsequent versions of the protocol. Later\, I extended Tamarin to support user-defined associative and commutative symbols. To achieve this\, I designed an algorithm along with new reduction rules to handle infinite chains of constructors/destructors\, which often arise from such symbols. This extension enabled the modeling of new cryptographic primitives\, such as re-encryption. » \nRésumé : \n » Durant ma thèse\, j’ai étudié le prouveur Tamarin\, un outil de vérification de protocoles cryptographiques\, en me concentrant d’abord sur la modélisation puis sur l’amélioration de ses mécanismes internes. J’ai d’abord utilisé la plateforme Sapic+\, intégrée à Tamarin\, pour modéliser la version 12 du protocole LAKE-EDHOC\, conçu pour être déployé sur des objets connectés. Sapic+ permet de traduire un même modèle vers trois outils différents (Tamarin\, ProVerif et DeepSec)\, ce qui nous permet de tirer parti des forces de chacun. Cette approche a conduit à la découverte de plusieurs vulnérabilités\, et les correctifs que nous avons proposés ont été intégrés dans les versions ultérieures du protocole. Par la suite\, j’ai intégré à Tamarin la prise en charge des symboles associatifs et commutatifs définis par l’utilisateur. Pour ce faire\, j’ai conçu un algorithme ainsi que de nouvelles règles de réduction pour gérer les chaînes infinies de constructeurs/destructeurs\, qui apparaissent souvent avec de tels symboles. Cette extension a permis la modélisation de nouvelles primitives cryptographiques\, telles que le rechiffrement. « 
URL:https://www.loria.fr/event/soutenance-de-these-delise-klein/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251215T150000
DTEND;TZID=Europe/Paris:20251215T180000
DTSTAMP:20260608T145107
CREATED:20251215T093926Z
LAST-MODIFIED:20260115T142425Z
UID:28789-1765810800-1765821600@www.loria.fr
SUMMARY:Soutenance de thèse de Robin San Roman
DESCRIPTION:Robin San Roman défendra sa thèse intitulée \nSafe Audio Generation Models from Discrete Latent Representations\nLa soutenance se déroulera le lundi 15 décembre 2025 à 15h en A008. La présentation sera en français.\nElle sera suivie d’un pot devant la salle. \nUne visioconférence sera également disponible via le lien suivant :\nhttps://inria.webex.com/meet/romain.serizel \n\nDirecteurs de thèse :\n\nRomain Serizel\nAntoine Deleforge
URL:https://www.loria.fr/event/soutenance-de-these-de-robin-san-roman/
LOCATION:Loria
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251216T090000
DTEND;TZID=Europe/Paris:20251216T123000
DTSTAMP:20260608T145107
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:20251216T090000
DTEND;TZID=Europe/Paris:20251216T173000
DTSTAMP:20260608T145107
CREATED:20251127T095228Z
LAST-MODIFIED:20251127T095254Z
UID:28690-1765875600-1765906200@www.loria.fr
SUMMARY:Visite des étudiants de l'École des Mines - Nancy
DESCRIPTION:Le Loria a le plaisir d’accueillir des étudiants de l’École des Mines pour deux demi-journées d’échanges et de découvertes\n\n\nAu programme : \n\n\n\n\nPrésentation du Loria\nVisite des plateformes LHS et Creativ’Lab\nExposé de Mathilde Bouvel\nTitre  » Permutations évitant des motifs : pourquoi ? comment ? combien ? « \nExposé de Claire Gardent\nTitre  » Traitement Automatique des Langues au LORIA: LLMs\, Apprentissage et Applications « \n\nExposé de Vincent Chevrier\nTitre  » Exemple de collaboration pluridisciplinaire: le projet Hy2Car « \nExposé de Virginie Lallemand\nTitre  » Cryptanalyse de chiffrements symétriques « \nTemps d’échanges avec des doctorant-es
URL:https://www.loria.fr/event/visite-des-etudiants-de-lecole-des-mines-nancy/
LOCATION:A008
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251218T140000
DTEND;TZID=Europe/Paris:20251218T160000
DTSTAMP:20260608T145107
CREATED:20251203T155929Z
LAST-MODIFIED:20251203T155929Z
UID:28724-1766066400-1766073600@www.loria.fr
SUMMARY:DefMal Webinar
DESCRIPTION:Roy Ricaldi will present the DefMal webinar entitled : \n\nHunting CTI on Telegram: Towards Effective Cybercriminal Community Discovery\nTelegram has become a central coordination and vast distribution hub for cybercriminal activity\, offering anonymity\, scalability\, and low entry barriers that make it both attractive to offenders and difficult for analysts to monitor. As a result\, Cyber Threat Intelligence (CTI) teams require updated methods to track these illicit communities\, but little is known about how different discovery strategies perform or what their outcomes reveal about the broader ecosystem. We present TeleHUNT\, a modular\, language-model–driven tool for cybercriminal community discovery on Telegram. We employ TeleHUNT to classify discovered communities into six market segments (cyberattacks\, digital piracy\, infrastructure\, fraud tools\, personal data\, and tutorials) and evaluate the efficiency\, accessibility\, and saturation produced by different tool configurations\, and reframe discovery performance into insights about the ecosystem. Using both open web and dark web seeds to snowball on\, we collected 6\,022 communities\, 172\,385\,463 messages\, and 2\,392\,741 unique users. After testing 28 configurations\, we found that link-based strategies maximized coverage but suffered high noise\, while forward-based methods achieved near-perfect precision with limited reach. Saturation modeling shows highly interconnected growth in market segments dedicated to fraud tools and cyberattacks\, with other segments plateauing quickly. Further\, while open web seeds yield more communities\, combining both open and dark web seeding is best for maximum coverage. With these insights\, TeleHUNT enables effective CTI collection and structural analysis of Telegram’s cybercrime economy. \nSpeaker Bio: \nRoy Ricaldi is a PhD candidate in Cybercrime at Eindhoven University of Technology\, where his research advances cybersecurity through threat analysis and the study of evolving cybercriminal ecosystems. His work examines the organization\, capabilities\, and behaviors of offenders across illicit online economies\, identifying how threats emerge and propagate. His recent publications include studies on trust signals to support trade in Telegram’s cybercrime economy\, migratory decisions within underground networks\, and attacker actions on honeypot platforms. By combining artificial intelligence\, quantitative monitoring tools\, and qualitative methods\, he develops frameworks to enhance threat intelligence and strengthen defenses against emerging cyber risks. \n\nMore informations : https://pepr-defmal.loria.fr/fr/webinaires/ \nWould you like to receive the invitation link for the webinars? Contact us: maira.nassau  (at)  loria.fr
URL:https://www.loria.fr/event/defmal-webinar/
LOCATION:On line
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260108T093000
DTEND;TZID=Europe/Paris:20260108T113000
DTSTAMP:20260608T145107
CREATED:20251218T145216Z
LAST-MODIFIED:20251218T145216Z
UID:28801-1767864600-1767871800@www.loria.fr
SUMMARY:Séminaire Département 3
DESCRIPTION:Le Département 3 a le plaisir de proposer un talk de Sounak Kar\, TU Delft\, intitulé \nOn Efficiency and Fairness of Resource Distribution in Quantum\nRepeater Networks.\n\nEn visio sur https://u2l.fr/sounak
URL:https://www.loria.fr/event/seminaire-departement-3/
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260112T093000
DTEND;TZID=Europe/Paris:20260112T120000
DTSTAMP:20260608T145107
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:20260115T140000
DTEND;TZID=Europe/Paris:20260115T160000
DTSTAMP:20260608T145107
CREATED:20251124T150839Z
LAST-MODIFIED:20251124T150923Z
UID:28674-1768485600-1768492800@www.loria.fr
SUMMARY:Théâtre Scientifique au Lycée
DESCRIPTION:Le Procès du Robot\n\nest un format original mêlant sciences\, société… et théâtre d’impro !\nUn moment d’échanges et de réflexions autour des grands enjeux de l’IA et ses applications quotidiennes… \n\nhttps://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/
URL:https://www.loria.fr/event/theatre-scientifique-au-lycee/
LOCATION:Lycée Condorcet Schoeneck
CATEGORIES:Spectacle
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260122T140000
DTEND;TZID=Europe/Paris:20260122T173000
DTSTAMP:20260608T145107
CREATED:20260113T121205Z
LAST-MODIFIED:20260113T121205Z
UID:28728-1769090400-1769103000@www.loria.fr
SUMMARY:Visite des étudiant·es des classes prépa scientifiques du Lycée Henri Poincaré
DESCRIPTION:Le Loria a le plaisir d’accueillir des étudiant·es des classes prépa scientifiques du Lycée Henri Poincaré pour une demi-journées d’échanges et de conférences.
URL:https://www.loria.fr/event/visite-des-etudiant%c2%b7es-des-classes-prepa-scientifiques-du-lycee-henri-poincare/
LOCATION:A008
CATEGORIES:Conférence,Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T110000
DTEND;TZID=Europe/Paris:20260126T130000
DTSTAMP:20260608T145107
CREATED:20251202T094348Z
LAST-MODIFIED:20260121T164100Z
UID:28721-1769425200-1769432400@www.loria.fr
SUMMARY:Colloquium du Loria : Laura Kovács
DESCRIPTION:The Loria is proud to announce a colloquium presentation by Laura Kovács on \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács is a professor at the Faculty of Informatics of Vienna University of Technology (Vienna\, Austria) and a leading researcher in the field of automated reasoning and symbolic computation. \nAbstract:\nProof by induction is commonplace in mathematics. logic\, formal verification\, cybersecurity\, and many more areas. This talk overviews recent progress in automating inductive reasoning in saturation-based first-order theorem proving We formalize applications of induction as new inference rules of the saturation process\, add instances of appropriate induction schemata to the search space\, and use these rules and instances immediately upon their addition for the purpose of guiding induction. We also synthesize code that satisfies a given (inductive) logical specification\, while proving the specification in a saturation-based framework. \n  \nPeople from outside the Loria must register by sending an email to Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  before January 25th.\nLes visiteurs devront se munir de leur pièce d’identité. \n——————————————————————————– \n\n\nLes membres du Loria sont fiers d’accueillir Laura Kovács\, qui présentera un exposé intitulé :  \nInduction and synthesis in saturation-based theorem proving.\nLaura Kovács\, professeure à la Faculté d’Informatique de l’Université de Technologie de Vienne (Autriche)\, est une chercheuse de premier plan dans le domaine du raisonnement automatisé et du calcul symbolique.  \nRésumé :  \nLa démonstration par induction est courante en mathématiques\, en logique\, en vérification formelle\, en cybersécurité et dans de nombreux autres domaines. Cette conférence présente les progrès récents en matière d’automatisation du raisonnement inductif dans la démonstration de théorèmes du premier ordre par saturation. Nous formalisons les applications de l’induction sous forme de nouvelles règles d’inférence du processus de saturation\, ajoutons des instances de schémas d’induction appropriés à l’espace de recherche et utilisons ces règles et instances dès leur ajout afin de guider l’induction. Nous synthétisons également du code qui satisfait une spécification logique (inductive) donnée\, tout en démontrant cette spécification dans un cadre basé sur la saturation. \n\n\nLes personnes extérieures au Loria doivent s’inscrire en envoyant un mail à Annabelle Chapron  –  annabelle.chapron (at) loria.fr  –  avant le 25 janvier.\nLes visiteurs devront se munir de leur pièce d’identité.
URL:https://www.loria.fr/event/colloquium-du-loria-laura-kovacs/
LOCATION:Amphithéâtre du Loria
CATEGORIES:Colloquium Loria
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260126T140000
DTEND;TZID=Europe/Paris:20260126T170000
DTSTAMP:20260608T145107
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:20260202T140000
DTEND;TZID=Europe/Paris:20260202T160000
DTSTAMP:20260608T145107
CREATED:20251124T151455Z
LAST-MODIFIED:20251124T151455Z
UID:28678-1770040800-1770048000@www.loria.fr
SUMMARY:Le Procès du Robot
DESCRIPTION:Le Procès du Robot\n\nest un format original mêlant sciences\, société… et théâtre d’impro ! Le tout à destination de classes de secondes en lycée.\nUn moment d’échanges et de réflexions autour des grands enjeux de l’IA et ses applications quotidiennes… \n\nhttps://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/
URL:https://www.loria.fr/event/le-proces-du-robot/
LOCATION:lycée Chopin Nancy
CATEGORIES:Spectacle
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260203T093000
DTEND;TZID=Europe/Paris:20260203T130000
DTSTAMP:20260608T145107
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:20260203T123000
DTEND;TZID=Europe/Paris:20260203T133000
DTSTAMP:20260608T145107
CREATED:20260115T135117Z
LAST-MODIFIED:20260115T135154Z
UID:28831-1770121800-1770125400@www.loria.fr
SUMMARY:L’art des codes secrets : découverte de la cryptographie
DESCRIPTION:Découvrez le monde fascinant des messages cachés\, les stratégies et astuces utilisées dans l’histoire ! \nUne introduction à la cryptographie et ses facettes avec Cécile Pierrot\, chercheuse Inria\, experte en informatique et cryptographie historique au Loria (CNRS\, Université de Lorraine). \n\nInscription via ce lien :  https://www.eventbrite.fr/e/1976452139554?aff=oddtdtcreator\n 
URL:https://www.loria.fr/event/l-art-des-codes-secrets/
LOCATION:e-BU du Pôle Herbert Simon – 13 Rue Michel Ney\, 54000 Nancy
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260203T160000
DTEND;TZID=Europe/Paris:20260203T183000
DTSTAMP:20260608T145107
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:20260206T133000
DTEND;TZID=Europe/Paris:20260206T173000
DTSTAMP:20260608T145107
CREATED:20260211T094148Z
LAST-MODIFIED:20260211T094148Z
UID:28923-1770384600-1770399000@www.loria.fr
SUMMARY:Séminaire Réflexions : “Pourquoi Raconter des Maths aux Ordinateurs ?”
DESCRIPTION:la première séance du séminaire Réflexions qui se tiendra le vendredi 6 février 2026\, de 13h30 à 17h30\, dans la salle de conférence de l’Institut Élie Cartan de Lorraine\, Faculté des Sciences et Technologie\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \n  \nNous écouterons Patrick Massot (Laboratoire de mathématique d’Orsay) \n13h30-14h45 : Présentation \nTitre : Pourquoi raconter des maths aux ordinateurs ? \nRésumé : Dans cet exposé j’expliquerai ce que signifie « expliquer des mathématiques à un ordinateur » et pourquoi je trouve cela intéressant et utile. Je montrerai à quoi ressemble concrètement l’utilisation d’un logiciel permettant d’encoder informatiquement des définitions\, énoncés et démonstrations. Je présenterai les applications de ces techniques pour vérifier\, expliquer\, enseigner ou créer des mathématiques. Je mentionnerai des exemples de projets non-triviaux dans ce domaine et j’évoquerai brièvement les liens avec l’IA. \n15h00-17h30: Session Pratique \nTitre : Introduction à l’assistant de preuve Lean par la pratique \nLe logiciel Lean permet de parler de maths de tout niveau à son ordinateur. Il peut aussi servir à enseigner le raisonnement mathématique rigoureux\, par exemple en L1. Ce TP sera une introduction à l’utilisation de Lean en pratique.  \nLe séminaire Réflexions est organisé conjointement par les Archives Henri Poincaré\, l’Institut Élie Cartan de Lorraine et le Loria (laboratoire lorrain de recherche en informatique et ses applications). Les organisateurs pour cette année sont Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria). \n\nThe first session of the Réflexions seminar\, will be held on Friday\, February 6\, 2026\, from 1:30 p.m. to 5:30 p.m.\, in the conference room of the Institut Élie Cartan de Lorraine\, Faculty of Science and Technology\, Boulevard des Aiguillettes\, 54506 Vandoeuvre-lès-Nancy. \nThe speaker will be Patrick Massot (Laboratoire de mathématique d’Orsay)\n \n1:30-2:45 p.m.: Talk \nTitle: Why explain mathematics to computers? \nAbstract: In this talk\, I will explain what it means to “explain mathematics to a computer” and why I find it interesting and useful. I will show what it looks like in practice to use software that allows definitions\, statements\, and proofs to be encoded computationally. I will present applications of these techniques for verifying\, explaining\, teaching\, or creating mathematics. I will mention examples of non–trivial projects in this field and briefly discuss the links with AI. \n3:00-5:30 p.m.: Practical Session \nTitle: Introduction to the Lean proof assistant through practice \nThe Lean software allows you to talk about math at any level on your computer. It can also be used to teach rigorous mathematical reasoning\, for example in L1. This practical session will be an introduction to the practical use of Lean. \nThe Réflexions seminar is organized jointly by the Archives Henri Poincaré\, the Institut Élie Cartan de Lorraine\, and the Loria (Lorraine Research Laboratory in Computer Science and its Applications). This year’s organizers are Alexandre Afgoustidis (IECL)\, Alain Genestier (IECL)\, Yacin Hamami (AHP) et Sophie Tourret (Loria).
URL:https://www.loria.fr/event/seminaire-reflexions-fev-26/
LOCATION:IECL\, Salle de Conférences
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260206T150000
DTEND;TZID=Europe/Paris:20260206T180000
DTSTAMP:20260608T145107
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:20260211T110000
DTEND;TZID=Europe/Paris:20260212T170000
DTSTAMP:20260608T145107
CREATED:20260127T150806Z
LAST-MODIFIED:20260212T121424Z
UID:28892-1770807600-1770915600@www.loria.fr
SUMMARY:Visite des étudiant·es de l'ENS Paris SACLAY
DESCRIPTION:Le Loria est très heureux d’accueillir des étudiantes et les étudiants de l’ENS Paris Saclay pour deux journées d’échanges et de découvertes.\n\nL’occasion pour 21 jeunes de L3 Double diplôme mathématique et informatique de découvrir les réalités et la variété des domaines de la recherche informatique et le fonctionnement d’un laboratoire via une immersion au sein des équipes.\n\n\nDifférents exposés et visites rythment ces deux journées de rencontres : \nMercredi 11/02 :\n\n11h45-12h45: Présentation de l’INRIA et du Loria\n\npar Isabelle Chrisment\, directrice du Centre Inria de l’Université de Lorraine & Abdelkader Lahmadi\, responsable du département D3\, Réseaux\, systèmes et services\, au Loria\n\n\n13h00-14h00: Repas à la cantine du laboratoire\n14h00-16h00: Visites des équipes\n\n14h00-14h40: LARSEN\, MOCQUA (quantique)\, MosAIk\, PESTO\n14h40-15h20: LORELEY\, CARAMBA\, SEMAGRAMME\, MOSEL-VERIDIS\n15h20-16h00: MOCQUA (quantique)\, Hucebot\, PIXEL\, TYPES\n\n\n16h00-16h30: Pause café\n16h30-17h10: Visites des équipes\n\n16h30-17h10: CARAMBA\, CAPSID\, MosAIk\, CARBONE\n\n\n\nJeudi 12/02 :\n\n09h15-11h15: Visites des équipes\n\n09h15-09h55: PESTO\, LARSEN\, LORELEY\, TYPES\n09h55-10h35: GAMBLE\, SEMAGRAMME\, RESIST\, MOSEL-VERIDIS\n10h35-11h15: GAMBLE\, RESIST\, MOCQUA(systèmes dynamiques)\, MosAIk\n\n\n11h30-13h00: Visites des plateformes\n13h00-14h30: Buffet\n14h30-15h50: Visites des équipes\n\n14h30-15h10: NEURORHYTHMS\, CARAMBA\, MOSEL-VERIDIS\, CARBONE\n15h10-15h50: PIXEL\, Hucebot\, PESTO\, CAPSID\n\n\n15h50-16h15: Pause café\n16h15-17h15: Exposé plénier\n\n15 ans de factorisation de RSA\, par Emmanuel Thomé\n\n\n\nListes équipes visitées\n\nCAPSID: Algorithmes de calcul pour les structures et les interactions des protéines\nCARAMBA: Cryptologie\, arithmétique : matériel et logiciel\nCARBONE: Études avancées sur les programmes malveillants et leur écosystème\nGAMBLE: Geometric Algorithms & Models Beyond the Linear and Euclidean Realm\nHucebot: Robotique centrée sur l’humain\nLARSEN: Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés\nLORELEY: Systèmes collaboratifs distribués de confiance et à grande échelle\nMOCQUA: Modèles de calcul classiques et quantique\nMosAIk: différentes perspectives sur l’IA\nNEURORHYTHMS: Analyse et modélisation des systèmes neuronaux par une approche de neurosciences systémiques\nPESTO: Techniques de preuve pour les protocoles de sécurité\nPIXEL: Géométrie et lumière\nRESIST: Supervision des réseaux et des services dynamiques\nSEMAGRAMME: Logique Linéaire\, Réseaux de Démonstration et Grammaires Catégorielles\nTYPES: Logique\, Théorie de la démonstration et programmation\nMOSEL-VERIDIS: Méthodes formelles et applications\n\n \nMerci à tous les étudiants présents et à leurs enseignants\, aux équipes du Loria et de l’INRIA et aux organisateurs : Didier Galmiche (équipe TYPES)\, Dominique Larchey-Wendling (équipe TYPES)\, Stephan Merz (équipe VeriDis)\, Sophie Touret (équipe VeriDis)\, et Alexandre Debant (équipe Pesto) pour leur implication qui a contribué la réussite de ces journées. \n\nPlus d’infos sur le département d’enseignement et de recherche en informatique de l’ENS Paris Saclay : https://informatique.ens-paris-saclay.fr/
URL:https://www.loria.fr/event/visite-ens-paris-saclay/
LOCATION:A008
CATEGORIES:Conférence,Manifestation
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260217T130000
DTEND;TZID=Europe/Paris:20260217T150000
DTSTAMP:20260608T145107
CREATED:20260211T093404Z
LAST-MODIFIED:20260211T162131Z
UID:28920-1771333200-1771340400@www.loria.fr
SUMMARY:Loria Security Seminar - Erol Gelenbe
DESCRIPTION:Loria Security Seminar will take place on February 17th in room A008 at 1:00pm.\n\n\nErol Gelenbe\, Professeur à l’Institut d’informatique théorique et appliquée de l’Académie des Sciences de Pologne et au King’s College (Londres)\, et ambassadeurs Inria+Alumni au Royaume-Uni donnera une conférence intitulée :\nDétection et Atténuation des Cyberattaques par l’IA.\n\n \nTitre: Détection et Atténuation des Cyberattaques par l’IA\n\n\nRésumé: \nLes serveurs d’accès à l’Internet des objets (IoT)\, doivent répondre à des exigences strictes en matière de sécurité et de qualité de service (QoS)\, offrant une protection contre les cyberattaques avec une réactivité et une perte minimale de données bénignes. Il est donc essentiel de protéger ces systèmes par un lissage de trafic efficace\, une détection précise des cyberattaques (DA)\, et des mécanismes d’atténuation. Nous présenterons d’abord des techniques d’apprentissage en ligne et fédéré permettant de détecter les attaques avec précision\, et des mesures des flux de paquets véhiculant une cyberattaque qui altèrent la QoS au niveau des serveurs et entravent leur capacité à exécuter la DA. En utilisant des méthodes mathématiques de la théorie des files d’attente et des mesures expérimentales\, nous démontrons que la nouvelle méthode de lissage du trafic QDTP garantit que le serveur pourra assurer une DA effiace et réagir rapidement lors d’une attaque. Un nouveau système d’atténuation adaptative des attaques (AAM) sera aussi présenté pour échantillonner le flux de paquets entrants\, déterminer si une attaque est en cours et supprimer dynamiquement des lots de paquets à l’entrée pour réduire les effets de l’attaque\, et minimiser la surcharge AD et le coût des paquets bénins perdus. \nBiographie du Conférencier: \nAprès des études d’ingénieur éléctronicien en Turquie\, un doctorat aux Etats-Unis (NYU)\, et un emploi d’Assistant Professor pendant dix-huit mois à l’Université de Michigan\, Erol Gelenbe rejoint l’IRIA où il crée le projet MEVAL sur l’évaluation de performances des systèmes et réseaux et enseigne à l’Université Paris-Nord. Tout en continuant son activité à l’IRIA\, il occupe une chaire d’informatique à l’Université de Liège de 1974 à 1979\, année où il rejoint l’Université Paris-Sud (Orsay) en tant que professeur; il assure aussi des enseignements de probabilités à l’Ecole Polytechnique jusqu’en 1987. En 1986 il fonde l’Ecole des Hautes Etudes en Informatique de l’Université René Descartes et en reste le directeur jusqu’en 1993 quand il rejoint la Duke University (USA) en tant que directeur du Département «Electrical and Computer Engineering». En 1998 il est nommé directeur de la «School of Electrical Engineering and Computer Science» d’UCF (Orlando)\, et en 2003 il est nommé professeur titulaire de la Chaire «Dennis Gabor» d’Imperial College. Après le Brexit\, il prend un poste de chercheur à temps complet à l’Académie des Sciences de Pologne.  Erol a formé plus de 90 docteurs dont 25 femmes; il est Fellow de l’IEEE (1986)\, de l’ACM (2001) et de l’IFIP (2019)\, et il reçoit le Grand Prix France-Télécom de l’Académie des Sciences en 1996. Il est élu à l’Academia Europaea (2005)\, à l’Académie des Technologies (2007)\, et aux Académies des Sciences de Hongrie (2010)\, Turquie (2011)\, Pologne (2013)\, Belgique (2015) et de l’Inde (2025). «Docteur Honoris Causa» des Universités de Rome II (1996)\, Liège (2006)\, Bogaziçi d’Istanbul (2004)\, et de l’Académie des Sciences de Hongrie (2010)\, il est Chevalier de la Légion d’Honneur\, Commandeur de l’Ordre national du Mérite\, Commandeur du Mérite de la République Italienne\, Commandeur de l’Ordre de la Couronne de Belgique et Officier de l’Ordre du Mérite de Pologne. \n\nPlus d’informations ici : https://seminaire-securite.loria.fr/
URL:https://www.loria.fr/event/lss_fev_26/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260219T103000
DTEND;TZID=Europe/Paris:20260219T123000
DTSTAMP:20260608T145107
CREATED:20260217T102028Z
LAST-MODIFIED:20260217T102028Z
UID:28956-1771497000-1771504200@www.loria.fr
SUMMARY:HUCEBOT Seminar - Dorian Verdel
DESCRIPTION:On February 19th\, the HUCEBOT team will have the pleasure of welcoming Dorian Verdel\, postdoctoral fellow at Paris Saclay\, who is applying for the CR position in Centre INRIA de l’Université de Lorraine. \n\n \nTitle: \nThe role of time in developing symbiotic human-robot interactive control\n \nAbstract: Physical human-robot interactions (pHRI) are promising for a large panel of public health applications\, ranging from MSD prevention to neurorehabilitation. However\, physical interaction control methods often neglect fundamental aspects of human motor control\, which directly impact the outcomes of the interaction. Here\, I will first present two recent studies showing how time plays a major role in the planning of human movements\, both alone and when interacting with a human partner\, making it a critical aspect to account for in pHRI. Then\, I will present recent results showing how such knowledge on human motor control strategies can be accounted for using a multi-agent representation of pHRI.\n\nBio: After graduating from ENS Paris-Saclay in mechanical engineering in 2019\, I did my PhD at Université Paris-Saclay under the supervision of B. Berret and O. Bruneau on human-exoskeleton interactions\, at the interface between robotics and human motor control. I was then invited to join the group of E. Burdet at Imperial College London\, where I was a postdoctoral fellow for two years. There\, I worked on human sensorimotor augmentation with supernumerary robotic limbs\, human motor control\, and human-human physical interactions. I was recently recruited as a postdoctoral fellow on the ASSISTMOV project of the PEPR O2R\, in Université Paris-Saclay\, to work on the integration of differential games-based control\, EMG-based human joints torque estimation\, and AI-based movement prediction.
URL:https://www.loria.fr/event/hucebot-seminar-dorian-verdel/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260303T093000
DTEND;TZID=Europe/Paris:20260303T093000
DTSTAMP:20260608T145107
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:20260303T140000
DTEND;TZID=Europe/Paris:20260303T150000
DTSTAMP:20260608T145107
CREATED:20260220T114655Z
LAST-MODIFIED:20260220T114655Z
UID:28970-1772546400-1772550000@www.loria.fr
SUMMARY:MozAIk Seminar - with Toufik Hamadouche
DESCRIPTION:Representing Expert Reasoning Experience by Process Cases – Application to the Delimitation of Mobile Genetic Elements in Bacterial Chromosomes\n\n\n\n\n\nMarch 3\, 2026 \n\n\n\n\nDelimiting mobile genetic elements (MGEs) in bacterial genomes traditionally relies on experts in biology. This paper presents a process-oriented case-based reasoning (PO-CBR) approach to formalize and automate expert reasoning for MGE delimitation. In this study\, expert knowledge is represented by process cases\, where each case follows an ordered stepwise reasoning process based on genomic data on MGEs. These cases form adaptive computational workflows that can be applied to various types of bacterial strains and MGEs. A key feature of this approach is an adaptive mechanism that allows reasoning failures to trigger automatic adaptation rules. Tested on 254 manually annotated MGEs across 124 bacterial genomes\, our approach successfully delimited 96.8% of these elements with high accuracy. This study demonstrates the feasibility of encoding biological expertise into a structured automated reasoning system that offers a reliable alternative to identify MGEs in bacterial genomes.
URL:https://www.loria.fr/event/mozaik-seminar-with-toufik-hamadouche/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260305T103000
DTEND;TZID=Europe/Paris:20260305T120000
DTSTAMP:20260608T145107
CREATED:20260226T092733Z
LAST-MODIFIED:20260226T092733Z
UID:28995-1772706600-1772712000@www.loria.fr
SUMMARY:Séminaire de l'équipe HUCEBOT - Avec Marco Ferro
DESCRIPTION:On March 5h\, the HUCEBOT team will have the pleasure of welcoming Marco Ferro\, postdoctoral fellow at Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes. \n  \nTalk Title:\nControl and Estimation in Safety-Critical Robotics: From Perception-Driven Strategies to Optimal Shared Autonomy \n\nBio:\nMarco Ferro is a postdoctoral researcher at the Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) in Rennes\, France. His current research focuses on optimization-based shared autonomy and haptic control strategies for magnetically actuated small-scale robotic systems\, with applications in medical robotics and micromanipulation. He received his Ph.D. in Automation\, Bioengineering and Operational Research from Sapienza University of Rome in 2019\, where he later continued as a postdoctoral researcher at the Department of Computer\, Control\, and Management Engineering (DIAG). His research trajectory has centered on control and estimation for safety-critical robotic systems\, spanning perception-driven navigation in mobile robotics\, interaction-aware force estimation in medical procedures\, and the development of dynamic simulators and technological demonstrators. In parallel with his research activities\, he has contributed to teaching in Master-level robotics and automation courses as a tutor and teaching assistant\, and he has supervised several Master and PhD students. He also has served for three years as Associate Editor for ICRA and IROS conferences. \n\n \nAbstract:\nEnsuring safety in robotic systems operating under uncertainty and human interaction is a recurring challenge across multiple application domains. This seminar presents a research trajectory structured around three complementary sources of safety complexity: limited perception and actuation knowledge\, critical physical interaction\, and shared control authority. \nThe first part discusses safety under perception and actuation constraints\, presenting vision-based navigation strategies that enforce safe motion directly from onboard sensing while accounting for uncertainty. \nThe second part addresses safety during physical interaction\, introducing estimation and force decomposition techniques for needle–tissue procedures\, where detecting and rendering critical events enhances operator awareness and risk mitigation. \nThen\, the core of the presentation focuses on optimization-based shared autonomy frameworks that formally integrate stability\, safety constraints\, and human commands within a unified control formulation. By leveraging Quadratic Programming approaches combining Control Lyapunov and Control Barrier Functions\, these methods provide formal safety guarantees while preserving effective human intervention. Microrobotic systems are shown here as a demanding application domain\, where severe actuation limits and multi-agent interactions stress-test the proposed framework.\nMoving from perception-driven control to interaction-aware estimation and ultimately to constraint-based shared autonomy\, these contributions illustrate a progressive formalization of safety in robotic systems\, outlining a coherent direction toward human-centered robotic systems with provable safety properties. \n 
URL:https://www.loria.fr/event/seminaire-de-lequipe-hucebot/
LOCATION:A008
CATEGORIES:Conférence,Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260310T140000
DTEND;TZID=Europe/Paris:20260310T150000
DTSTAMP:20260608T145107
CREATED:20260220T114814Z
LAST-MODIFIED:20260220T114814Z
UID:28972-1773151200-1773154800@www.loria.fr
SUMMARY:MozAIk Seminar - with Yann Guermeur
DESCRIPTION:Méthode hiérarchique hybride pour la segmentation de séquences biologiques\n\n\n\n\n\nMarch 10\, 2026 \n\n\n\n\n(This talk will take place in LORIA\, room A008.) Nombreux sont les problèmes de bioinformatique\, et singulièrement de biologie structurale prédictive\, qui se réduisent à un problème de segmentation de séquences. Pour traiter ce type de problème\, nous avons développé un modèle de l’inférence empirique combinant systèmes discriminants et modèles génératifs au sein d’une architecture modulaire et hiérarchique. \nNous présentons ce modèle dans toute sa généralité\, en centrant l’exposé sur les propriétés statistiques et les questions d’optimisation. Trois applications sont ensuite développées\, portant sur un problème fermé et deux problèmes ouverts. Le problème fermé\, permettant une comparaison directe avec l’état de l’art\, est la prédiction de la structure secondaire des protéines globulaires. Les deux problèmes ouverts sont la prédiction des ancrages membranaires interfaciaux des protéines monotopiques et la prédiction des angles de torsion oméga des protéines globulaires. Les trois problèmes illustrent la malléabilité du modèle\, capable de s’adapter aux caractéristiques principales des problèmes traités.
URL:https://www.loria.fr/event/mozaik-seminar-with-yann-guermeur/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR