SCIENCE. Connaissez-vous cette discipline entre mathématiques et informatique qui révolutionne notre quotidien

Jusqu’au 6 juillet se déroule à Nancy un événement international de recherche avec des experts mondiaux de la logique et du raisonnement automatique. L’occasion d’expliquer cette discipline entre mathématiques et informatique.