Le Loria adresse ses plus vives félicitations à Claire Gardent, directrice de recherche au sein du Loria : élue membre de l’Académie des sciences !
Toutes nos félicitations à Véronique Cortier, Directrice de recherche au sein du Loria : lauréate d’un ERC Synergy Grant 2025 pour le projet VePaSS !
Toutes nos félicitations à Jean-Yves Marion, professeur Université de Lorraine dans l’équipe Carbone, et à Vincent Despré, maître de conférences Université de Lorraine dans l’équipe Gamble, lauréats de l’Institut Universitaire de France.
Bravo à Vincent Trélat, doctorant dans l’équipe Mosel-Veridis, lauréat d’un Best Paper Award à la conférence ABZ 2025 (International Conference on Rigorous State-Based Methods).
Une belle récompense pour son article « Safely Encoding B Proof Obligations in SMT-LIB« .
Cette conférence internationale en méthodes formelles s’est tenue à Düsseldorf du 10 au 13 juin.
Toutes nos félicitations à Iglika Nikolova-Stoupak, membre de l’équipe Sémagramme, lauréate du Study UK Alumni Awards 2025 – France, dans la catégorie Culture et créativité.
