Microsoft Research Cambridge, public talks

Scaling wireless services

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Wenjun Hu, Microsoft Research Asia.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 04 December 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

Handling Multitude of Nash Equilibria in Voting Games

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Omer Lev, Hebrew University of Jerusalem.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 28 November 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

MIT Media Lab's Information Ecology Group

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Henry Holtzman, MIT Media Lab.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 09 November 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

Dynamically Enforcing Knowledge-based Security Policies

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin

Michael Hicks, University of Maryland.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 12 October 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Probabilistic Latent Tensor Factorisation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Taylan Cemgil, Bogazici University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 01 October 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

A new metric on kernel matrices with applications to matrix means

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Suvrit Sra, Max-Planck Institute for Biological Cybernetics in Tübingen (Germany).

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 27 September 2012, 10:00-10:45

Microsoft Research Cambridge, public talks

Convergent and Scalable Algorithms for Expectation Propagation Approximate Bayesian Inference

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Matthias Seeger, EPFL.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 25 September 2012, 15:00-16:00

Microsoft Research Cambridge, public talks

On Synthesis of Verification Tools

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Andrey Rybalchenko, Technische Universität München.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 25 September 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Fast and Reliable Online Learning to Rank for Information Retrieval

o This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin

Katja Hofmann, University of Amsterdam.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 24 September 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Craig Interpretation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Aws Albarghouthi, University of Toronto.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 10 September 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

From Pose Estimation to Fine Grained Activity Recognition

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Micha Andriluka, Max Planck Institute for Informatics.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 06 September 2012, 15:00-16:00

Microsoft Research Cambridge, public talks

Satisfiability: connecting logic and probability

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

ramdas aaditya, CMU and intern.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 22 August 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

HyperDex: A Consistent, Fault-tolerant, Searchable NoSQL Store

Bernard Wong, University of Waterloo.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 20 August 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Verifying Concurrent Programs with Relaxed Conflict Detection

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Serdar Tasiran, Koç University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 17 August 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Concurrent Data Representation Synthesis

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Mooly Sagiv, Tel-Aviv University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 14 August 2012, 10:30-12:00

Microsoft Research Cambridge, public talks

Achieving High Data Rates in a Distributed MIMO System

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Horia Vlad Balan, USC.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 07 August 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

On Agent Failures in Totally Balanced Cooperative Games

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Nisarg Shah, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 02 August 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Causality for Free! Parametricity Implies Causality for Functional Reactive Programs

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Alan Jeffrey, Bell Labs.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 23 July 2012, 14:00-15:30

Microsoft Research Cambridge, public talks

Human Computing and Crowdsourcing in Search

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Gabriella Kazai, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 03 July 2012, 16:45-17:45

Microsoft Research Cambridge, public talks

Towards Predictable Data Centers- Why Johnny can't use the cloud and what can we do about it?

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Thomas Karagiannis, Microsoft Research Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 03 July 2012, 15:15-16:15

Microsoft Research Cambridge, public talks

Planetary prediction services for society

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Matthew Smith, Microsoft Research Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 03 July 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

The RCUK Digital Economy Theme – A Catalyst for Change

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Dr. John G. Baird, Lead for the RCUK Digital Economy Theme, EPSRC.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 20 June 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

Probabilistic Programming and Probabilistic Databases for Large-scale Knowledge-base Construction

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Andrew McCallum, University of Massachusetts Amherst.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 19 June 2012, 13:00-14:00

Microsoft Research Cambridge, public talks

Energy Debugging in Smartphones

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Y. Charlie Hu, Purdue.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 19 June 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Web Science: Politics, Demographics and More

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Ingmar Weber.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 14 June 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Weightedness and Structural Characterization of Hierarchical Simple Games

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Tatiana Gvozdeva, NTU Singapore.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 09 May 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Weightedness and Structural Characterization of Hierarchical Simple Games

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Tatiana Gvozdeva, NTU Singapore.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 02 May 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Learning and Discovery of Clinically Useful Information from Medical Images

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Daniel Rueckert, Imperial College London.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 26 April 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

