Gilles Audemard reçoit le prix de la conférence CAV
Gilles Audemard a reçu avec 20 autres chercheurs ce vendredi 23 juillet le prix de la conférence internationale Computer-Aided Verification pour ses contributions aux travaux fondateurs théoriques et pratiques sur le problème de la cohérence modulo une théorie (SMT).