La quinzaine internationale de la logique et du raisonnement automatique - IJCAR'2024
La date limite d'inscription est passée.
Du 1er au 6 juillet se déroulera à Nancy un événement international de recherche qui rassemblera les experts mondiaux de la logique et du raisonnement automatique !
Automated Joint Conference on Automated Reasoning - IJCAR' 2024
Lien vers le site IJCAR et les inscriptions
Un évènement Inria, Université de Lorraine, Loria, CNRS, IDMC
Conférences
Utilisateur