Category: Actualités

(English) Two new winter schools on Coq

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

(English) The Coq Workshop 2015

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

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

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

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.

 

(English) Coq receives the 2013 Software system Award

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

Interview de Vladimir Vodvodsky

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

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

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

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

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

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

Article de Science et Vie (PDF)