Il y a 7 Résultats avec le mot clé : "Microsoft research"
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
Partenariat - Centre de recherche Microsoft
Microsoft et Inria renouvellent leur collaboration
Après trois années d’une collaboration riche de résultats scientifiques reconnus et prometteurs, Microsoft et l’Inria confirment le développement de leur partenariat. En présence de Valérie Pécresse, ministre de l’enseignement supérieur et de la recherche et de Steve Ballmer, Chief Executive Officer de Microsoft, Michel Cosnard, président directeur général de l’Inria et Andrew Herbert, Directeur de Microsoft Research Cambridge signent un nouvel accord renouvelant l’activité du Centre de recherche commun pour une durée de quatre ans.
Mots-clés :
- Microsoft research
- Centre de recherche commun
- Partenariat
- Communiqué
- Andrew Herbert
- Valérie Pégresse
- Michel Cosnard
Accueil > Actualité > Médiacenter > Microsoft et Inria renouvellent leur collaboration
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
Partenariats
Les partenariats stratégiques avec les grands industriels
Les partenariats stratégiques que met en place Inria sont des partenariats bilatéraux et de long terme avec de grands groupes industriels, formalisés dans un contrat-cadre. Un programme de recherche est élaboré conjointement pour Inria et son partenaire, sur la base des thématiques prioritaires proposées par l’industriel. Des projets de recherche, s'inscrivant dans ce programme, sont ensuite construits conjointement par les équipes d'Inria et du partenaire. De plus, un comité de pilotage et un comité scientifique garantissent la cohérence et la bonne marche de la collaboration.
Mots-clés :
- ST Microelectronics
- Partenariats stratégiques
- Partenariats industriels
- Alcatel-Lucent
- EDF
- Microsoft Research
Accueil > Innovation > Partenariats & transfert technologique > Partenariats stratégiques
Laboratoires communs
Favoriser la recherche amont avec l’industrie
Inria met un point d’orgue sur le transfert de ses recherches vers l’industrie. Ce processus impact fortement l’économie et aussi, de manière générale, la société. Afin de favoriser la recherche en amont avec l'industrie, l’institut crée avec des partenaires de très longue date des laboratoires communs. Ces laboratoires sont crées dans le but de lever des verrous technologiques sur des sujets majeurs et ciblés. Chaque partenaire y consacre d’importants moyens humains.
Mots-clés :
- Laboratoire commun
- Microsoft research
- Alcatel-Lucent
- Transfert
- Partenariat
- Industrie
- Microsoft Research
- Méthode formelle
- Fiabilité securité
- Programmation
- Logiciel
- Alcatel Lucent
- Optimisation
- Réseau auto-organisé
- Réseau de communication
- EIT ICT Labs
- Interopérabilité
- Green Touch
- Bell Labs
Accueil > Recherches > Equipes de recherche > Laboratoires communs
Laboratoire commun
Microsoft Research-Inria Joint Centre
La création d’un laboratoire commun avec Microsoft Research, l’un des plus grands centres de recherche privée dans le monde, constitue une première dans l’histoire de notre institut.
Mots-clés :
Accueil > Centre > Saclay > Recherche > Partenariats > Microsoft Research-Inria Joint Centre
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