ERCIM News 68

Image ERCIM News 68 cover page

January 2007
Special theme:
Traffic Planning and Logistics

This issue in pdf
(68 pages; 7.5 Mb)
Next issue
October 2014
Next special theme:
Software Quality
Call for the next issue
Get the latest issue to your desktop
RSS Feed

A Joint INRIA-Microsoft Research Laboratory

INRIA and Microsoft have inaugurated a joint fundamental research laboratory in Orsay near Paris on 11 January 2007. For several years, INRIA and Microsoft Research have been working together to push forward research in the software industry field, a key sector in the 'weightless economy' that was the subject of a recent report submitted to the French ministry of economy.

The joint laboratory will employ around 30 top-level researchers who will devote their time to two key fields in computer science research and, more broadly, scientific research: using formal methods to demonstrate long theorems, or to validate communication protocols, and creating a new avenue of research in computer science dedicated to the interaction of significant volumes of data generated by modern scientific experimentation. The results of this research will be made public and accessible to the scientific community.

Link:
http://www.msr-inria.inria.fr/index.html