Toutes nos félicitations à Jannik Dreier, maître de conférences à l’Université de Lorraine, enseignant à Telecom Nancy et chercheur au Loria
Dans le cadre du cluster IA Grand Est ENACT[1], 9 chaires de recherche ont été attribuées à des chercheuses et chercheurs de renommée internationale au sein de laboratoires des sites lorrain et alsacien.
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. »
