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. »
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 35e promotion de l’Institut universitaire de France (IUF).
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 !
