Sep 08 2015

(English) Talk by Claudio Sacerdoti Coen

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

Jul 09 2015

(English) Talk by Tsvetan Chavdarov Dunchev

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

Jun 11 2015

Exposé par Isabella Dramnesc (en anglais)

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.

Jan 29 2015

Séminaire Marelle: Proofs as documents: asynchronous interaction for Coq

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.

Apr 05 2014

Soutenance de thèse: Interaction entre algèbre linéaire et analyse en formalisation des mathématiques

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.