Jeudi 24 septembre, le Loria célèbre ses 50 ans !  En début d’après-midi, nous découvrirons les recherches de nos collègues de chaque département avec des exposés accessibles à toutes et à tous. « À l’interface entre preuve assistée et preuve automatique. » Sophie Tourret – chercheuse Inria au Loria (équipe Mosel-Veridis). « Quand quelques imposteurs suffisent : […]