Colloquium du Loria : Laura Kovács

Les membres du Loria sont fiers d’accueillir Laura Kovács, qui présentera un exposé intitulé : « Induction and synthesis in saturation-based theorem proving. »

Claire Gardent : élue membre de l’Académie des sciences

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 !

Cérémonie d’installation des lauréats de l’Institut Universitaire de France

Lundi 3 novembre 2025, plus de 450 personnes ont rejoint le Grand Amphithéâtre de la Sorbonne pour célébrer l’installation de la 35^e promotion de l’Institut universitaire de France (IUF).

Présentation de la nouvelle équipe Hucebot

Véronique Cortier : lauréate d’un ERC Synergy Grant 2025 pour le projet VePaSS

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 !