{"id":563,"date":"2014-04-03T04:00:00","date_gmt":"2014-04-03T04:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/msr_er\/2014\/04\/03\/workshop-launches-joint-research-center-in-spain\/"},"modified":"2017-02-07T16:15:19","modified_gmt":"2017-02-08T00:15:19","slug":"workshop-launches-joint-research-center-in-spain","status":"publish","type":"post","link":"https:\/\/www.microsoft.com\/en-us\/research\/blog\/workshop-launches-joint-research-center-in-spain\/","title":{"rendered":"Workshop launches joint research center in Spain"},"content":{"rendered":"

With labs around the globe, Microsoft Research is ideally positioned to partner with leading academic and research institutes worldwide. One of the latest examples of this international cooperation is the Madrid Joint Research Center, a collaborative venture between Microsoft Research and the\u00a0IMDEA Software Institute (opens in new tab)<\/span><\/a>. Now we are pleased to announce the center\u2019s inaugural activity: a software workshop that takes place April 2 to 4, 2014, at IMDEA Software Institute\u2019s campus in Madrid.<\/p>\n

\"IMDEA
\nThe Microsoft Research and IMDEA Software Institute Collaboration Workshop (opens in new tab)<\/span><\/a> will bring together researchers from both partners and will focus on advances in verification, programming languages, and security. Thirty-six researchers and 20 students are involved in the collaboration, and, to date, some 20 papers have resulted from their joint work, with more in preparation.<\/p>\n

At a workshop that emphasizes collaboration, it is heartening to hear about joint work that has been completed, as well as proposals for new initiatives. A prime example of the first kind is will be described in the keynote by Alexy Gotsman from IMDEA. He will talk about a new framework and set of proofs that tighten up the semantics of modern databases underlying large-scale Internet services that guarantee immediate availability\u2014a joint project from Microsoft Research, INRIA (opens in new tab)<\/span><\/a>, and the University of Oxford (opens in new tab)<\/span><\/a>.<\/p>\n

Said Manuel Hermenegildo, director of the institute, \u201cFollowing the workshop, the center will broaden its reach to work with Microsoft in the following categories: cloud storage systems and mobile platforms; cloud\/web security\/malware detection; cryptography and privacy; concurrency, parallelism, and memory models; and programming languages and verification.\u201d<\/p>\n

This will, we hope, be the first of many such workshops at the center, providing researchers and students a forum to discuss their collaborative work on hot topics in software. I am pleased to organize this joint research center with Georges Gonthier (opens in new tab)<\/span><\/a> from Microsoft Research and Manuel Hermenegildo (opens in new tab)<\/span><\/a>\u00a0and Gilles Barthe (opens in new tab)<\/span><\/a> from IMDEA Software Institute.<\/p>\n

\u2014Judith Bishop, Director of Computer Science, Microsoft Research Connections<\/em><\/p>\n

Learn more<\/strong><\/p>\n