Rekeyable Ideal Cipher from a Few Random Oracles

Elena Andreeva, K.U. Leuven.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 23 April 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Computer Assisted Interventions: Challenges in design, development, validation and deployment of novel techniques

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Nassir Navab, Computer Aided Medical Procedures & Augmented Reality.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 13 April 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

Building Flexible High-Performance Key-Value Systems

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Amar Phanishayee, Carnegie Mellon University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 10 April 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

The science of guessing

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Joseph Bonneau (Cambridge University).

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 05 April 2012, 09:30-10:30

Microsoft Research Cambridge, public talks

Mean Field Equilibria of Dynamic Auctions with Learning

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Krishnamurthy Iyer, Stanford University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 03 April 2012, 09:00-10:00

Microsoft Research Cambridge, public talks

From certified languages to their certified implementations

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Pierre-Yves Strub.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 02 April 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

Towards Networks without Management Complexity

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Theophilus Benson, University of Wisconsin, Madison.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 02 April 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Towards Networks without Management Complexity

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Theophilus Benson, University of Wisconsin, Madison.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 02 April 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Mementos, Memento Mori, and More: Digital Assets across the Human Lifespan

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Michael Massimi, University of Toronto.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 02 April 2012, 09:00-09:45

Microsoft Research Cambridge, public talks

Communication Complexity and When Dubious Data Structures can be Detected

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Ranganath Kondapally, Dartmouth College.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 29 March 2012, 09:00-10:00

Microsoft Research Cambridge, public talks

Non-Interactive Verifiable Computation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Bryan Parno, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 28 March 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Ethnography: Understanding natural interaction with our communication technologies

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Karine Lan Hing Ting, Telecom ParisTech.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 27 March 2012, 11:00-11:45

Microsoft Research Cambridge, public talks

Methods in decision theory for conservation research

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Will Probert, University of Queensland.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 27 March 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Solutions for a sustainable and desirable future

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Ida Kubiszewski.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 26 March 2012, 10:45-11:45

Microsoft Research Cambridge, public talks

Searching, Scanning and Smelling - a portfolio presentation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

David Sweeney, London College of Fashion.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 26 March 2012, 09:50-10:35

Microsoft Research Cambridge, public talks

Your Abstractions are Worth^H^H^H^H^HPowerless!Non-Volatile Storage and Computation on Embedded Devices*(*Batteries Not Included)

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Kevin Fu, University of Massachusetts Amherst.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 21 March 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

A joint part- and pixel-wise approach to human pose estimation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Lubor Ladický, Oxford Brookes University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 20 March 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

Machines Learning Human Minds

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Michal Kosinski, Cambridge University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 20 March 2012, 09:30-10:30

Microsoft Research Cambridge, public talks

ORCHID: Human-agent collectives for disaster response and the smart grid

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Alex Rogers, University of Southampton.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 16 March 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Towards Practical Randomization in Concurrent Data Structures

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Dan Alistarh, EPFL.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 15 March 2012, 09:00-10:00

Microsoft Research Cambridge, public talks

Decision Theory in Conservation Biology, from Systematic Conservation Planning to Scenario-Based policy assessments

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Piero Visconti, Global Mammal Assessment Program in Rome.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 13 March 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

Short and long-term effects of climate, disturbance, and forest management on regional carbon storage and emissions under current and proposed policy plans

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Tara W. Hudiburg, Oregon State University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 12 March 2012, 10:00-11:00

Microsoft Research Cambridge, public talks

A Population Approach to System Design

Matthew Chalmers, Glasgow University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 01 March 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

A Population Approach to System Design

Matthew Chalmers, Glasgow University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 01 March 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

