Category: Actualités

Oct 31 2017

(English) Two new winter schools on Coq

Désolé, cet article est seulement disponible en Anglais Américain.

May 22 2015

(English) The Coq Workshop 2015

Désolé, cet article est seulement disponible en Anglais Américain.

Dec 19 2014

(English) First Coq Coding Sprint – June 22-25 2015 Sophia-Antipolis

Désolé, cet article est seulement disponible en Anglais Américain.

Aug 08 2014

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

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

 

Apr 17 2014

(English) Coq receives the 2013 Software system Award

Désolé, cet article est seulement disponible en Anglais Américain.

Nov 26 2013

Interview de Vladimir Vodvodsky

Désolé, cet article est seulement disponible en Anglais Américain.

Jul 30 2013

Démonstration du théorème Feit-Thompson : La précision des ordinateurs au service des mathématiques

http://www.inria.fr/centre/sophia/actualites/la-precision-des-ordinateurs-au-service-des-mathematiques

Jul 30 2013

Démonstration du théorème Feit-Thompson : Un grand succès pour la preuve informatique

http://www.inria.fr/centre/saclay/actualites/un-grand-succes-pour-la-preuve-informatique

Jul 30 2013

The Coq proof assistant is the recipient of the 2013 software award

Désolé, cet article est seulement disponible en Anglais Américain.

Jul 30 2013

Coq, les maths ont trouvé leur maître (Article de Science et Vie magazine)

Article de Science et Vie (PDF)