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 […]
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, […]
Le Festival IAgora aura lieu le samedi 14 novembre au Shadok à Strasbourg. Au programme : tables rondes, ateliers, escape games, démonstrations en continu et ciné-débat : une journée entière pour explorer l’intelligence artificielle, en famille comme entre curieux. Retrouvez notamment : Samuel Nowakowski (MosAIk) lors de la table-ronde IA et démocratie à 10 h […]
La prochaine journée scientifique du Pôle AM2i aura lieu le mardi 17 novembre 2026, de 10h à 17h à l'ENIM (Metz). Elle sera consacrée aux Low-Tech et Technologies durables, autour de trois axes : recherche, formation et coopération. Cette journée sera l'occasion de partager des réflexions et des retours d'expérience, avec plusieurs interventions invitées et […]
'/%3E%3C/svg%3E){kind=small}