Evaluating User-Adaptive Systems: Lessons from Experiences with a Personalized Meeting Scheduling Assistant

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Neil Yorke-Smith, American University of Beirut and SRI International.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 17 February 2012, 11:00-12:00

Microsoft Research Cambridge, public talks

The Undiscovered Continents of Human Potential

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Jaron Lanier, Microsoft.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 24 January 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Naiad: Iterative and Incremental Data-Parallelism using Differential Dataflow

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Derek Murray, Microsoft Research Silicon Valley.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 14 December 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Concurrency Assertions – Providing the Right Semantics to ASSERT Statements

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Madan Musuvathi, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 24 November 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Complementing User-Level Coarse-Grain Parallelism with Implicit Speculative Parallelism

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Nikolas Ioannou - University of Edinburgh.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 22 November 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Bayesian Computation Without Tears: Probabilistic Programming and Universal Stochastic Inference

Vikash Mansinghka, MIT.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 21 November 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Real versus Realistically Rendered Ground Truth: Can we use Computer Graphics for Performance Evaluation?

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Daniel Kondermann, Heidelberg Collaboratory for Image Processing (HCI).

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 18 November 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Spanish forest dynamics: Constraining models with data

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Emily Lines, PhD Student, Forest Ecology and Conservation Group, Plant Sciences, Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 16 November 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

CMA-ES – a Stochastic Second-Order Method for Function-Value FreeNumerical Optimization

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Nikolaus Hansen, INRIA.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 09 November 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

The Marriage of Bisimulations and Kripke Logical Relations

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Derek Dreyer, MPI-SWS.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 01 November 2011, 15:00-16:00

Microsoft Research Cambridge, public talks

Information Retrieval based Program Synthesis

T-yiwei Yi (Jason) Wei, ETH Zurich.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 01 November 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Large-scale Retrieval with Ivory and MapReduce

Tamer Elsayed, Cairo Microsoft Innovation Centre (CMIC).

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 31 October 2011, 10:30-11:30

Microsoft Research Cambridge, public talks

Analysing biological information processing with mechanistic modular models

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Neil Dalchau, Microsoft Research Ltd..

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 31 October 2011, 09:00-10:00

Microsoft Research Cambridge, public talks

Poirot — a concurrency sleuth

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Shaz Qadeer, Microsoft Research Redmond.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 25 October 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Natural Interactions & Computing for Global Development at MSR India

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Ed Cutrell, MSRA.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 18 October 2011, 13:00-14:00

Microsoft Research Cambridge, public talks

Abstractions in Satisfiability Solvers

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Vijay D'Silva, Oxford University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 09 September 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

