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

Partenariat scientifique

Forum 2011 Labo MSR-Inria

Céline Acharian - 18/03/2011

Le 12 avril prochain, l'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

Intervenants : 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 - Rocquencourt > 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 - Rocquencourt > Innovation > "Une ADT pour Coq "

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

Intervenants : 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 - Rocquencourt > Agenda > Forum Microsoft Research Inria 2011

lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social