English below Lucca Hirschi (équipe Pesto) soutiendra son Habilitation à Diriger des Recherches le lundi 2 novembre 2026 à 14h00 en salle C005. La présentation se fera en anglais. Titre : “Formal Methods and Real-World Cryptographic Protocols: Advancing the Verification and Testing Frontiers for Specifications and Implementations” Résumé : " Les protocoles cryptographiques sont les […]
La prochaine journée scientifique du Pôle AM2I intitulée Rhizomes 2026 : Journée graphes et systèmes socio-économiques aura lieu le lundi 9 novembre 2026 au Loria en salle B013. Les oratrices et orateurs de cette journée consacrée aux réseaux, notamment socio-économique, sous un angle inter-disciplinaire, sont : Sohie Béreau-Gnabo, institut des systèmes complexes, Université de Namur Samer El Boustany, Murex […]
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 […]
Journée enseignement de la Société Informatique de France Enseigner la programmation à l’ère de l’IA Les outils d’intelligence artificielle capables de générer, expliquer ou modifier du code sont désormais accessibles aux enseignants comme aux apprenants. Leur utilisation dans les situations d’enseignement et d’apprentissage de la programmation ouvre de nouvelles possibilités, mais soulève également des interrogations […]
'/%3E%3C/svg%3E){kind=small}
