The Loria is proud to announce a colloquium presentation by Laura Kovács on “Induction and synthesis in saturation-based theorem proving“.
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 !
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!
Next Loria Colloquium will take place on Tuesday, September 16th at 1:30 pm in the Amphitheater.
We will have the pleasure to welcome Luca De Feo, researcher at IBM Research Europe, with a presentation entitled “A Personal History of Isogeny-based Cryptography“.