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.
