The next session of the “séminaire Réflexions” will take place on Friday, September 25, in the afternoon, in the conference room at IECL-Nancy. Ghilain Bergeron and Vincent Trélat will lead a hands-on session on math in Lean (1:30–3:30 p.m.), followed by a presentation by our colleague Isabelle Dubois (IECL-Metz) on the use of proof-assisting software in […]
La Nuit de la Science ouvre les festivités de la Fête de la Science le vendredi 2 octobre 2026 ! Pour cette seconde édition, l’Agora de Metz accueille l’Université de Lorraine et les organismes de recherche du site lorrain pour mettre en lumière les travaux de recherche actuels. Découvrez la science en images, en jeux, […]
Franco Terranova (équipe Resist), soutiendra sa thèse le 9 octobre 2026 à 13 h 30 en salle A008, avec un exposé intitulé "Graph Reinforcement Learning for Automated Attack Surface Discovery in Networked Systems ". Composition du jury : Rapporteurs : Anna Sperotto, Professeure, University of Twente Marco Anisetti, Professeur, Università degli Studi di Milano Examinateurs […]
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, […]
