Warmest congratulations to Jannik Dreier, maître de conférences à l’Université de Lorraine, teacher at Telecom Nancy and researcher at Loria (UMR CNRS – Université de Lorraine) , along with his colleagues: David Basin (ETH Zurich), Cas Cremers (CISPA), and Ralf Sasse (ETH Zurich), recipients of the 2026 Levchin Prize!
Loria extends its warmest congratulations to Claire Gardent, Research Director at Loria, who has been elected a member of the French Académie des sciences !
The Loria is proud to announce a colloquium presentation by Laura Kovács on “Induction and synthesis in saturation-based theorem proving“.
On Monday, November 3, 2025, more than 450 people gathered in the Grand Amphitheater of the Sorbonne to celebrate the induction of the 35th cohort of the Institut Universitaire de France (IUF).
Congratulations to Véronique Cortier, Research Director at Loria, recipient of a 2025 ERC Synergy Grant for the VePaSS project!
