The tenth annual Microsoft eScience Workshop will be held in Beijing in conjunction with the IEEE International Conference on eScience. It will continue the ongoing dialogue centered on applications in broad areas of scientific investigation, such as environmental studies, bioinformatics, and climate understanding; present new results in data modeling; and provide an opportunity for open discourse on developments in urban computing.

Since its founding in 2008, Microsoft Research New England has pursued new, interdisciplinary areas of research that bring together traditional mathematical sciences, such as theoretical computer science, machine learning, physics, and mathematics itself, with other sciences, including social sciences such as empirical economics, sociology, and psychology, and the biological and biomedical sciences.

In this second workshop on Wearable Systems for Industrial Augmented Reality Applications we will discuss the following topics, related to wearable computing and AR technologies: core technologies, such as hardware, AR development kits or AR-enabled software; software architectures and applications concepts; as well as business ideas and case studies of AR systems within the industrial context.

Static Analysis Symposium

Secure multi-party computation (MPC) allows a set of parties to compute a function of their inputs while preserving input privacy and correctness. MPC has been an active area of research of cryptography for over 30 years. The last decade has witnessed significant interest and advances in the applied aspects of MPC. This workshop will bring together researchers in security and cryptography to discuss recent advances, challenges and research directions related to applied secure computation.

Programming contest associated with the International Conference on Functional Programming (ICFP)

This workshop aims to bring together researchers and practitioners from industry and academia to discuss health search and discovery. There is a particular focus on ways to make medical information more readily accessible to laypeople (including enhancements to ranking algorithms and search interfaces), and, additionally, how we can discover new medical facts and phenomena from information sought by people, as evidenced in their logged query streams as well as other sources such as social media.

Organized by Microsoft Research in cooperation with Yandex and Lomonosov Moscow State University, the Microsoft School on Algorithms for Massive Data (ALMADA) offers students a unique opportunity to learn about fundamental and state-of-the-art results on algorithms and systems for processing massive datasets. The school offers four courses on technical topics, and additional lectures will provide context for real-life applications and business opportunities.

Help us shape the way Microsoft Research thinks about design.

The fourteenth annual Microsoft Research Faculty Summit brings leading academic researchers and educators together with Microsoft researchers and engineers, to share ideas and results around some of today’s most exciting new directions. Key subjects to be discussed this year include machine and human intelligence, software engineering, computer vision, and quantum computing.

An annual Microsoft Research event, the PhD Summer School is for Microsoft Research-sponsored PhD students and other invited PhD students in their first or second year from universities and research institutions with which Microsoft Research partners. In addition to lectures, the program includes students’ poster presentations and evening social events.

A satellite workshop of Logic in Computer Science (LICS 2013)

The focus of this workshop is on formal language specification frameworks and how they scale up when applied to larger languages. The workshop provides a forum for discussing practical and theoretical issues, and aims to promote dissemination and collaboration between the developers and users of language specification frameworks.

This tutorial, collocated with ACM MobiSys 2013, covers outdoor and indoor location sensing for mobile devices.

The goal of this workshop is to bring together crowd-wisdom experts from different fields including computational economics, algorithmic game theory, information systems, cognitive science, human-computer interaction, and of course, machine learning.

PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems.

There is an obvious and urgent need to build usable predictive models of important environmental phenomena to increase our scientific understanding, inform policy and enable decision-making from governments, to business and individuals. This free, one-day workshop will bring together key stakeholders from academia, research, NGOs and government to explore how Microsoft Research can work most effectively to make its tools usable, useful and interoperable with the environmental community.

Microsoft in collaboration with the Singapore White Spaces Pilot Group is organizing a global summit on Dynamic Spectrum Access (DSA) and TV White Space (TVWS), to be held on June 17th, 2013. The conference will showcase the accumulation of worldwide efforts in putting DSA into practice.

Microsoft Research is proud to be a Gold Supporter of the 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI). At PLDI, researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages. PLDI emphasizes innovative approaches to compile-time and runtime technology, novel language designs and features, and implementation results.

The goal of this three day workshop is to provide a basic introduction to Information Retrieval along with a good bit of hands-on experience in using existing tools and resources to build a complete end-to-end IR system. The specific focus of the workshop will be to equip the participants with technical know-how and theoretical background needed for participating in the FIRE 2013 shared tasks on Multilingual and Cross-lingual IR, especially for Indian languages.

Verified Concurrent Programmes: Theory, Tools and Experiments workshop held in Cambridge UK.

Summer School on Formal methods and Networks, Cornell 2013

This Workshop is a cross-disciplinary event on Games, Networks and Markets at the intersection of Computer Science and Economics.

The idea behind this summit is to grab the opportunity, when some of the thought leaders in our field will be together in one location, to discuss the latest and the greatest wireless technologies they are working on.

Microsoft Research Asia held the annual workshop of Japan's CORE (collaborative research) projects in Beijing on May 23, 2013. Approximately 50 faculty members, students, and Microsoft researchers discussed current research topics and reviewed Japan's collaborative projects. Presenters introduced some of the latest projects from Microsoft Research and Microsoft technologies, and the workshop included demo sessions as well as discussions about the latest research trends