Sites Inria

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

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

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

Prix et distinction

Xavier Leroy, Royal Society Milner Award 2016

20/07/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a reçu le Royal Society Milner Award 2016 en reconnaissance de ses recherches sur le langage OCaml de programmation fonctionnelle et sur la vérification formelle de compilateurs. Ce prix, créé en hommage au professeur Robin Milner, récompense un chercheur européen pour sa contribution exceptionnelle en informatique.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy, Royal Society Milner Award 2016

Lire la suite

1984

Coq : 7 dates clefs

Mathilde De Vos -

Le logiciel Coq reçoit le 23 janvier 2014 le SIGPLAN Programming Languages Software Award. Ce prix récompense chaque année un logiciel ayant eu un impact significatif dans la recherche ou le développement des langages de programmation. Le projet en 7 dates.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > Chronologie

Lire la suite

Coq : 30 années de travail d’équipe

Julien Thèves, Citizen Press -

Conçu il y a trente ans dans le laboratoire de Paris-Rocquencourt de l'INRIA, l’assistant de preuve Coq continue de mobiliser les équipes de recherche. Son développement continu témoigne de l’intérêt que lui porte la communauté scientifique, et maintenant le secteur économique.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > COQ > 30 ans de travail d’équipe

Lire la suite

Haut de page

Suivez Inria