Date(s):
Lundi 1 juillet 2024 - 08:00
Samedi 6 juillet 2024 - 13:00
Lieu(x):
IDMC
Pôle Herbert Simon, 13 Rue Michel Ney,
54 000
NANCY
Du 26 juin au 6 juillet se déroulera à Nancy un événement international de recherche qui rassemblera les expertes et experts mondiaux de la logique et du raisonnement automatique.
Du 26 au 29 juin se déroulera l'école d'été "Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR)" au Centre Inria de l'Université de Lorraine à Villers-Lès-Nancy.
Elle sera suivie par la conférence internationale "International Joint Conference on Automated Reasoning" (IJCAR) du 1er au 6 juillet à l'IDMC.
-> Découvrez ici les interviews des organisateurs scientifiques et toutes les informations sur cet événement.