Alessio Coltellacci (Veridis), défendra sa thèse intitulée Reconstruction des preuves SMT dans Lambdapi. La 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. Pour ceux qui ne pourraient pas venir, la soutenance sera diffusée en visio (accessible à partir […]

The thesis is entitled "Mitigating Musculoskeletal Disorders: Cobot Behavior Planning for Human Fatigue Reduction in Repetitive Tasks". The defense will be followed by a Lebanese pot in the space adjacent to room C005. Jury Members: Reviewers: Caroline Chanel Professor, University of Toulouse Arash Ajoudani Researcher, Italian Institute of Technology Examinator: David Daney Researcher, INRIA-University of […]

Valentin D. Richard (Sémagramme), défendra sa thèse intitulée “Presuppositional and Dynamic Aspects of Questions“. La soutenance aura lieu le 3 Février à 16h à Agnietenkapel. (Amsterdam) Jury : Lucas Champollion : New York University Maria Aloni : Universiteit van Amsterdam Robert van Rooij : Universiteit van Amsterdam Maxime Amblard : Université de Lorraine Claire Gardent […]

"Targeted Evasion Attacks Against Machine-Learning-Based Binary Code Analysis". La soutenance aura lieu le vendredi 6 février à 15h00 en salle A008. La présentation sera en anglais. Elle sera suivie d'un pot, également en A008. Résumé : L’analyse de code binaire basée sur l’apprentissage automatique est devenue un pilier essentiel de la cybersécurité moderne, en automatisant de […]

"Formal Methods for Internet Voting". La soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais. Elle sera suivie d'un pot en salle club aux alentours de midi. Une visioconférence sera également disponible via le lien suivant : https://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816 Le jury sera composé de : - Ioana Boureanu, […]