Aug 08 2014

Yves Bertot récompensé par l’ACM Software System Award

Bruno Barras Yves Bertot Christine Paulin-Mohring Hugo Herbelin Jean-Christophe Filliâtre

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

  • 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.

La vidéo de l’évènement (La même sur youtube), la photographie de la remise de prix.