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 […]
Le Procès du Robot est un format original mêlant sciences, société… et théâtre d’impro ! Le tout à destination de classes de secondes en lycée. Un moment d’échanges et de réflexions autour des grands enjeux de l'IA et ses applications quotidiennes… https://iww.inria.fr/NanSciNum/theatre-scientifique/le-proces-du-robot/
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 […]
Découvrez le monde fascinant des messages cachés, les stratégies et astuces utilisées dans l’histoire ! Une introduction à la cryptographie et ses facettes avec Cécile Pierrot, chercheuse Inria, experte en informatique et cryptographie historique au Loria (CNRS, Université de Lorraine). Inscription via ce lien : https://www.eventbrite.fr/e/1976452139554?aff=oddtdtcreator
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 […]
