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 !
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).
