Sites Inria

Il y a 16 Résultats avec le mot clé : "Coq"

Carte colorée en quatre couleurs. Coq a permis de prouver en 2004 le théorème des quatre couleurs. - Photo Sarasan (modifiée) - CC BY-SA 3.0

Distinction

Un prix pour Coq

8/01/2014

Le logiciel Coq est récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014. Cet assistant de preuve constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. Très performant, il séduit désormais les mathématiciens.

Mots-clés :

Accueil > Actualité > Actualités Inria > Un prix pour Coq

Lire la suite

Logiciel

Coq récompensé par l’ACM Software System Award

16/04/2014

L’ACM (Association for Computing Machinery) annonce que le prix "Software System Award" est décerné à l'équipe de développement du système Coq. Une récompense pour un travail collectif de longue haleine, qu'Inria soutient depuis 30 ans.

Mots-clés :

Accueil > Actualité > Actualités Inria > Coq récompensé par l’ACM Software System Award

Lire la suite

Partenariat scientifique

Forum 2011 Labo MSR-Inria

Céline Acharian - 18/03/2011

Le 12 avril prochain, Inria et Microsoft Research organisent, au Centre de conférence de Microsoft-France à Issy-les-Moulineaux, la journée annuelle de présentation des équipes de recherche du laboratoire commun. Lors de ce Forum 2011, les chercheurs rendront publics les travaux de leurs 8 équipes de recherche. Un programme chargé de conférences et de démonstrations, témoin de la qualité de la collaboration scientifique au sein de ce jeune laboratoire.

Mots-clés :

Accueil > Actualité > Actualités Inria > Forum 2011 Labo MSR-Inria

Lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(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

Mots-clés :

Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011

lire la suite

Evénement

Ecole CEA-EDF-Inria

14/09/2011

Du 14 au 18 novembre 2011, cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).

Mots-clés :

Accueil > Centre > Paris > Actualités > Ecole CEA-EDF-Inria

Lire la suite

Logiciel

Une action de développement technologique pour Coq

L'action de développement technologique (ADT) Coq regroupe les personnes et équipes participant collectivement à l'implantation du logiciel d'aide à la preuve Coq.

Mots-clés :

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

Lire la suite

Soutenance de thèse

Soutenance de thèse Pierre BOUTILLIER

18/02/2014

Pierre BOUTILLIER ( PIR2 )

Lieu : 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

Mots-clés :

Accueil > Centre > Paris > Agenda > Soutenance de thèse Pierre BOUTILLIER

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

17/03/2014

Lieu : Inria - Paris-Rocquencourt - Amphi Turing du bâtiment 1

Intervenant(s) : Sigurd Schneider

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Laboratoire commun

Forum Microsoft Research Inria 2011

12/04/2011

Le 12 avril, le laboratoire commun Inria - Microsoft research vous invite à participer au forum 2011 au Centre de conférence Microsoft-France à Issy-les Moulineaux. L'occasion de faire le point sur une collaboration scientifique fructueuse autour de conférences et de démonstrations.

Lieu : Centre de conférence Microsoft-France 41, quai du Président Roosevelt 92130 Issy-les-Moulineaux

Intervenant(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

Mots-clés :

Accueil > Centre > Paris > Agenda > Forum Microsoft Research Inria 2011

lire la suite

De gauche à droite : Vinton Cerf, Brent Hailpern, Yves Bertot, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, John White (ACM Chief Executive Officer). - @ACM

Prix ACM

Software System Award pour le logiciel Coq

17/06/2014

Yves Bertot, responsable de l'équipe-projet Marelle Inria, sera invité le 21 juin prochain à San Francisco pour y recevoir le prestigieux prix Software System Award 2013, l'une des plus hautes distinctions de l’ACM (Association for Computing Machinery) qui est décernée le même jour que le Turing Award, aux côtés de Bruno Barras, Pierre Castéran, Thierry Coquand, Jean-Christophe Filliâtre, Hugo Herbelin, Gérard P. Huet, Chetan Murthy et Christine Paulin-Mohring, pour le développement du logiciel de preuve Coq, initialement baptisé COC pour Calculus of Inductive Constructions.  C'est la première fois depuis 40 ans qu'une équipe française reçoit ce prix, d'autant plus qu'elle a déjà été récompensée cette même année, lors de la conférence POPL 2014, par le prix ACM SIGPLAN Programming Languages Software Award. 

Mots-clés :

Accueil > Centre > Sophia > Actualités > Software System Award pour le logiciel Coq

Lire la suite

Haut de page

Suivez Inria