SpecNet: Spectrum Sensing Sans Fronti`eres

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Vishnu, MSR India Navda.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 05 September 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

"Coupled dynamics of traits and populations in response to environmental change".

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Arpat Ozgul, University of Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 31 August 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Vector Commitments with Efficient Protocols for Privacy-preserving Smart Billing Applications

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Alfredo Rial Duran, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 26 August 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Energy Functionals: Choices and Consequences For Medical Image Segmentation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Chris McIntosh, SFU.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 18 August 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Practical Boogie (on the example of VCC)

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Michal Moskal, MSR Redmond.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 11 August 2011, 11:30-12:30

Microsoft Research Cambridge, public talks

Statistical learning for structural neuroimaging data

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin

Remi Cuingnet, ICM Paris.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 11 August 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

"Egalitarian Gradient Descent": A General Preconditioning Scheme for Deformable Image Registration

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Darko Zikic, TU Munich.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 09 August 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Tunable Static Inference for Generic Universe Types

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Werner M Dietl, University of Washington.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 02 August 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Perception by "Patterns" in the Brain

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Mush Okun, Imperial College London.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 27 July 2011, 15:00-16:00

Microsoft Research Cambridge, public talks

Stochastic signal encoding strategies in cells

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

James Locke, Department of Biology, California Institute of Technology.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 21 July 2011, 14:30-15:30

Microsoft Research Cambridge, public talks

A Language for Type-Safe Web Programming

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Cervesato Iliano, Carnegie Mellon University — Qatar Campus.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 19 July 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Probing the basis of neuronal branching

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Dr. Hermann Cuntz, Institute of Clinical Neuroanatomy, Goethe-University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 15 July 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Plant Organs Regeneration: Measuring and Modelling Self‐Organization

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Giovanni Sena Ph.D., New York University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 13 July 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

From Gene Networks to Tissue Engineering: Computational Models of Pattern Formation

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

Dagmar Iber, Computational Biology ETH Zurich.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 07 July 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Some recent developments in approximate inference: learning and control

David Barber, University College London.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 06 July 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Search is not only about the Web - An Overview on Printed Document Search and Patent Search

Walid Magdy, Dublin City University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 05 July 2011, 14:30-15:30

Microsoft Research Cambridge, public talks

Scaling transaction processing through data-oriented execution

- This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin

Ippokratis Pandis, Carnegie Mellon University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 04 July 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

How to force unsupervised neural networks to discover the right representation of images

Geoffrey Hinton, University of Toronto.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 23 June 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure

Claudio Soriente, Universidad Politecnica de Madrid.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 21 June 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Coming to Grips with Complexity in Computer-Aided Verification

Kenneth McMillan, Microsoft Research Redmond.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 09 June 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Efficient space-variant deconvolution

Stefan Harmeling, Max-Planck Institute.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 09 June 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Computing for Development: A New High Impact Research Area

Lakshminarayanan Subramanian, NYU.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 07 June 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Is my model too complex? Evaluating model formulation using model reduction

Professor Neil Crout, School of Biosciences, University of Nottingham.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 06 June 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Programmable Self-Assembled DNA-Based Autonomous Molecular Devices

John Reif, Duke University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 03 June 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Fences and Stability in Weak Memory Models

Jade Alglave, University of Oxford.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 20 May 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

How to Make Ad Hoc Proof Automation Less Ad Hoc

Derek Dreyer.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 17 May 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Towards a comprehensive assessment of the interactions between the terrestrial biosphere and the climate system

Soenke Zaehle, Max Planck Institute.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 16 May 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Active visual category learning

Sudheendra Vijayanarasimhan.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 09 May 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Bringing Intelligence at the Edges to Accommodate Diversity in the Internet

Fahad Dogar, Carnegie Mellon University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 03 May 2011, 10:30-11:30

Microsoft Research Cambridge, public talks

Algorithmic Market Design: Spectrum Sales and BitTorrent Communities

Ian Kash, Harvard University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 26 April 2011, 13:45-14:45

Microsoft Research Cambridge, public talks

Turing and Darwin: Saving the environment by combining computation and human insight

Gareth Russell, New Jersey Institute of Technology.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 26 April 2011, 09:30-10:30

Microsoft Research Cambridge, public talks

Fuzzy thinking: single neuron variation in RNA state space

Junhyong Kim, University of Pennsylvania.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 20 April 2011, 11:10-12:10

Microsoft Research Cambridge, public talks

Can We Defy Nature’s End?

Lucas Joppa, Microsoft Research Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 20 April 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Fifteen Years of Field Robotics in Australia

Prof Hugh Durrant-Whyte FRS.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 15 April 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

The Complexity of the Homotopy Method, Equilibrium Selection, and Lemke-Howson Solutions

Rahul Savani, University of Liverpool.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 14 April 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Politics, Preferences and Permutations: Probabilistic Reasoning with Rankings

Jonathan Huang.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 14 April 2011, 09:30-10:30

Microsoft Research Cambridge, public talks

Efficient Data Structures for Nonlinear Video Processing

Jiawen Chen, MIT's Computer Science and Artificial Intelligence Laboratory.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 11 April 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Modeling and Evaluating Information Retrieval Results

Evangelos Kanoulas, University of Sheffield.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 11 April 2011, 10:40-11:40

Microsoft Research Cambridge, public talks

Active visual category learning

Sudheendra Vijayanarasimhan, University of Texas at Austin.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 11 April 2011, 09:30-10:30

Microsoft Research Cambridge, public talks

Molecular evolution of stochastic switching

Orkun S. Soyer, University of Exeter.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 08 April 2011, 15:00-16:00

Microsoft Research Cambridge, public talks

Molecular evolution of stochastic switching

Orkun S. Soyer, University of Exeter.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 08 April 2011, 15:00-16:00

Microsoft Research Cambridge, public talks

Spatial Tactile Feedback Support for Mobile Touch-screen Devices

Koji Yatani, University of Toronto.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 08 April 2011, 10:40-11:40

Microsoft Research Cambridge, public talks

3D Reconstruction meets GPGPU meets Image Analysis

Christopher Zach.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 08 April 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Training Random Forests with Ambiguously Labeled Data

Christian Leistner.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 07 April 2011, 10:30-11:30

Microsoft Research Cambridge, public talks

Representing and Querying Large-scale Uncertainty

Prithviraj Sen.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 07 April 2011, 09:30-10:30

Microsoft Research Cambridge, public talks

Guessing Program Annotations with Probabilistic Inference

Aditya Nori, Microsoft Researcher.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 06 April 2011, 15:00-16:00

Microsoft Research Cambridge, public talks

High-level Languages for Low-level Systems

Geoffrey Mainland, Harvard University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 01 April 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Research of the new Computer Vision and Mulitmodal Computing at MPI Sarrbruecken

Bernt Schiele, MPI Saarbrueck.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 30 March 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Executable Knowledge for Molecular Systems Biology

Walter Fontana, Harvard Medical School.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 30 March 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Longitudinal Evaluation of API Usability and Designing Support for Collaborative Search around the Tabletop

Jens Gerken, University of Konstanz.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 29 March 2011, 15:30-16:30

Microsoft Research Cambridge, public talks

Learning generative models of images by factoring appearance and shape

Nicolas Heess.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 29 March 2011, 09:30-11:30

Microsoft Research Cambridge, public talks

“Otherworld” - Giving Applications a Chance to Survive OS Kernel Crashes

Alexandre Depoutovitch, University of Toronto.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 28 March 2011, 11:15-12:15

Microsoft Research Cambridge, public talks

Software Synthesis using Automated Reasoning

Ruzika Piskac, EPFL.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 28 March 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Machine Learning for WLAN Positioning

Teemu Roos, Helsinki Institute for Information Technology HIIT.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 22 March 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Hidden Markets: Designing Efficient but Simple Electronic Markets

Sven Sueken, Harvard University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 21 March 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Optimization for Pixel Labeling Problems With Structured Layout

Olga Veksler, the University of Western Ontario.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 18 March 2011, 13:00-13:45

Microsoft Research Cambridge, public talks

Energy Minimization with Label Costs and Applications in Multi-Model Fitting

Boykov Yuri, The University of Western Ontario.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 18 March 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Parameter Search and Robustness Analysis from Temporal Logic Specifications in Biochemical Reaction Networks

Aurélien Rizk.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 17 March 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Reasoning about concurrent stochastic systems

Radu Mardare, Aalborg University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 15 March 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Frugal Procurement Auction Design

Mahyar Salek, University of Southern California.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 03 March 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Logic and Probability: The Computational Connection

Adnan Darwiche, UCLA.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 22 February 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Learning and Coordination in Networks

Mengel Friederike, Maastricht University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 15 February 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

Making OpenCL simple with Haskell

Ben Gaster, AMD.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 25 January 2011, 13:00-14:00

Microsoft Research Cambridge, public talks

Albert Atserias, Universitat Politècnica de Catalunya, Microsoft Research Lectures

Albert Atserias, Universitat Politècnica de Catalunya.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 25 January 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Cooperation, Power and Conspiracies

Yoram Bachrach, Microsoft Research.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 24 January 2011, 10:00-11:00

Microsoft Research Cambridge, public talks

Experience and problems with compiling data parallel languages

Paul Cockshott, Glasgow University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Wednesday 19 January 2011, 11:00-12:00

Microsoft Research Cambridge, public talks

Branching vs. Linear Time: Semantical Perspective

Moshe Vardi, Rice University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 06 January 2011, 14:00-15:00

Microsoft Research Cambridge, public talks

CIEL: a universal execution engine for distributed data-flow computing

Derek Murray, University of Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 17 December 2010, 10:00-11:00

Microsoft Research Cambridge, public talks

Improving the energy model of stereo matching algorithms

Michael Bleyer, TU Vienna.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 14 December 2010, 10:00-10:45

Microsoft Research Cambridge, public talks

Propagation of Rumour Through a Social Network

Vladimir Barash, Microsoft Research Cambridge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 13 December 2010, 14:30-15:15

Microsoft Research Cambridge, public talks

Network Economics seminar / Diffusion and Cascading Behavior in Random Networks

Marc LeLarge.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 10 December 2010, 11:00-12:00

Microsoft Research Cambridge, public talks

Towards Automation of Protein NMR

Babak Alipanahi.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 10 December 2010, 10:00-11:00

Microsoft Research Cambridge, public talks

How Hard is Competition for Rank?

Paul Goldberg, University of Liverpool.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 09 December 2010, 16:00-17:00

Microsoft Research Cambridge, public talks

Software Lock Elision for x86 Machine Code

Amitabha Roy.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 09 December 2010, 10:00-11:00

Microsoft Research Cambridge, public talks

Towards a Non-Commutative Logic of Effects,

Noam Zeilberger.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 02 December 2010, 11:00-12:00

Microsoft Research Cambridge, public talks

Lifted Message Passing: A Step Towards Gaining a 'Big Picture' View on AI

Kristian Kersting.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 30 November 2010, 10:00-11:00

Microsoft Research Cambridge, public talks

Realizability and Parametricity in Pure Type Systems: An application

Jean-Philippe Bernardy, University of Gothenburg.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 23 November 2010, 11:15-12:15

Microsoft Research Cambridge, public talks

Polynomial Learning of Distribution Families

Kaushik Sinha.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 23 November 2010, 10:00-11:00

Microsoft Research Cambridge, public talks

Verification of Imperative Programs Through Characteristic Formulae

Arthur Charguéraud, INRIA.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 18 November 2010, 13:00-14:00

Microsoft Research Cambridge, public talks

How can we model complex ecosystems with stochastic interactions between individuals at different spatial and temporal scales? Some case studies

Tim Benton, University of Leeds.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 09 November 2010, 13:00-14:00

Microsoft Research Cambridge, public talks

Modelling ecological systems under environmental change.

Matthew Evans, University of Exeter.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Tuesday 09 November 2010, 11:00-12:00

Microsoft Research Cambridge, public talks

Three Small Steps ... to Reconceiving Machine Learning

Prof. Bob Williamson, Australian National University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Monday 08 November 2010, 11:00-12:00

Microsoft Research Cambridge, public talks

Using SAT Solvers for Cryptographic Problems

Mate Soos, Pierre and Marie Curie University.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 05 November 2010, 14:00-15:00

Microsoft Research Cambridge, public talks

Async in Visual Basic and C# - worth the Await!

Mads Torgersen & Lucian Wischik.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Friday 05 November 2010, 12:00-13:00

Microsoft Research Cambridge, public talks

A relationship-based approach to the verification of multi-object invariants

Stephanie Balzer, ETH Zurich.

Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Thursday 04 November 2010, 14:00-15:00