26 juin – 6 juillet 2024 Communication / Événement La quinzaine internationale de la logique et du raisonnement automatique se tiendra à Nancy ! Lieu : Centre Inria de l'Université de Lorraine