There are 7 Results with the keyword : "Microsoft Research"
Scientific partnership
Forum 2011 MSR Inria
On April 12th, Inria and Microsoft will organize a forum, to be held at Le Campus Microsoft, to celebrate four years of existence of the research centre created jointly by the two partners. This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations.
Keywords:
- Microsoft Research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Home > News > News from Inria > Forum 2011 Labo MSR-Inria
Partnership - Microsoft, Andrew Herbert, Michel Cosnard, Valérie Pécresse
Microsoft and Inria renew their collaboration
After three years of a collaboration that has produced a great deal of recognised and promising scientific findings, Microsoft and Inria are confirming the continuance of their partnership. With Valérie Pécresse, French Minister for Higher Education and Research, and Steve Ballmer, Chief Executive Officer of Microsoft in attendance, Michel Cosnard, Chairman and CEO of Inria and Andrew Herbert, Director of Microsoft Research Cambridge, signed a fresh agreement renewing the running of their joint research centre for a four year term.
Keywords:
- Microsoft research
- Joint research centre
- Valérie Pécresse
- Steve Ballmer
- Partnership
- Press release
- Michel Cosnard
- Andrew Ballmer
Home > News > Mediacentre > Microsoft et Inria renouvellent leur collaboration
Laboratoire commun
Forum Microsoft Research Inria 2011
You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.
Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Guests : 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
Keywords:
- Microsoft research
- Joint Laboratory
- Formal Methods
- E-Sciences
- Proofs
- TLA+
- Coq
- Ssreflect
- Mathematical Functions
- ReActivity
- Computer vision
- Machine learning
- Saclay - Île-de-France
Home > News > Calendar > Forum Microsoft Research Inria 2011
Technology Transfer at Inria
Strategic partnerships with large industrial players
The strategic partnerships that Inria establishes are long-term bilateral partnerships with large industrial groups, formalized in a framework agreement. A research program is developed jointly by Inria and its partner based on the industrial player’s proposed priority topics. Research projects, fitting into this program, are then developed jointly by Inria’s teams and the partner. In addition, a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly.
Keywords:
- ST Microelectronics
- Strategic partnerships
- Industry partnerships
- Alcatel Lucent
- EDF
- Microsoft Research
Home > Innovation > Partnerships & Transfer of technology > Partenariats stratégiques
Shared laboratories
Promoting upstream research with industry
Inria places great importance in the transferring of its research to benefit industry. This process has a major impact on the economy and also, in general terms, society. In order to promote research upstream with industry, the institute has created a system of shared laboratories with long-standing partners. These laboratories have been created with a view to removing technological barriers on major, well-defined subjects. Each partner dedicates significant human resources.
Keywords:
- Industry
- Microsoft research
- Alcatel Lucent
- Transfer
- Interoperability
- Communication network
- Microsoft Research
- Self-organised network
- Optimization
- Software
- Programming
- Reliability security
- Formal method
- Partnership
- EIT ICT Labs
- Joint laboratory
- Green Touch
- Bell Labs
Home > Research > Research teams > Laboratoires communs
Joint laboratory
Microsoft Research-Inria Joint Centre
The creation of a joint laboratory with Microsoft Research, one of the biggest private research centres in the world, constitutes a first in the history of our institute.
Keywords:
Home > Centre > Saclay > Research > Microsoft Research-Inria Joint Centre
Laboratoire commun
Forum Microsoft Research Inria 2011
You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.
Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Guests : 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
Keywords:
- Microsoft research
- Joint Laboratory
- Formal Methods
- E-Sciences
- Proofs
- TLA+
- Coq
- Ssreflect
- Mathematical Functions
- ReActivity
- Computer vision
- Machine learning
- Saclay - Île-de-France
Home > Centre > Paris - Rocquencourt > Calendar > Forum Microsoft Research Inria 2011
Inria
Inria.fr
Inria Channel
Inria Research Centers