Rémi Gauchotte (équipe OPTIMIST), soutiendra sa thèse le vendredi 16 octobre 2026 à 10h en salle A008, avec un exposé intitulé " Orchestration de la recharge des véhicules électriques : décision en ligne, équité et apprentissage par renforcement transférable ". Composition du jury : Rapporteurs : Pr. Jean Charles Billaut, Université de Tours, France Dr. Sophie […]
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 Rhizome 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, […]
