Vincent Trelat, doctorant dans l'équipe Veridis, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria, avec un exposé intitulé "Trustworthy Reasonig for the B method". Composition du jury : Stephan Merz, directeur de recherches Inria au Loria (encadrant) Sophie Tourret, chargée de recherches Inria au Loria (encadrante) Jean-Christophe Filliâtre, LMF (rapporteur) Michael Leuschel, […]

Amandine Decker , doctorante dans l'équipe Semagramme, soutiendra sa thèse le 1er décembre 2026 au Loria, avec un exposé intitulé "A Monologue on Conversation: Characterising dialogue across interaction types with a focus on topical structure". Encadrant•es : Maxime Amblard, Université de Lorraine, Loria Ellen Breitholtz, University of Gothenburg, CLASP, Sweden Composition du jury : Frederic […]

Omid Mokhtari, doctorant dans l'équipe Delta, soutiendra sa thèse le 10 décembre 2026 au Loria, avec un exposé intitulé "Dynamics-aware geometric deep learning for biomolecular interactions". Superviseurs : - Hamed Khakzad, Junior Professor (HDR), Inria, Université de Lorraine – thesis director - Yasaman Karami, Research Scientist (CR), Inria, Université de Lorraine – co-supervisor Jury Rapporteurs […]