Catégorie : Actualités

Le logiciel Coq est une nouvelle fois récompensé par l’Association for Computing Machinery. ACM Software System Award à San Francisco le 21 juin dernier Sur la photo, Yves Bertot (2ème sur la gauche) est entouré de quatre des huit autres récipiendaires du Software System Award 2014 :

• Thierry Coquand, Université de Gothenburg;
• Gérard Huet, Inria Paris – Rocquencourt;
• Christine Paulin-Mohring, Université Paris Sud/Inria Saclay -Ile-de-France;
• Bruno Barras, Inria Saclay/École Polytechnique;
• Jean-Christophe Filliâtre, CNRS/Inria Saclay – Ile-de-France;
• Hugo Herbelin, Inria Paris – Rocquencourt;
• Chet Murthy, Google Inc.;
• Yves Bertot, Inria Sophia Antipolis-Méditerranée ;
• Pierre Castéran, Université de Bordeaux.