Les rencontres 2026 du GT SCALP (Structures formelles pour le calcul et les preuves) du GDR IM auront lieu du 19 au 21 octobre au Loria. Invité·es Victoria Barrett, post-doc Inria, Saclay Kostia Chardonnet, post-doc Inria, Nancy Philippe de Groote, directeur de recherche Inria, Nancy Delia Kesner, professeure à l'Université Paris-Cité, membre senior de l'Institut […]
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, […]
