Sites Inria

There are 13 Results with the keyword : "Coq"

Software

Coq takes the ACM Software System Award

16/04/2014

The ACM (Association for Computing Machinery) recently announced the selection of the Coq development team for the "Software System Award".  This prize rewards a long-term group effort, which Inria has been supporting for some 30 years.

Keywords:

Home > News > News from Inria > Coq récompensé par l’ACM Software System Award

More

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Keywords:

Home > News > Calendar > Forum Microsoft Research Inria 2011

lire la suite

Software

A technology development action for Coq

The Coq technology development action involves a collection of people and teams working together to roll out Coq proof assistant software.

Keywords:

Home > Centre > Paris > Innovation > "Une ADT pour Coq "

More

Soutenance de thèse

Soutenance de thèse Pierre BOUTILLIER

18/02/2014

Pierre BOUTILLIER ( PIR2 )

Place : Salle des thèse de l'Université Paris Diderot - 10 rue Françoise Dolto 75013 Paris - Accès Halle aux farines Hall F, 5ème étage - 14h30

Keywords:

Home > Centre > Paris > Calendar > Soutenance de thèse Pierre BOUTILLIER

lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.

Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure

Keywords:

Home > Centre > Paris > Calendar > Forum Microsoft Research Inria 2011

lire la suite

from left to right : Vinton Cerf, Brent Hailpern, Yves Bertot, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, John White (ACM Chief Executive Officer). - @ACM

ACM award

Software System Award for Coq software

17/06/2014

Yves Bertot, leader of Inria's Marelle project team, was invited to San Francisco on 21 June 2013, along with Bruno Barras, Pierre Castéran, Thierry Coquand, Jean-Christophe Filliâtre, Hugo Herbelin, Gérard P. Huet, Chetan Murthy and Christine Paulin-Mohring, to receive the prestigious Software System Award 2013, one of the highest distinctions awarded by AMC, the Association for Computing Machinery. The award, given on the same day as the Turing Award, was for the development of Coq, a proof management system, originally known as COC, the acronym for Calculus of Inductive Constructions. It was the first time in 40 years that the award had gone to a French team, what's more, to a team that also received the ACM SIGPLAN Programming Languages Software Award at the POPL 2014 conference.

Keywords:

Home > Centre > Sophia > News > Software System Award pour le logiciel Coq

More

Award

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy,Gallium project team leader at the Inria Paris-Rocquencourt research centre, has been awarded the Royal Society Milner Award 2016 in recognition of his research on the OCaml functional programming language and on the formal verification of compilers. This prize, created in homage to Professor Robin Milner, rewards a European researcher for his or her exceptional contribution to computer science.

Keywords:

Home > Centre > Paris > News > Xavier Leroy, Royal Society Milner Award 2016

More

1984

Chronology: Seven Key Dates

Mathilde De Vos -

On 23 January 2013 the Coq program is to receive the SIGPLAN Programming Languages Software Award. This prize is conferred on an annual basis in recognition of a software program that has had a significant impact on research and development in the field of programming languages. Here are seven key dates in the project's history.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > Chronologie

More

Coq: Thirty Years of Teamwork

Julien Thèves, Citizen Press -

Conceived thirty years ago at Inria's Paris-Rocquencourt laboratory, the Coq Proof Assistant continues to mobilise research teams. Its continuous development is a testimony to the interest shown in it by both the scientific community and, more recently, the financial sector.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > 30 ans de travail d’équipe

More

Coq: the Program that Provides the Proof

Julien Thèves, Citizen Press -

The winner of the SIGPLAN1 Programming Languages Software Award in January 2014, the Coq program has provided invaluable support for nearly thirty years now for computer scientists who use it as an aid for writing and checking programs. This extremely efficient proof assistant has won over numerous mathematicians too.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > La preuve par le logiciel

More

Top