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: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: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: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: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
END:VCALENDAR