Il y a 3 Résultats avec le mot clé : "Fonctions mathématiques"
Partenariat scientifique
Forum 2011 Labo MSR-Inria
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 :
- Microsoft research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Accueil > Actualité > Actualités Inria > Forum 2011 Labo MSR-Inria
Laboratoire commun
Forum Microsoft Research Inria 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 :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Actualité > Agenda > Forum Microsoft Research Inria 2011
Laboratoire commun
Forum Microsoft Research Inria 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 :
- Microsoft research
- Laboratoire commun
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- Saclay - Île-de-France
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
Accueil > Centre > Paris - Rocquencourt > Agenda > Forum Microsoft Research Inria 2011
Inria
Inria.fr
Inria Channel
Centres de recherche Inria