COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
pb400's list
Add to your list(s)
Send you e-mail reminders
Further detail
A personal list of talks. If you have a question about this list, please contact: Dr Pradipta Biswas. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 850 talks in the archive. Microsoft Research Cambridge, public talks The second generation of meta-learning methodsMassimiliano (Max) Patacchiola, University of Cambridge. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 November 2022, 13:00-14:00 Microsoft Research Cambridge, public talks Assisting in the response to the COVID19 pandemic using internet data, Dr Elad Yom-Tov - MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Dr Elad Yom-Tov, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 May 2022, 11:00-12:00 Microsoft Research Cambridge, public talks Distributed distributional codes for learning successor features in partially observable environmentsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eszter Vértes, Gatsby Unit, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 February 2020, 13:00-14:00 Microsoft Research Cambridge, public talks Sankie: Using Data to Build Better Systems and ServicesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Microsoft Research-India. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 11 February 2020, 11:00-12:00 Microsoft Research Cambridge, public talks Machine Learning MeetupMarc Brockschmidt (MSR Cambridge) and Vincent Dutordoir (Prowler). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 January 2020, 17:30-19:30 Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Zachary Chase Lipton, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 January 2020, 15:00-16:00 Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Zachary Chase Lipton, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 January 2020, 14:00-15:00 Microsoft Research Cambridge, public talks Algorithmic Differentiation (AD) Beyond Back PropagationUwe Naumann, RWTH Aachen University, and NAG Ltd., Oxford, UK. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 23 January 2020, 11:30-12:30 Microsoft Research Cambridge, public talks Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dr Pablo Rodriguez - Telefonica Alpha. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 12 December 2019, 11:00-12:00 Microsoft Research Cambridge, public talks The Mobile Computing Platform after Smartphones - Prof Romit Roy Choudhury: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof Romit Roy Choudhury, UIUC. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 December 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Photonic-chip-based soliton microcombs Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tobias Kippenberg: École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 November 2019, 13:30-15:00 Microsoft Research Cambridge, public talks Advanced polarized light microscopy for mapping molecular orientation Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Prof Rudolf Oldenbourg, Marine Biological Laboratory, MA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 September 2019, 09:30-11:00 Microsoft Research Cambridge, public talks Three case studies for coexisting mechanisms in protein-pattern forming systemsFridtjof Brauns, LMU Munich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 September 2019, 10:30-11:30 Microsoft Research Cambridge, public talks Modeling User Experience in Games: Lessons LearnedPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gerogios Yannakakis, University of Malta. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 September 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Physical security and side channel attacks in Arm based SoCs Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Chowdary Yanamadala & Jeremy Dubeuf, ARM. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 09 August 2019, 11:00-12:00 Microsoft Research Cambridge, public talks Using reason and evidence to do the most goodEve McCormick - Effective Altruism Cambridge & Olly Crook - University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 31 July 2019, 14:00-15:00 Frontiers in Artificial Intelligence Series How good is your classifier? Revisiting the role of evaluation metrics in machine learningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Sanmi Koyejo, University of Illinois . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 31 July 2019, 11:00-12:00 Microsoft Research Cambridge, public talks Antennas for light and their applications in classical optics Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dr Rupert Oulton, Imperial College . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 July 2019, 16:00-17:30 Microsoft Research Cambridge, public talks PRECOG: PREdiction Conditioned On Goals in Visual Multi-Agent SettingsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rowan McAlister, University of California, Berkeley. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 June 2019, 13:30-14:30 Microsoft Research Cambridge, public talks Photons in the cloud: communicating and storing dataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof John H Marsh, University of Glasgow. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 June 2019, 16:00-17:30 Microsoft Research Cambridge, public talks Photonics for Computing: from Optical Interconnects to Neuromorphic ArchitecturesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nikos Pleros, Aristotle University of Thessaloniki, Greece. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 June 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. University of Waterloo. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 24 April 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. University of Waterloo. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 24 April 2019, 10:00-11:00 Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 2Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Richard Turner Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2019, 09:30-11:00 Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 1Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Richard Turner Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 April 2019, 10:30-12:00 Microsoft Research Cambridge, public talks MSR Cambridge Cloud Talk Series; Structured light: seeing less to see more in optical microscopy Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Professor of Photonics, Mark Neil, Imperial College London . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 March 2019, 16:00-17:00 Microsoft Research Cambridge, public talks What difference does one tonne make?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. David Carter, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 15 March 2019, 13:00-14:00 Open Issues in Build SystemsUlf Adams, Google. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 March 2019, 10:00-11:00 Frontiers in Artificial Intelligence Series Neural Code Comprehension: A Learnable Representation of Code SemanticsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tal Ben-Nun, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 28 February 2019, 13:00-14:00 Frontiers in Artificial Intelligence Series What Can Fair ML Learn from Economic Theories of Distributive Justice?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Hoda Heidari, ETH Zurich . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 January 2019, 13:00-14:00 Microsoft Research Cambridge, public talks Idris 2: Type Driven Development of Idris Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Edwin Brady, St Andrews University . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 27 November 2018, 11:00-12:00 Microsoft Research Cambridge, public talks Flux: Elegant Machine Learning with Julia Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Mike Innes, Julia Computing, Inc.. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 October 2018, 17:00-18:00 Simulation for Intelligent SystemsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Vladlen Koltun, Intel. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 August 2018, 13:00-14:30 Microsoft Research Cambridge, public talks Neural Ordinary Differential Equations Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof David Duvenaud (University of Toronto). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 July 2018, 15:00-16:00 Frontiers in Artificial Intelligence Series Interpretability in Machine Learning: What it means, How we're getting there Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Finale Doshi-Velez, Harvard University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 July 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Combating Student Mental Illness with Technology—from the Imagine Cup UK FinalsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Michaela Brady and Shu Ishida, Oxford University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 11 July 2018, 15:00-16:00 Microsoft Research Cambridge, public talks DiCE: The Infinitely Differentiable Monte-Carlo Estimator Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Jakob Foerster, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 June 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Herding Nulls – and other C# stories from the futurePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Mads Torgersen, Microsoft Research Redmond. Auditorium , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 June 2018, 11:00-12:00 Microsoft Research Cambridge, public talks Windows Insider ProgramPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dona Sarkar and Jeremiah Marble, Microsoft Research Redmond. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 04 June 2018, 14:15-15:00 Frontiers in Artificial Intelligence Series Optimal algorithms for smooth and strongly convex distributed optimization in networks Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francis Bach, INRIA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 January 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Bayesian Generative Adversarial Networks Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andrew Wilson, Cornell University. Auditorium , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 December 2017, 11:00-12:00 Microsoft Research Cambridge, public talks Let’s speed up the Internet, fast! Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof. Ankit Singla - ETH Zürich. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 15 November 2017, 11:00-12:00 Microsoft Research Cambridge, public talks Rethinking the Quantified Self to make personal data engaging and usefulPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Steve Whittaker, University of California Santa Cruz. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 13 November 2017, 14:00-15:00 Microsoft Research Cambridge, public talks Open Evening for Women in EngineeringChris Bishop. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 27 September 2017, 17:30-21:00 Frontiers in Artificial Intelligence Series Probabilistic and Deep Models for 3D Reconstruction Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andreas Geiger, Max Planck Institute for Intelligent Systems. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 September 2017, 13:00-14:00 Microsoft Research Cambridge, public talks Manifest Sharing with Session TypesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Stephanie Balzer, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 08 September 2017, 11:00-12:00 Frontiers in Artificial Intelligence Series Coin Betting for Backprop without Learning Rates and More Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francesco Orabona, Stony Brook University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 24 August 2017, 13:00-14:00 Frontiers in Artificial Intelligence Series How Can NLP Help Cure Cancer? Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Regina Barzilay Massachusetts Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 August 2017, 13:00-14:00 Microsoft Research Cambridge, public talks AI and Healthcare Open Evening at Microsoft ResearchChristopher Bishop. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 07 June 2017, 17:30-19:30 Microsoft Research Cambridge, public talks Composition and Inheritance in Declarative Configuration LanguagesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Anderson, University of Edinburgh. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 May 2017, 10:00-11:00 Microsoft Research Cambridge, public talks Composition and Inheritance in Declarative Configuration LanguagesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Anderson, University of Edinburgh. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 May 2017, 10:00-11:00 Frontiers in Artificial Intelligence Series Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Aapo Hyvarinen (University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 May 2017, 13:00-14:00 Microsoft Research Cambridge, public talks Microsoft & the Future of Education Technology & Learning Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Ian Fordham, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 April 2017, 13:00-14:00 Microsoft Research Cambridge, public talks Predicting 3D Volume and Depth from a Single View Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gabriel Brostow (University College London). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 April 2017, 10:30-11:30 Microsoft Research Cambridge, public talks Predicting 3D Volume and Depth from a Single View Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gabriel Brostow (University College London). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 April 2017, 10:30-11:30 Microsoft Research Cambridge, public talks Security and Privacy in Machine LearningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nicolas Papernot, Pennsylvania State University. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 March 2017, 13:15-14:15 Microsoft Research Cambridge, public talks Security and Privacy in Machine LearningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nicolas Papernot, Pennsylvania State University. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 March 2017, 13:15-14:15 Microsoft Research Cambridge, public talks Generalizing Convolutions for Deep LearningPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof. Max Welling (University of Amsterdam). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 29 March 2017, 13:00-14:30 Microsoft Research Cambridge, public talks Disrupting Developer Productivity One Bot At A Time, Margaret-Anne (Peggy) Storey, University of Victoria / Microsoft TSEPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Margaret-Anne Storey - University of Victoria / Microsoft TSE. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 March 2017, 15:30-17:00 Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rustan Leino, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 December 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rustan Leino, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 December 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Engineering the Future: Engineering in Artificial Intelligence at Microsoft Research CambridgeChristopher Bishop. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 23 November 2016, 17:15-19:30 Microsoft Research Cambridge, public talks Flexible PaxosPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Heidi Howard, University of Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 November 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Unsupervised Cluster Matching for Relational DataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tomoharu Iwata, NTT Communication Science Laboratories. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 November 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Kit Yate, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 October 2016, 14:00-15:00 Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Kit Yate, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 October 2016, 14:00-15:00 Microsoft Research Cambridge, public talks Computing In Schools: How Your Skills Can Change LivesPhilip Golden. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 October 2016, 16:00-17:00 Microsoft Research Cambridge, public talks Queueing with Redundant Requests: A more realistic model Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Mor Harchol-Balter - CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 16 September 2016, 11:00-12:00 Microsoft Research Cambridge, public talks "Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Margaret Burnett, Oregon State University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 02 September 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Horn Clauses for Verification and Synthesis Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andrey Rybalchenko, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 25 August 2016, 10:30-11:15 Microsoft Research Cambridge, public talks Managing Privacy Tradeoffs in the Internet Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required David Naylor - CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 12 August 2016, 15:00-16:00 Microsoft Research Cambridge, public talks Reflections on Code-Reuse Attacks and DefensesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Thorsten Holz, Ruhr-University Bochum. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 August 2016, 16:00-17:00 Microsoft Research Cambridge, public talks Verifying Constant-Time ImplementationsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francois Dupressoir. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 21 July 2016, 14:00-15:00 Microsoft Research Cambridge, public talks An introduction to program verification with F*Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Santiago Zanella-Beguelin, Microsoft Research Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 14 July 2016, 10:30-11:15 Microsoft Research Cambridge, public talks Practical Statically-checked Deterministic ParallelismPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Ryan Newton, Indiana University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 June 2016, 14:00-15:00 Microsoft Research Cambridge, public talks Summer of Science Talks: An Introduction to Discrete Geometry, with application to the Principles of Concurrent Programming Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tony Hoare, Microsoft Research Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 June 2016, 10:30-11:45 Microsoft Research Cambridge, public talks Resource Allocation for Next Generation of Radio Access Networks: how effective are my schedulers?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. Bahar Partov Poor, Hamilton Institute Bell Laboratories. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 May 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMAPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Boris Grot - University of Edinburgh. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 May 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Engineering the Future: an open evening for women in engineeringChristopher Bishop, Microsoft Research, Abigail Sellen, Microsoft Research, Matthew Johnson, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 April 2016, 17:00-19:00 Microsoft Research Cambridge, public talks Admitting more tenants with tail latency SLOsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Timothy Zhu, CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 25 April 2016, 13:30-14:30 Microsoft Research Cambridge, public talks PCC: Re-architecting Congestion Control for Consistent High PerformancePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Michael Schapira, Hebrew University of Jerusalem. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 25 April 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Torsten Sattler, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 April 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Torsten Sattler, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 April 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Pony: Co-Designing a Type System and a RuntimePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Sylvan Clebsch, Imperial College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 March 2016, 11:00-12:00 Microsoft Research Cambridge, public talks General-purpose representation learning from words to sentencesPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Felix Hill, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 March 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Information-Theoretic Bounded RationalityPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Pedro Ortega, University of Pennsylvania. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 22 March 2016, 10:15-11:15 Microsoft Research Cambridge, public talks Stamping Out Concurrency BugsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Baris Kasikci, École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 March 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Parallel Inference and Learning with Deep Structured DistributionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Alexander Schwing, University of Toronto. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 March 2016, 10:15-11:15 Microsoft Research Cambridge, public talks Into the Mountains: The Extraordinary True Story of Survival in the Andes and its AftermathPedro Algorta. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 March 2016, 17:00-18:00 Microsoft Research Cambridge, public talks Freeform interactions and disrupted displaysPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. David Sweeney, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 23 February 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Regularized Optimal Transport and ApplicationsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Marco Cuturi, Kyoto University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 19 February 2016, 10:00-11:00 Microsoft Research Cambridge, public talks What I Learned From Inventing Scala Macros?Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eugene Burmako, École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 February 2016, 09:30-10:30 Microsoft Research Cambridge, public talks What I Learned From Inventing Scala Macros?Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eguene Burmako, Ecole Polytechnique in Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 February 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Opportunistic Storage Maintenance (SOSP’15)Angela Demke Brown, University of Toronto. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 January 2016, 14:30-15:30 Microsoft Research Cambridge, public talks End-user programmers need first-class software engineering toolsFelienne Hermans, Delft University of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 January 2016, 15:00-16:00 Microsoft Research Cambridge, public talks Verasco, a formally verified C static analyzerPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Jacques Henri Jourdan, INRIA Paris. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 January 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Formalising and Analysing Transactional Consistency ModelsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Andrea Cerone. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 January 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Synthesising Gene Regulatory Networks from Single-Cell Gene Expression DataPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Steven Woodhouse, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 January 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Symbiotic design for machine intelligence systemsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Cecily Morrison, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 04 January 2016, 09:30-10:30 Microsoft Research Cambridge, public talks A Decade of ThrillPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Brendan Walker, Middlesex University/University of Nottingham/Aerial. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 14 December 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Model-Based Hand Tracking with Texture, Shading and Self-occlusionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Martin De La Gorce, Ecole des Ponts Paris Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 December 2015, 10:00-11:00 Microsoft Research Cambridge, public talks A Constructive Approach to Secure-Channel ProtocolsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Bjorn Tackmann, University of California San Diego. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 December 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Activity recognition in naturalistic environmentsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nils Yannick Hammerla, Newcastle University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 December 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Modern Deep Learning through Bayesian EyesYarin Gal, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 26 November 2015, 13:00-14:00 Microsoft Research Cambridge, public talks From Boolean to Quantitative Methods in Formal VerificationPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Thomas Henzinger, IST Austria. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 November 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Rethinking Storage and Networking in Next Generation RacksSergey Legtchenko, Post-doc Researcher, Systems & Networking, Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 22 October 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Talking with Reddit: Exploring limitations of recurrent neural network conversational systems.Alexander Gaunt - Trinity College, Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 08 October 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?Prof Sir Timothy Gowers. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 October 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Incremental Neuroevolution of Reactive and Deliberative 3D AgentsAdam Stanton, Keele University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 30 September 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Title to be confirmedMaking sense of language: It's okay to countGabe Recchia, University of Cambridge. Indigo 05-27, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Probabilistic Line Searches for Stochastic Optimisation. Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Maren Mahsereci, Max Planck Institute for Intelligent Systems (Tübingen). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 21 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks The structures of induction and co-induction. Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Downen, University of Oregon.. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 17 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Human factors of software updatesThis 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 Kami Vaniea, University of Edinburgh. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks A Program Logic for Concurrent Objects under Fair SchedulingThis 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 Hongjin Liang, USTC. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 September 2015, 14:30-15:30 Microsoft Research Cambridge, public talks The Power of Negations in CryptographySiyao Guo, The Chinese University of Hong Kong. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks The Power of Negations in CryptographySiyao Guo, The Chinese University of Hong Kong. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Computer-aided Concurrent Programming using Concurrent Trace SetsRoopsha Samanta, IST Austria. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 September 2015, 10:30-11:30 Microsoft Research Cambridge, public talks Towards Cross-fertilization Between Propositional Satisfiability and Data MiningThis 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 LAKHDAR SAÏS, CRIL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Executable Relational Specifications of Polymorphic Type Systems using PrologThis 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 Ki Yung Ahn, Portland State University. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 September 2015, 10:00-11:00 Microsoft Research Cambridge, public talks "Protecting the forward edge: Is that light at the end of the tunnel?"Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Istvan Haller, Vrije Universiteit . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 August 2015, 09:30-10:30 Microsoft Research Cambridge, public talks Plug into the SupercloudThis 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 attendi Hakim Weatherspoon, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 August 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Giorgia Azzurra MarsonSpeaker to be confirmed. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 22 July 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Solving Second-Order Constraints with Program SynthesisThis 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 Cristina David, Oxford University. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 14 July 2015, 11:00-11:45 Microsoft Research Cambridge, public talks Capturing and simulating the interaction of light with the world around us.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 Wenzel Jakob, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 13 July 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impacttalkscam@microsoft.com David Harel, Weizmann Institute of Science, Israel. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 10 July 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Bonsai: Reactive Tools for Data ScienceThis 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 Goncalo Lopes, The Sainsbury Wellcome Centre @ UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 06 July 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Rendering Eyes for Eye-TrackingThis 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 Erroll Wood, Computer Lab, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 29 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Generative Models for Shape and AppearanceThis 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 Neill Campbell, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 26 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data StructuresThis 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 Vasileios Trigonakis, EPFL, Switzerland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 19 June 2015, 13:00-14:00 Microsoft Research Cambridge, public talks VISC: VIRTUAL INSTRUCTION SET COMPUTINGThis 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 Vikram Adve, University of Illinois at Urbana-Champaign. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Intelligible Machine Learning Models for HealthCareThis 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 Rich Caruana, MSR Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 June 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: Toward Causal Machine LearningProf. Dr. Bernhard Schölkopf. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 15 May 2015, 16:45-17:45 Microsoft Research Cambridge, public talks Queues don’t matter when you can Jump them!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 P. Grosvenor, University of Cambridge Computer Laboratory. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 01 May 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Declarative query processing in imperative managed runtimesThis 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 Stratis Viglas, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 27 April 2015, 11:00-12:00 Microsoft Research Cambridge, public talks "... and then just encode it to SAT."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 Martin Brain, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Enabling Connected Cars through Named 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 Giovanni Pau, University Pierre at Marie Curie. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 17 April 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming LanguagesNeil Toronto, University of Maryland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 17 April 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Formal verification approach to modelling biochemical systemsThis 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 Tatjana Petrov, IST Austria. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 14 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Big Dream Documentary Screening and Q&A PanelSara-Jane Dunn, Katja Hofmann, Jasmin Fisher & Sadia Ahmed from Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 April 2015, 16:00-18:00 Microsoft Research Cambridge, public talks An Efficient Solver for string and regular expression constraintsThis 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 Cesare Tinelli, University of Iowa. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks A Visual Programming Language for building Artificial Biochemistries in HaskellThis 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 Lance R. Williams, University of New Mexico. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 April 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Unveiling the Secrets of High-Performance DatacentersThis 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 Schapira, Hebrew University of Jerusalem. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Pushing the Limits of Localization and Capacity in Today's Wi-Fi NetworksThis 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 Jie Xiong, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Social Media Predictive Analytics: Methods and ApplicationsThis 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 Svitlana Volkova, Johns Hopkins University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Can you convince me why your software works?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 Anvesh Komuravelli, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Convex low-rank models: from matrices to tensorsThis 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 Ryota Tomioka, Toyota Technological Institute at Chicago. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 13:30-14:30 Microsoft Research Cambridge, public talks Relational Machine Learning for Knowledge Graphs.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 Maximilian Nickel, MIT. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Supporting the Mobile Nomadic User through Projected User InterfacesChridtian Winkler, Mobile HCI Lab, Ulm University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Ensembles for Discovery of Compact Structures and Learning Back-propagation Forests.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 Madalina Fiterau, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Content Placement as a Key to Leveraging Geo-Distributed Infrastructureso 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 Abhigyan Sharma, University of Massachusetts Amherst. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Text To Programs: Automating Computer Tasks from Natural Language DescriptionsThis 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 Nate Kushman, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Automatic differentiation and machine learningThis 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 Gunes Baydin, Maynooth University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field SensingTobias Große-Puppendahl, Fraunhofer Institute for Computer Graphics Research IGD. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field SensingThis 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 Tobias Große-Puppendahl, Fraunhofer Institute for Computer Graphics Research IGD. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Programming and Proving with Fine-Grained Concurrent ResourcesThis 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 Ilya Sergey, IMDEA Software Institute. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 05 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Design and Evaluation of Proxemic-Aware Environments to Support Epistemic ActivitiesThis 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 Roman Radle, University of Konstanz. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 March 2015, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Workshop: Machine Learning in Cambridge 2015This 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 Sebastian Nowozin, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 March 2015, 09:00-18:00 Microsoft Research Cambridge, public talks Death, Identity, and the Social NetworkThis 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 Jed Brubaker, University of California. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 02 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Considering Tools for Artists, Creative Processes, and Design IdeationThis 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 Golembewski, University of Nottingham. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 25 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Beyond acceleration: time, narratives, and the design of multiple worldsThis 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 Larissa Pschetz, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Un-Computing: Shaking off the ‘Computer’ BaggageThis 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 Sarah Gallacher, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Solving QBF by Counterexample-Guided Abstraction RefinementThis 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 Mikoláš Janota, INESC-ID, Lisbon. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 February 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Protecting encrypted cookies from compression side-channel attacksThis 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 Douglas Stebila, Queensland University of Technology. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 February 2015, 12:00-13:00 Microsoft Research Cambridge, public talks Context-aware programming languagesThis 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 Tomas Petricek, University of Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Towards Full-Stack Security Analysis of Web ApplicationsThis 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 Antoine Delignat-Lavaud. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks The Difficulty of Preventing Code Reuse AttacksThis 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 Felix Schuster, University of Bochum. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 February 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Modeling, Quantifying, and Limiting Adversary KnowledgeThis 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 Piotr Mardziel, University of Maryland, College Park. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 13 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Concurrent Algorithms for Emerging Hardware PlatformsThis 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 Irina Calciu, Brown University . Indigo Meeting room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 12 February 2015, 09:00-10:00 Microsoft Research Cambridge, public talks The Turing trap. How the universal computer is making the internet less secure.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 Harwood and Roger Gross, Silicon Safe Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 February 2015, 14:30-15:30 Microsoft Research Cambridge, public talks Meta-Interpretive Learning and Program InductionThis 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 Stephen Muggleton, Imperial College, London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Manifold correspondence: a signal processing perspectiveThis 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 Bronstein, USI Switzerland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Predictable and Dependable Low-power Wireless NetworksThis 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 Marco Zimmerling, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Engineering at Microsoft Research - Open EveningSpeaker to be confirmed. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 02 February 2015, 17:00-19:00 Microsoft Research Cambridge, public talks Laws of Programming with ConcurrencyThis 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 Sir Tony Hoare, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture - Laws of Programming with ConcurrencyThis 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 Sir Tony Hoare, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Causal Inference and Domain AdaptationThis 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 Jonas Peters, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Cutting tail latency in cloud data stores via adaptive replica selectionThis 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 Marco Canini, Université catholique de Louvain. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 26 January 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Genome-wide transcriptional control of blood cell type identityThis 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 Felicia Ng, Cambridge Institute for Medical Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 26 January 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Democratizing Electronics: Tools, Examples, and Contexts for Supporting the Construction of Personally-Meaningful Interactive ArtifactsThis 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 Mellis, MIT Media Lab. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 16 January 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Dynamic PDP vs. Dynamic POR: Are they really different?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 Alptekin Kupcu, Koc University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 14 January 2015, 11:30-12:30 Microsoft Research Cambridge, public talks Bedrock: A Software Development Ecosystem Inside a Proof AssistantThis 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 Adam Chlipala, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 December 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Checking microarchitectural implementations of weak memoryThis 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 Lustig, Princeton University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 08 December 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Machine Learning in an Exchange EnvironmentThis 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 R. Preston McAfee, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 December 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Platforms and Applications for "Big and Fast" Data AnalyticsThis 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 Yanlei Diao, UMass Amherst. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 December 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Coping with the Intractability of Graphical ModelsThis 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 Justin Domke. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 November 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture Series - Technological Innovation in HealthcareThis 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 Professor The Lord Darzi of Denham PC KBE FRS FMedSci HonFREng. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 November 2014, 16:30-17:30 Microsoft Research Cambridge, public talks The Physical WebThis 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 Scott Jenson, Google. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 12 November 2014, 14:00-15:00 Microsoft Research Cambridge, public talks On Basing One-Way Functions on NP-HardnessThis 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 Christina Brzuska, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 November 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Taming GPU threads with F# and Alea.GPUThis 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 Daniel Egloff, QuantAlea AG. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 03 November 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Reasoning about GADT Pattern Matching in HaskellThis 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 George Karachalias, Ghent University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 22 October 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Robust Distance Queries on Massive NetworksThis 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 Milan Vojnovic. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 20 October 2014, 10:45-11:45 Microsoft Research Cambridge, public talks An Approximate Differentiable RendererThis 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 Loper; Max Planck Institute for Intelligent Systems. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 20 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Ancient lives, new discoveries: eight mummies, eight lives, eight storiesThis 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 Daniel Antoine, Curator of Physical Anthropology, British Museum. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Logic programming beyond PrologThis 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 Maarten van Emden, University of Victoria, Canada. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 14:00-15:00 Microsoft Research Cambridge, public talks RDFox — A Modern Materialisation-Based RDF SystemThis 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 Boris Motik, Oxford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Lottery AuctionsThis 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 Nicola Dimitri, Department of Political Economy & Statistics, University of Siena, Ital. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks A link between lambda calculus and mapsThis 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 Noam Zeilberger, MSR-INRIA Joint Centre. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 07 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks First-person Hyperlapse VideosThis 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 Johannes Kopf, Microsoft Research . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 06 October 2014, 13:00-14:00 Microsoft Research Cambridge, public talks Do Deep Nets Really Need To Be Deep?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 Rich Caruana, Microsoft Research . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 03 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Discursis: A Computational Methodology for the Analysis of Communication DataThis 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 Daniel Angus, The University of Queensland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 01 October 2014, 16:00-17:00 Microsoft Research Cambridge, public talks A Case for using Trend Filtering over SplinesThis 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 Aaditya Ramdas, Carnegie Mellon University . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 26 September 2014, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars Local Deep Kernel Learning for Efficient Non-linear SVM PredictionThis 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 Manik Varma (Microsoft Research India). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 September 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Micro-Policies: A Framework for Tag-Based Security MonitorsThis 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 Benjamin C. Pierce, University of Pennsylvania. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 September 2014, 10:00-11:00 Microsoft Research Cambridge, public talks End of Internship Talk: F# Type Providers: DBpedia and the Combinator FrameworkThis 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 Stevenson, PPT Intern. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 05 September 2014, 10:30-11:00 Microsoft Research Cambridge, public talks Hedging Against Uncertainty via Multiple Diverse PredictionsThis 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 Dhruv Batra, Virginia Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent MachinesThis 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 Devi Parikh, Virginia Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Compositional ModelsThis 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 Yuille, UCLA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Representing microbial communities in Earth system modelsThis 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 Steve Allison, University of California. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 September 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Towards Zero Latency Photonic SwitchingThis 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 Philip Watss, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 28 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Computational Video: Methods for Video Segmentation and Video Stabilization, and their 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 Irfan Essa, Georgia Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Systems, Science and FreeBSDThis 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 George Neville-Neil, Neville-Neil Consulting. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 August 2014, 14:00-15:00 Microsoft Research Cambridge, public talks The Integral Image Method for Fisheye ImagesThis 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 Maria Mikhisor, Department of Computer Science, University of Otago, Dunedin, New Zealand. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 August 2014, 10:00-11:00 Microsoft Research Cambridge, public talks FsLab: Doing data science with F#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 Tomas Petricek, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks A Verified Compiler for Probability Density FunctionsThis 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 Tobias Nipkow, Institute of Informatics Technical Institute of Munich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 24 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Byte Night CambridgeThis 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 Michelle Lamprecht, MathWorks. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 21 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Image representation for synthesis and recognition using multilinear algebraThis 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 Demetri Terzopoulos, Computer Graphics & Vision Laboratory, University of California. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 11 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Brave New World of Next-Generation NoSQL Data StoresThis 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 Emin Gun Sirer, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Steps toward usable verificationThis 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 Francesco Logozzo, MSR Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Practical Techniques for Auto-Active VerificationThis 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 Nadia Polikarpova, ETH Zurich. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks FSCL: homogeneous programming and execution for heterogeneous platformsThis 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 Gabriele Cocco, Biobeats. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 July 2014, 14:00-15:00 Microsoft Research Cambridge, public talks How to Give a Great Research TalkThis 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 Simon Peyton Jones, Microsoft Research Cambridge. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 July 2014, 15:30-16:30 Microsoft Research Cambridge, public talks The Once and Future InternetJon Crowcroft, Computer Lab. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 July 2014, 14:00-15:00 Microsoft Research Cambridge, public talks How to Write a Great Research PaperThis 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 Simon Peyton-Jones, Microsoft Research Cambridge. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 01 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Local Temporal ReasoningThis 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 Eric Koskinen, New York University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 27 June 2014, 10:30-11:30 Microsoft Research Cambridge, public talks A Modular Integration of SAT/SMT Solvers to Coq through Proof WitnessesThis 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 Chantal Keller. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 June 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Games, Learning and Markets WorkshopThis 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 Speaker to be confirmed. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 June 2014, 09:00-17:30 Microsoft Research Cambridge, public talks Geo-replicated storage with scalable deferred update replicationThis 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 Fernando Pedone, University of Lugano. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 June 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Tips and Tools for Scientific Research SuccessThis 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 Speaker to be Confirmed . Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 June 2014, 09:00-16:30 Microsoft Research Cambridge, public talks Algebra of Parameterised GraphsThis 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 Mokhov, Newcastle University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 23 May 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Computer Vision for Movie Making and InfographicsThis 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 Bregler, NYU & ILM. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 23 May 2014, 10:00-11:00 Microsoft Research Cambridge, public talks A Collapsible Approach to Higher Order VerificationThis 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 Hague, Royal Holloway University of London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 22 May 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Thinking for Programmers: Rising Above the CodeThis 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 Leslie Lamport, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 13 May 2014, 17:30-18:30 Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis 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 Steve Clayton, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 08 May 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Mid-level Likelihoods and Constraints for 3D Scene InterpretationThis 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 Fouhey, The Robotics Institute. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 07 May 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Protecting Programs During Resource RetrievalThis 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 Trent Jaeger, Penn State University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 28 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The shadowy life of many webcamsThis 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 Robert Pless, Washington University in St. Louis. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 23 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis 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 Steve Clayton, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 17 April 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Seeing in depth: computations and cortical networksThis 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 Welchman, Department of Psychology, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 April 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Crafting VisualizationsThis 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 Boris Müller, Fachhochschule Potsdam. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Sustainable IT and IT for SustainabilityThis 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 Zhenhua Liu, California Institute of Technology. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 April 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Bandits with Switching Costs: T^{2/3} RegretThis 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 Yuval Peres, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 April 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource ProvisioningThis 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 Vinay Setty, University of Oslo. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Decision Making and Inference under Limited Information and Large DimensionalityThis 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 Stefano Ermon, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 28 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Incremental Parallel and Distributed SystemsThis 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 Pramod Bhatotia, MPI-SWS. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 28 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks IC3 Modulo Theories via Implicit Predicate AbstractionThis 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 Alberto Griggio, Fondazione Bruno Kessler. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Rich semantic representations for detailed visual recognitionThis 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 Subhransu Maji, Toyota Technological Institute at Chicago. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Globally Optimizing Graph Partitioning Problems Using Message PassingThis 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 Elad Mezuman, Hebrew University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Characterizing and Improving Last-Mile Performance Using Home Networking InfrastructureThis 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 Srikanth Sundaresan, College of Computing, Georgia Tech. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Automatic Differentiation - Part One: A Revisionist History and the State of the ArtThis 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 Barak A. Pearlmutter, NUI Maynooth. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Performance Optimizations for Compiler-based Error Detection MethodologiesThis 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 Konstantina Mitropoulou, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Scaling Deep LearningThis 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 Misha Denil, University of Oxford. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 21 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Using ConvNets, MALIS and crowd-sourcing to map the retinal connectomeThis 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 Srini Turaga, Gatsby Unit & Wolfson Institute for Biomedical Research, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 19 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st centuryThis 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 Jonathan Huang, Stanford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Part Detection and Species IdentificationThis 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 Jacobs, Department of Computer Science, University of Maryland. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Performance of Deferred-Acceptance Heuristic AuctionsThis 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 Paul Duetting, Stanford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 17 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Trouble-makers: Audio-video distortions as a relational resource in couples’ video callsThis 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 Sean Rintel, University of Queensland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 14 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Mechanism design for Cloud Computing and CrowdsourcingThis 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 Angelina Vidali, Duke University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Achieving the Full Potential of State Machine Replication: High Throughput, Low Latency, Constant AvailabilityThis 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 Julian Moraru, Carnegie Mellon University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Designing Controller Abstractions for Software-Defined NetworksThis 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 Joshua Reich, Princeton University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 12 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Rethinking State-Machine Replication for Multicore ArchitecturesThis 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 Parisa Jalili Marandi, University of Lugano. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 10 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Computational foundations of Bayesian inference and probabilistic programmingThis 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 Roy, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 February 2014, 11:00-12:00 Microsoft Research Cambridge, public talks An Online Allocation Mechanism with Pre-Commitment and its Application to Electric Vehicle ChargingThis 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 Valentin Robu, University of Southampton. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 20 February 2014, 15:30-16:30 Microsoft Research Cambridge, public talks Generative probabilistic programming: applications and new ideasThis 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 Yura Perov, Oxford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 February 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Topological Data Analysis: potential applications to computer visionThis 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 Vitaliy Kurlin, Durham University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 10 February 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Declarative Static Program AnalysisThis 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 Yannis Smaragdakis, University of Athens. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 03 February 2014, 14:00-15:00 Microsoft Research Cambridge, public talks FaRM: Fast Remote MemoryThis 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 Aleksandar Dragojevic, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 03 February 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The persistence of structure: Layers, time, and the estimation of optical flowThis 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 J. Black , Max Planck Institute for Intelligent Systems. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 January 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Efficient Preconditioning of Laplacian Matrices for Computer GraphicsThis 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 Dilip Krishnan, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 06 January 2014, 11:00-12:00 Microsoft Research Cambridge, public talks A Combinatorial Prediction Market for the US ElectionsThis 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 Sebastien Lahaie, Microsoft Research, New York. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 December 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Bayesian Machine Learning for Controlling Autonomous SystemsThis 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 Marc Deisenroth, Imperial College. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 December 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Real time control with lots of humans in the loopThis 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 University of Southampton. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 December 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Typed functional probabilistic programming: ready for practical use?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 Tom Nielsen, OpenBrain. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 11 December 2013, 10:00-10:45 Microsoft Research Cambridge, public talks Reasoning about Eventual ConsistencyThis 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 Alexey Gotsman, IMDEA Software Institute, Madrid, Spain. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 December 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Principles and Techniques of Automatic DifferentiationThis 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 Laurent Hascoët, INRIA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 December 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Hardware Neural Network AcceleratorsThis 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 Olivier Temam, Inria. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 05 December 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Programming Approximate SystemsThis 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 Adrian Sampson, University of Washington. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 December 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Image Classification Using a Background PriorThis 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 Keren, Department of Computer Science University of Haifa. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 02 December 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Automatic DifferentiationPart One: A Revisionist History and the State of the ArtThis 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 Barak A. Pearlmutter, NUI Maynooth. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 29 November 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Depot: from Byzantine fault tolerance to eventual consistency in a single systemThis 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 Allen Clement, Max Planck Institute for Software Systems . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 November 2013, 11:30-12:30 Microsoft Research Cambridge, public talks Randomized tree ensembles: output kernels and variable importancesThis 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 Geurts, University of Liège. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 November 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Language based web security: the operational semantics approachThis 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 Sergio Maffeis, Imperial College. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 November 2013, 16:00-17:00 Microsoft Research Cambridge, public talks Language based web security: the operational semantics approachThis 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 Sergio Maffeis, Imperial College. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 November 2013, 16:00-17:00 Microsoft Research Cambridge, public talks Algebraic methods in computer vision and automatic generation of efficient algebraic solversThis 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 Zuzana Kukelova, Center for Machine Perception/Martin Bujnak, Capturing Reality s.r.o.. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 November 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Multimodal Gaze-Supported InteractionSophie Stellmach, Technische Universität Dresden. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 November 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Discovering the Structure of Visual Categories from Weak AnnotationsThis 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 Subhransu Maji, Toyota Technological Institute at Chicago. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 08 November 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Memristors: The Future of Computer Memory and Neuromorphic Circuits?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 Panayiotis Georgiou, Imperial College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 25 October 2013, 14:00-15:00 Microsoft Research Cambridge, public talks A Bigger and Faster Bitcoin: an Analysis of High-Rate Bitcoin Transaction ProcessingThis 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 Aviv Zohar, Hebrew University of Jerusalem. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 25 October 2013, 13:00-14:00 Microsoft Research Cambridge, public talks Type Refinement in the AbstractThis 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 Noam Zeilberger, MSR-INRIA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 October 2013, 15:00-16:00 Microsoft Research Cambridge, public talks Reflection methods for user-friendly submodular optimizationThis 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 Francis Bach, ENS Paris, France . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 October 2013, 13:00-14:00 Microsoft Research Cambridge, public talks A Framework for Automatically Enforcing Privacy PoliciesThis 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 Jean Yang, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 October 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Anomaly Detection in the FieldThis 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 Christian Callegari, University of Pisa. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 October 2013, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Compositionality in Vision and LanguageThis 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 Siddharth Narayanaswamy, Purdue University. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 October 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Five machine learning research topics at Oxford CSThis 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 Nando de Freitas, University of British Columbia. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 04 October 2013, 10:30-11:30 Microsoft Research Cambridge, public talks Active Pedestrian Safety: from Research to RealityThis 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 Dariu M. Gavrila, Daimler R&D (Ulm, Germany) and Univ. of Amsterdam (The Netherlands). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 October 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Managing the Network with MerlinThis 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 Nate Foster, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 October 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Robust Models of Mouse Movement on Dynamic Web Search Results PagesThis 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 Fernando Diaz, Microsoft Research New York. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 01 October 2013, 14:00-15:00 Microsoft Research Cambridge, public talks How Watson Learns Superhuman Jeopardy! StrategiesThis 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 Gerald Tesauro, IBM TJ Watson Research Center. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 27 September 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Inextensibility constraints for 3D reconstruction of deformable objectsSara Vicente, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 September 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Auctioning based Coordinated TV White Space Spectrum Sharing for Home NetworksThis 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 Mahesh Marina, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 September 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Big Data and Dark Silicon: Taming Two IT Inflection Points on a Collision CourseThis 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 Babak Falsafi, EPFL - École polytechnique fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 September 2013, 14:30-15:30 Microsoft Research Cambridge, public talks Disciplined Approximate Computing: From Language to Hardware, and BeyondThis 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 Luis Ceze, University of Washington. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 September 2013, 10:00-11:00 Microsoft Research Cambridge, public talks QUIC Graphs: Relational Invariant Generation for ContainersThis 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 Arlen Cox, University of Colorado Boulder/ENS Paris. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 13 September 2013, 16:00-17:00 Microsoft Research Cambridge, public talks Is The Rise of Cloud Storage, Cloud Computing and Social Networks a Consequence of a Failed OS (Operating System) Design?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 Yvo Desmedt, University of Texas. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 13 September 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Want Effective Security Solutions? Let's Re-Think The Design ApproachThis 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 Angela Sasse, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 11 September 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Static Analysis of Cache Side ChannelsThis 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 Boris Koepf, IMDEA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 September 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Proving Equivalences Between Prolog Semantics in CoqThis 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 Jael E Kriener, University of Kent. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 September 2013, 16:00-17:00 Microsoft Research Machine Learning and Perception Seminars Foundations of Neuromechanical Systems Biology: Combining engineering, biology, and mathematics to understand how we moveThis 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 Andrew Spence, The Royal Veterinary College. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 September 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Deep Gaussian ProcessesThis 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 Lawrence, University of Sheffield. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 September 2013, 15:00-16:00 Microsoft Research Cambridge, public talks Censorship Circumvention: Staying Ahead in a Cat-and-Mouse GameThis 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 Nikita Borisov, University of Illinois at Urbana-Champaign. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 August 2013, 16:00-17:00 Microsoft Research Cambridge, public talks 3D Reconstruction using Point-Based FusionThis 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 Damien Lefloch, Seigen University Germany. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 21 August 2013, 14:30-15:00 Microsoft Research Cambridge, public talks Improving Time-of-Flight Range Data QualityThis 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 Andreas Kolb, Seigen University Germany. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 21 August 2013, 14:00-14:30 Microsoft Research Cambridge, public talks The Relationship Between Separation Logic and Implicit Dynamic FramesThis 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 Alexander Summers, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 21 August 2013, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars Strategies for General RecognitionThis 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 Hoiem, University of Illinois at Urbana-Champaign. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 20 August 2013, 13:30-14:30 Microsoft Research Cambridge, public talks Fast and Guaranteed Learning of Overlapping Communities via Tensor MethodsAnima Anandkumar, University of California Irvine. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 19 August 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Datalog for Program Analysis: Beyond the Free LunchThis 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 Mayur Naik, Georgia Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 16 August 2013, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars The cost of principlesThis 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 Abigail See , Research Intern, Microsoft Research Cambridge ,UK. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 14 August 2013, 14:00-15:00 Microsoft Research Cambridge, public talks KAT on a Wire: A Foundation for Network ProgrammingThis 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 Walker, Princeton University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 05 August 2013, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars Lifts of Convex Sets and Cone FactorizationsThis 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 Rekha R. Thomas, University of Washington, Seattle. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 02 August 2013, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Efficient Multi-dimensional Parametric Mincuts for Constrained MAP InferenceThis 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 Kyomin Jung, KAIST. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 02 August 2013, 11:00-12:00 Microsoft Research Cambridge, public talks SWAN: Software-driven wide area networkThis 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 Ratul Mahajan, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 30 July 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Validating SAT RefutationsThis 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 Nathan Wetzler, UT Austin. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 30 July 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Data Structures for Efficient Inference and Optimization in Expressive Continuous DomainsThis 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 Scott Sanner, NICTA and the Australian National University. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 26 July 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Bridging the Discrete and the Continuous in Reasoning about ProgramsThis 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 Swarat Chaudhuri, Rice University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 25 July 2013, 11:00-12:00 Microsoft Research Cambridge, public talks “When is fair sharing optimal?”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 Yair Zick, Nanyang Technological University, Singapore. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 24 July 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Automated Analysis of Probabilistic ProgramsThis 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 Joost-Pieter Katoen, RWTH Aachen. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 July 2013, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Noise estimation by PDE-constrained optimisationThis 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 Schönlieb Carola-Bibiane, Cambridge University. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 July 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Very high speed networking in VMs and bare metalThis 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 Luigi Rizzo, University of Pisa. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 09 July 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Reaping the Benefits of Partial SDN Deployment in Enterprise NetworksThis 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 Marco Canini, T-Labs. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 07 June 2013, 10:00-11:00 Microsoft Research Cambridge, public talks NetFPGA: The Flexible Open-Source Networking PlatformThis 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 Moore, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 June 2013, 11:00-12:00 Microsoft Research Cambridge, public talks MSR-Lecture: Generative Models of Images of ObjectsThis 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 Ali Eslami, University of Edinburgh. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 03 May 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Building Better Questionnaires with Probabilistic ModellingThis 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 Ricardo Silva, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 30 April 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Language-Integrated Quantum Operations: A Software Architecture for Quantum ComputingThis 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 Dave Wecker, Microsoft Research, Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 30 April 2013, 10:00-11:30 Microsoft Research Cambridge, public talks Modular reasoning for modular concurrencyThis 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 Aaron Turon, Max Planck Institute for Software Systems. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 April 2013, 15:00-16:00 Microsoft Research Cambridge, public talks Reconstruction and Applications of Collective Storylines from Web Photo CollectionsThis 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 Gunhee Kim, Carnegie Mellon University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 April 2013, 13:00-14:00 Microsoft Research Cambridge, public talks Theory and Practice of Mix-NetsThis 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 Douglas Wikström, Kungliga Tekniska högskolan. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 April 2013, 09:00-10:30 Microsoft Research Cambridge, public talks Cryptoforma: Computer-Aided Cryptographic proofs with EasyCryptThis 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 Gilles Barthe. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 April 2013, 13:00-14:30 Microsoft Research Cambridge, public talks Understanding and Improving the Efficiency of Failure Resilience for Big Data FrameworksThis 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 Florin Dinu, Rice University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 April 2013, 11:15-12:15 Microsoft Research Cambridge, public talks From Bounded to Unbounded Proofs of CorrectnessThis 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. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2013, 11:15-12:15 Microsoft Research Cambridge, public talks Big Data Analytics with All-or-Nothing Parallel JobsThis 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 Ganesh Ananthanarayanan, University of California. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Intelligent Location-Privacy Preserving MechanismsThis 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 Reza Shokri, EPFL . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Understanding and Improving Device Access ComplexityThis 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 Asim Kadav, University of Wisconsin-Madison. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2013, 09:45-10:45 Microsoft Research Cambridge, public talks The Ramifications of Sharing in Data StructuresThis 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 Jules Villard, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks MSR-Lecture: Gaussian Processes for Pattern Discovery, Speaker: Andrew WilsonThis 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 Wilson, Cambridge Universtiy. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Static Verification for Web Scripting LanguagesThis 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 Ravi Chugh, UC San Diego. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 09 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Graph-Based Reasoning in Separation Logic for Fun and ProfitThis 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 Christoph Haase, LSV at ENS Cachan. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 05 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Programming The Parallelism ZooThis 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 Geoffrey Mainland (Microsoft Research). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Towards Algebra-Oriented ProgrammingThis 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 Bruno Oliveira, National University of Singapore. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 02 April 2013, 10:00-11:00 Microsoft Research Cambridge, public talks CRASH/SAFE: Clean-slate Co-design of a Secure Host ArchitectureThis 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 Catalin Hritcu, University of Pennsylvania . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 28 March 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Austerity in MCM - Land : Cutting the computational BudgetThis 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 Max Welling, University of Amsterdam. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 27 March 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Hypervisor Scheduler Enhancement Using OS-Hardware InteractionsThis 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 Hwanju Kim, KAIST. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 27 March 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Fast Variational Inference in the Conjugate Exponential FamilyThis 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 Hensman, University of Sheffield. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 March 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Proving Termination of Heap-Manipulating Java ProgramsThis 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 Marc Brockschmidt, RWTH Aachen. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 March 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Syntactic Foundations for Machine LearningThis 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 Sooraj Bhat, Georgia Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 March 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Wireless Networking Using Smart RadiosThis 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 Aveek Dutta, University of Colorado. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 March 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Trust and Mistrust on the InternetThis 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 Pranav Dandekar, Stanford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 21 March 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Mechanism design: dealing with interdependencies among agents.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 Sofia Ceppi, Politecnico di Milano. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 20 March 2013, 11:00-12:00 Microsoft Research Cambridge, public talks Privacy and Integrity of Remote Storage and ComputationThis 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 Olga Ohrimenko, Brown University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 20 March 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Semantics\sqcap Scalability\models\bot? Are Semantics and Scalability Incompatible?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 Ian Horrocks, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 March 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Optimal Payments in Dominant-Strategy MechanismsThis 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 Victor Naraditskiy, University of Southampton. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 14 March 2013, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Warped Mixture Models for Meaningful Clustering and Bayesian Manifold LearningThis 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 Duvenaud, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 March 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Achieving High Data Rates in Distributed MIMO SystemsThis 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. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 March 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Reasoning About Client Side Web ProgramsThis 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 Gareth Smith, Imperial College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 27 February 2013, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars New probabilistic methods for inference of natural selection on regulatory sequences in the human genomeThis 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 Adam Siepel, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 February 2013, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Daniel’s Adventures in Computer Vision LandThis 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 Freedman, Microsoft Research – Advanced Technology Labs Israel. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 February 2013, 14:00-15:00 Microsoft Research Cambridge, public talks Modelling road networks in the AmazonThis 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 Sadia Ahmed, Imperial College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 February 2013, 09:00-10:00 Microsoft Research Cambridge, public talks Automated Error Diagnosis Using Abductive InferenceThis 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 Dillig, College of William and Mary, Virginia. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 07 February 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Detecting Sybils without GraphsThis 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 Ben Zhao, University of California. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 06 February 2013, 11:00-12:00 Microsoft Research Cambridge, public talks How do we model global plant physiology? A case study of leaf phenologyThis 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 Silvia Caldararu, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 06 February 2013, 09:00-10:00 Microsoft Research Cambridge, public talks Land use / land cover change and malaria risk in the Amazon regionThis 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 Denis Valle, Levine Science Research Center (LSRC). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 February 2013, 09:00-10:00 Microsoft Research Cambridge, public talks Stratosphere: Massively parallel dataflow programmingThis 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 Kostas Tzoumas, Technical University of Berlin. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 01 February 2013, 10:00-11:00 Microsoft Research Cambridge, public talks Dynamic Fair Division of Multiple ResourcesThis 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, CMU. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 17 December 2012, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars From motion capture of interacting hands to video based rendering.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 Luca Ballan, Institute of Visual Computing in ETH Zurich. Tuesday 04 December 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Scaling wireless servicesThis 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 GamesThis 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 Machine Learning and Perception Seminars Spectral Edge: Making the Invisible VisibleThis 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 Graham Finlayson, UEA. Tuesday 27 November 2012, 14:30-15:30 Microsoft Research Cambridge, public talks Automating Separation Logic ReasoningThis 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 Juan Antonio Navarro Pérez, UCL. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 26 November 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Computing and Autism: How a real-world challenge drives a computing research agendaThis 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 Gregory Abowd, Georgia Tech. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 26 November 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Optimal kernel choice for kernel hypothesis testingThis 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 Arthur Gretton, UCL. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 16 November 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Next Wave of Telco´s InnovationThis 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 Pablo Rodriguez, Telefonica. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 16 November 2012, 13:00-14:00 Microsoft Research Cambridge, public talks TypeScript: JavaScript development at scaleThis 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 Mads Torgersen, Microsoft. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 12 November 2012, 11:00-12:00 Microsoft Research Cambridge, public talks MIT Media Lab's Information Ecology GroupThis 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 A computer-checked proof of the Odd Order theoremThis 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 Georges Gonthier, MSRC. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 08 November 2012, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Towards ad hoc interactions with robotsThis 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 Subramanian Ramamoorthy, University of Edinburgh. Tuesday 23 October 2012, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars From the Information Extraction Pipeline to Global Models, and BackThis 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 Sebastian Riedel, UCL. Tuesday 16 October 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Dynamically Enforcing Knowledge-based Security PoliciesThis 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 Distributed Opportunistic Scheduling: A Control Theoretic ApproachThis 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 Albert Banchs, University Carlos III. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 03 October 2012, 15:00-15:40 Microsoft Research Cambridge, public talks Probabilistic Latent Tensor FactorisationThis 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 meansThis 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 InferenceThis 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 ToolsThis 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 Retrievalo 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 Scale-Out ProcessorsThis 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 Boris Grot, EPFL. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 21 September 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Playing in the Grey Area of ProofsThis 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 Laura Kovács, Technical University of Vienna. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 19 September 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Craig InterpretationThis 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 Machine Learning and Perception Seminars Capture of dynamic scene using multiple cameras provides rich spatial-temporal information that can be used for solving challenging computer vision problems.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 Tali Basha, Tel-Aviv University. Friday 07 September 2012, 14:00-15:00 Microsoft Research Cambridge, public talks From Pose Estimation to Fine Grained Activity RecognitionThis 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 Machine Learning and Perception Seminars Tell Me Where You’ve Lived and What You Want -- I’ll Tell You What You Like and NeedThis 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 Abraham Bernstein, University of Zurich. Thursday 30 August 2012, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Latent Hough Transform for Object DetectionThis 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 Nima Razavi, ETH Zurich and Intern at Microsoft Research Cambridge. Wednesday 29 August 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Satisfiability: connecting logic and probabilityThis 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 Machine Learning and Perception Seminars Context sensitive information: Which bits matter in 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 Joachim Buhmann, ETH Zurich. Tuesday 21 August 2012, 14:00-15:00 Microsoft Research Cambridge, public talks HyperDex: A Consistent, Fault-tolerant, Searchable NoSQL StoreBernard 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 DetectionThis 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 SynthesisThis 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 SystemThis 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 GamesThis 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 Cube and Conquer: Guiding CDCL SAT Solvers by LookaheadsThis 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 Marijn Heule, U. of Texas, Austin. Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 02 August 2012, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars SmartDesign: Living with Geometric ComplexityThis 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 Niloy Mitra, University College London. Tuesday 31 July 2012, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Part A: Non-parametric image optimization & Part B: Crowdsourcing gaze data collectionThis 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 Goldman, Adobe Inc. Tuesday 24 July 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Causality for Free! Parametricity Implies Causality for Functional Reactive ProgramsThis 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 Machine Learning and Perception Seminars Multi-Label Learning with Millions of Categories & Generalized Multiple Kernel Learning with a Million KernelsThis 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 Manik Varma, Microsoft Research, India. Thursday 19 July 2012, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Prediction Strategies without LossThis 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 Rina Panigrahy, Senior Researcher, MSR-Silicon Valley Campus. Friday 13 July 2012, 11:00-12:00 Microsoft Research Cambridge, public talks How to present a poster at an international conferenceThis 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 Sue Duraikan, Duraikan Training. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 06 July 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Body Part Recognition: Making Kinect RobustThis 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 Jamie Shotton, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 05 July 2012, 09:30-10:30 Microsoft Research Cambridge, public talks F# TutorialThis 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 Tomas Petricek, University of Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 17:00-19:00 Microsoft Research Cambridge, public talks .NET Gadgeteer: A Platform for Custom DevicesThis 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 Scarlet Schwiderski-Grosche, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 16:30-17:00 Microsoft Research Cambridge, public talks Microsoft Research Connections and Cloud Computing for ScienceThis 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 Fabrizio Gagliardi, Microsoft Research Connections. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 15:00-16:00 Microsoft Research Cambridge, public talks How to give a great research talkThis 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 Simon Peyton-Jones, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 14:00-15:00 Microsoft Research Cambridge, public talks How to write a great research paperThis 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 Simon Peyton-Jones, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Microsoft Academic SearchThis 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 Wade, Microsoft Research Connections. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 04 July 2012, 09:30-10:30 Microsoft Research Cambridge, public talks Proving that programs eventually do something goodThis 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 Byron Cook, Microsoft Research Cambridge. Large 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 Human Computing and Crowdsourcing in SearchThis 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 Machine Learning for medical Image AnalysisThis 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 Antonio Criminisi, Microsoft Research. Large 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 societyThis 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 Realizing Touchless Interaction in the Operating TheatreThis 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 Helena Mentis, Microsoft Research. Large 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 Functional first programming in an information-rich worldThis 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 Kenji Takeda, Microsoft Research Connections. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 03 July 2012, 11:00-12:00 Microsoft Research Cambridge, public talks How reciprocity renders networks irrelevant for cooperation in social dilemmasThis 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 Anxo Sanchez, Universidad Carlos III de Madrid. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 16:30-17:15 Microsoft Research Cambridge, public talks Aggregators and the News Industry: Charging for Access to ContentThis 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 Rutt, University of Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 15:00-15:45 Microsoft Research Cambridge, public talks Treasure HuntThis 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 Markus Mobius, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Network Design and DefenceThis 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 Marcin Dziubinski, University of Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 12:00-12:45 Microsoft Research Cambridge, public talks Blotto On Facebook: The Effect of Social Relations On Strategic InteractionThis 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 Pushmeet Kohli, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 11:15-12:00 Microsoft Research Cambridge, public talks Game theory for Security: Key Algorithmic Principles, Deployed Systems, Lessons LearnedThis 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 Milind Tambe, University of Southern California. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Decentralized Auctions for Uniformly Semimodular BiddersThis 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 Mahyar Salek, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 29 June 2012, 09:15-10:00 Microsoft Research Cambridge, public talks Managing air traffic disruptions through strategic prioritizationThis 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 Ian Kash, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 28 June 2012, 16:30-17:15 Microsoft Research Cambridge, public talks Scarce attention and the value of page rank in online searchThis 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 Paul Seabright, Toulouse School of Economics. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 28 June 2012, 15:30-16:30 Microsoft Research Cambridge, public talks Harvesting the Wisdom of CrowdsThis 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 Yoram Bachrach, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 28 June 2012, 14:15-14:50 Microsoft Research Cambridge, public talks Communication networks in marketsThis 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 Edoardo Gallo, University of Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 28 June 2012, 13:30-14:10 Microsoft Research Cambridge, public talks Machine Learning for medical Image AnalysisThis 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 Antonio Criminisi, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 22 June 2012, 15:15-16:15 Microsoft Research Cambridge, public talks The RCUK Digital Economy Theme – A Catalyst for ChangeThis 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 ConstructionThis 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 SmartphonesThis 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 MoreThis 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 Machine Learning and Perception Seminars The Inverted Multi-IndexThis 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 Victor Lempitsky, Yandex. Thursday 07 June 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Information Spreading in Social NetworksThis 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 Flavio Chierichetti. Cambrigde Computer Lab, Lecture Theatre 1. Tuesday 22 May 2012, 13:30-14:30 Microsoft Research Cambridge, public talks Weightedness and Structural Characterization of Hierarchical Simple GamesThis 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 GamesThis 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 Machine Learning and Perception Seminars Topic Models for Human Activity UnderstandingThis 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 Timothy Hospedales, Queen Mary University, London. Tuesday 01 May 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Learning and Discovery of Clinically Useful Information from Medical ImagesThis 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 OraclesElena 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 Verification and Synthesis by SciductionThis 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 Sanjit Seshia, University of California, Berkeley. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 19 April 2012, 15:30-16:30 Microsoft Research Cambridge, public talks Confining the Ghost in the Machine: Using Types to Secure JavaScript SandboxingThis 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 Shriram Krishnamurthi, Brown University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 18 April 2012, 10:30-11:30 Microsoft Research Cambridge, public talks Efficient Cryptography for the Next Generation Secure CloudThis 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 Alptekin Küpçü, Koç University. Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 17 April 2012, 16:00-17:00 Microsoft Research Cambridge, public talks Computer Assisted Interventions: Challenges in design, development, validation and deployment of novel techniquesThis 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 Mathematical modelling on remotely-sensed dynamics of marine primary producersThis 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. Shovonlal Roy, University of Oxford. Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 10 April 2012, 11:30-12:30 Microsoft Research Cambridge, public talks Generating Code by LearningThis 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 Yi Wei, ETH Zurich. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 10 April 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Learning and Representing: a Jointly Optimal ApproachThis 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 Xinhua Zhang, University of Alberta. Large 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 Building Flexible High-Performance Key-Value SystemsThis 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 guessingThis 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 Efficient Machine Learning with High Order and Combinatorial Structureso 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 Danny Tarlow. Large 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 LearningThis 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 implementationsThis 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 Empirical evidence in privacy economicsThis 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 Sören Preibusch. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 02 April 2012, 10:35-11:20 Microsoft Research Cambridge, public talks Towards Networks without Management ComplexityThis 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 ComplexityThis 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 Supporting Active Reading Activities With a Multi-Slate SystemThis 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 Nicholas Chen, University of Maryland. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 02 April 2012, 09:50-10:35 Microsoft Research Cambridge, public talks Mementos, Memento Mori, and More: Digital Assets across the Human LifespanThis 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 Compositional Inter-Language Relational VerificationThis 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 Chung-Kil Hur, Max Planck Institute for Software Systems. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 30 March 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Communication Complexity and When Dubious Data Structures can be DetectedThis 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 ComputationThis 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 technologiesThis 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 researchThis 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 futureThis 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 presentationThis 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 Sampling based on local signal analysis: applications to photo-realistic imagery and beyondThis 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 Kartic Subr. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 22 March 2012, 10:30-11:30 Microsoft Research Cambridge, public talks Algebraic Foundations to Effect-Dependent OptimisationsThis 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 Ohad Kammar, Edinburgh University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 22 March 2012, 10:00-11:00 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 estimationThis 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 Approaches to Multiscale Modelling of Complex SystemsThis 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 Harold Fellerman, University of Southern Denmark. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 20 March 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Machines Learning Human MindsThis 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 Mean Field Equilibria of Dynamic Auctions with LearningThis 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. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 20 March 2012, 09:00-10:00 Microsoft Research Cambridge, public talks Efficient Range Querying in Distributed GamesThis 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 Sergey Legtchenko, UPMC-LIP6 in Paris. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 19 March 2012, 11:00-12:00 Microsoft Research Cambridge, public talks Understanding variability and temporal trends in biosphere-atmosphere CO2 exchange through integrating models with dataThis 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. Trevor Keenan, Harvard University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 19 March 2012, 10:00-11:00 Microsoft Research Cambridge, public talks ORCHID: Human-agent collectives for disaster response and the smart gridThis 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 Machine Learning and Perception Seminars ORCHID: Human-agent collectives for disaster response and the smart grido 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 Alex Rogers, University of Southampton. Friday 16 March 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Towards Practical Randomization in Concurrent Data StructuresThis 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 Malleability in Modern CryptographyThis 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 Markulf Kohlweiss, MSRC. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 14 March 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Decision Theory in Conservation Biology, from Systematic Conservation Planning to Scenario-Based policy assessmentsThis 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 plansThis 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 DesignMatthew 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 DesignMatthew 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 Machine Learning and Perception Seminars Sequential Decision Making in Experimental Design and Sustainability via Adaptive SubmodularityThis 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 Andreas Krause, ETH Zurich. Wednesday 29 February 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Exploring Compression and the Aesthetics of CreativityThis 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 Mark Bedworth. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 27 February 2012, 15:00-16:00 Microsoft Research Cambridge, public talks Evaluating User-Adaptive Systems: Lessons from Experiences with a Personalized Meeting Scheduling AssistantThis 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 Machine Learning and Perception Seminars Exploiting Variable Impedance for Robotics: Mimic or Optimize?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 Sethu Vijayakumar, Department of Informatics, University of Edinburgh. Tuesday 14 February 2012, 14:00-15:00 Microsoft Research Cambridge, public talks Covering problems arising in Gamma Knife radiosurgeryThis 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 Leo Liberti, CNRS/Ecole Polytechnique. Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 03 February 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Security in untrusted storageThis 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 Christian Cachin, IBM Research - Zurich. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 30 January 2012, 15:00-16:00 Microsoft Research Cambridge, public talks The Undiscovered Continents of Human PotentialThis 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 Practical Abstractions for Dynamic and Parallel SoftwareThis 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 Umut Acar, Max Planck Institute. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 12 January 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Homomorphic Encryption from Ring Learning with ErrorsThis 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 Naehrig, Technische Universiteit Eindhoven. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 10 January 2012, 10:00-11:00 Microsoft Research Cambridge, public talks High-throughput, Multiscale modelling approaches for understanding bacterial signallingThis 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 Benjamin Hall, UCL. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 05 January 2012, 10:00-11:00 Microsoft Research Cambridge, public talks Naiad: Iterative and Incremental Data-Parallelism using Differential DataflowThis 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 Machine Learning and Perception Seminars Closing the gap between weakly and fully supervised methodsThis 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 Vittorio Ferrari, ETH Zurich. Thursday 01 December 2011, 15:00-16:00 Microsoft Research Cambridge, public talks Bound Analysis of Imperative Programs with the Size-change AbstractionThis 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 Florian Zuleger, TU Wien. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 01 December 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Concurrency Assertions – Providing the Right Semantics to ASSERT StatementsThis 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 ParallelismThis 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 InferenceVikash 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 Machine Learning and Perception Seminars Beyond the Piece of Cardboard: Learning to Adjust PhotographsThis 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 Sylvain Paris, Research Scientist at Adobe. Friday 18 November 2011, 14:00-15: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 dataThis 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 OptimizationThis 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 Machine Learning and Perception Seminars PARIS: Probabilistic Alignment of Relations, Instances, and SchemaThis 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 Fabian Suchanek, INRIA. Friday 04 November 2011, 10:00-11:00 Microsoft Research Cambridge, public talks The Marriage of Bisimulations and Kripke Logical RelationsThis 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 Machine Learning and Perception Seminars Probabilistic programs and the computability and complexity of Bayesian reasoningThis 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 Roy, University of Cambridge. Tuesday 01 November 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Information Retrieval based Program SynthesisT-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 MapReduceTamer 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 modelsThis 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 sleuthThis 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 IndiaThis 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 Machine Learning and Perception Seminars Exclusive Pólya Urns and their applicationso 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 Christian Steinruecken. Tuesday 11 October 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Structured Prediction Models for High-level Computer Vision TasksThis 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 Sebastian Nowozin, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 28 September 2011, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Information-Greedy Global OptimisationThis 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 Philipp Hennig, Max Planck Institute for Intelligent Systems. Tuesday 13 September 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Abstractions in Satisfiability SolversThis 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 The IITM Model and its Application to the Analysis of Real-World Security ProtocolThis 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 Ralf Küsters, University of Trier. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 08 September 2011, 13:30-14:30 Microsoft Research Cambridge, public talks SpecNet: Spectrum Sensing Sans Fronti`eresThis 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 Machine Learning and Perception Seminars Mechanism Design without Money via Stable MatchingThis 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 Ning Chen, Nanyang Technical University. Thursday 01 September 2011, 14:00-15: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 ApplicationsThis 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 SegmentationThis 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 dataThis 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 RegistrationThis 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 Machine Learning and Perception Seminars SocialFusion: Fusing Mobile, Sensor, and Social Computing in the Cloud To Enable Next-Generation Context-Aware ApplicationsThis 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 Richard Han, University of Colorado Boulder. Tuesday 02 August 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Tunable Static Inference for Generic Universe TypesThis 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 BrainThis 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 cellsThis 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 ProgrammingThis 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 branchingThis 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‐OrganizationThis 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 Machine Learning and Perception Seminars Principles of Humanoid Locomotion ControlThis 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 Aaron Hertzmann, University of Toronto. Tuesday 12 July 2011, 14:00-15:00 Microsoft Research Cambridge, public talks From Gene Networks to Tissue Engineering: Computational Models of Pattern FormationThis 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 controlDavid 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 SearchWalid 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 present a poster at an international conferenceThis 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 Sue Duraikan, Duraikan Training. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 01 July 2011, 11:00-12:00 Microsoft Research Cambridge, public talks Rough guide to being an entrepreneurThis 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 Jack Lang, University of Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 30 June 2011, 14:00-15:00 Microsoft Research Cambridge, public talks GadgeteerThis 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 • Nicolas Villar, MSRC. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 30 June 2011, 11:00-12:00 Microsoft Research Cambridge, public talks Blue skies to ground truth: Machine learning for Kinect human motion captureThis 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 Fitzgibbon, Microsoft. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 30 June 2011, 09:30-10:30 Microsoft Research Cambridge, public talks Computer science as applied philosophyThis 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 Tony Hoare, MSR Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 29 June 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Making the most of your PhD; now and in your careerThis 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 Tennie Videler, Vitae. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 29 June 2011, 09:30-10:30 Microsoft Research Cambridge, public talks How to give a great research talkThis 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 Simon Peyton-Jones, MSRC. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 28 June 2011, 14:00-15:00 Microsoft Research Cambridge, public talks How to write a great research paperThis 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 Simon Peyton-Jones, MSRC. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 28 June 2011, 11:00-12:00 Microsoft Research Cambridge, public talks How to force unsupervised neural networks to discover the right representation of imagesGeoffrey 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 InfrastructureClaudio 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 Co-opetition in network tasksYoram Bachrach, Microsoft Research Cambridge. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 17:00-17:45 Microsoft Research Cambridge, public talks Identifying Peer Effects through Randomized Trials in NetworksSinan Aral, New York University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 16:15-17:00 Microsoft Research Cambridge, public talks Network cognition and individual behaviourEdoardo Gallo,Oxford University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 15:30-16:15 Microsoft Research Cambridge, public talks Network Formation in the Presence of Contagious RiskDavid Easley, Cornell University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 14:15-15:00 Microsoft Research Cambridge, public talks Competitive Contagion in NetworksMichael Kearns, University of Pennsylvania. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 13:30-14:15 Microsoft Research Cambridge, public talks Social networks, institutions, and the process of globalizationFernando Vega-Redondo, European University Institute. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 11:45-12:30 Microsoft Research Cambridge, public talks Optimal Communication in TeamsAndreas Galeotti, University of Essex. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 09:45-10:30 Microsoft Research Cambridge, public talks Social Network, Personality, and PerformanceRonald Burt, University of Chicago. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 17 June 2011, 09:00-09:45 Microsoft Research Cambridge, public talks Coming to Grips with Complexity in Computer-Aided VerificationKenneth 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 deconvolutionStefan 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 AreaLakshminarayanan 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 reductionProfessor 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 DevicesJohn 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 ModelsJade 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 HocDerek 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 systemSoenke 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 learningSudheendra 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 InternetFahad 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 CommunitiesIan 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 insightGareth 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 spaceJunhyong 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 AustraliaProf 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 SolutionsRahul 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 Understanding and conserving biodiversity in a changing worldRobert Bagchi, Durham University. Large 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 Politics, Preferences and Permutations: Probabilistic Reasoning with RankingsJonathan 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 Delay Reduction for Adaptive Scheduling in Wireless Networks and Aggregated Equilibrium for Resource Sharing GamesLoc Bui, Stanford University. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 13 April 2011, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Formal Methods in Synthetic BiologyBoyan Yordanov, University of Boston. Tuesday 12 April 2011, 09:20-10:20 Microsoft Research Cambridge, public talks Efficient Data Structures for Nonlinear Video ProcessingJiawen 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 Towards a Colonic Crypt Model with Realistic, Deformable GeometrySara-Jane Dunn, University of Oxford. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 11 April 2011, 11:15-12:15 Microsoft Research Cambridge, public talks Modeling and Evaluating Information Retrieval ResultsEvangelos 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 SSLShader: Cheap SSL Acceleration with Commodity ProcessorsKeon Jang, KAIST. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 11 April 2011, 10:00-11:00 Microsoft Research Cambridge, public talks Active visual category learningSudheendra 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 switchingOrkun 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 switchingOrkun 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 DevicesKoji 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 AnalysisChristopher 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 DataChristian 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 UncertaintyPrithviraj 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 InferenceAditya 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 Tracking and Analysis of Animal MovementRobin Freeman, Microsoft Research. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 05 April 2011, 10:00-11:00 Microsoft Research Cambridge, public talks Programming-Language Techniques for Secure CryptographySantiago Zanella Béguelin, IMDEA. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 04 April 2011, 11:15-12:15 Microsoft Research Cambridge, public talks Optimization under Uncertainty: Understanding the Correlation GapShipra Agrawal, Stanford. Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Monday 04 April 2011, 10:00-11:00 Microsoft Research Cambridge, public talks High-level Languages for Low-level SystemsGeoffrey 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 Machine Learning and Perception Seminars Enforcing topological constraints in energy-based image segmentationChristoph Lampert, IST Austria. Thursday 31 March 2011, 13:00-14:00 Microsoft Research Cambridge, public talks Research of the new Computer Vision and Mulitmodal Computing at MPI SarrbrueckenBernt 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 BiologyWalter 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 TabletopJens 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 Machine Learning and Perception Seminars On a first-order primal-dual algorithm with applications to convex problems in computer visionThomas Pock, Graz University of Technology. Tuesday 29 March 2011, 14:00-15:00 Microsoft Research Cambridge, public talks Learning generative models of images by factoring appearance and shapeNicolas 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 CrashesAlexandre 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 ReasoningRuzika 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 PositioningTeemu 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 MarketsSven 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 LayoutOlga 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 FittingBoykov 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 NetworksAuré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 systemsRadu 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 DesignMahyar 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 ConnectionAdnan 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 NetworksMengel 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 HaskellBen 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 LecturesAlbert 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 ConspiraciesYoram 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 languagesPaul 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 PerspectiveMoshe 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 computingDerek 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 algorithmsMichael 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 NetworkVladimir 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 NetworksMarc 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 NMRBabak 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 CodeAmitabha 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 Machine Learning and Perception Seminars Handling temporal variation of unknown characteristics in streaming data analysis.Chris Anagnostopoulos, Cambridge University. Tuesday 30 November 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Lifted Message Passing: A Step Towards Gaining a 'Big Picture' View on AIKristian 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 applicationJean-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 FamiliesKaushik 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 FormulaeArthur 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 Bayesian Inference with KernelsUCL. Wednesday 10 November 2010, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars Bayesian Inference with KernelsArthur Gretton, UCL. Wednesday 10 November 2010, 14:00-15: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 studiesTim 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 LearningProf. 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 ProblemsMate 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 Statistical Significance Analysis of Motif DiscoveryPatrick Ng. Friday 05 November 2010, 10:00-11:00 Microsoft Research Cambridge, public talks A relationship-based approach to the verification of multi-object invariantsStephanie 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 Microsoft Research Machine Learning and Perception Seminars Affective TechnologyRosalind Picard, MIT Media Laboratory. Tuesday 02 November 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Probabilistic models for time-series with different underlying dynamics regimes with application to robot imitation learningSilvia Chiappa. Monday 01 November 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Engineering Genetic CircuitsChris J. Myers, University of Utah. Friday 15 October 2010, 11:30-12:30 Microsoft Research Cambridge, public talks Food Webs, and how they got that wayStuart Pimm, Duke University (Nicholas School of the Environment). Friday 24 September 2010, 13:00-14:00 Microsoft Research Cambridge, public talks SSH: A Case Study of Cryptography in Theory and PracticeKenny Paterson, Royal Holloway University of London. Monday 20 September 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Testing and fault localization in constraint programsLazaar Nadjib, IRISA. Wednesday 15 September 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Towards Systematic Design of Enterprise NetworksSpeaker to be confirmed. Wednesday 15 September 2010, 10:30-11:30 Microsoft Research Cambridge, public talks Noise and the two-thirds power lawElon Portuglay, MS Microsoft. Monday 13 September 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Golden-i, a head-mounted computerChris Parkinson, Kopin Corporation. Friday 10 September 2010, 15:00-16:00 Microsoft Research Cambridge, general interest public talks Diderot: A Parallel Domain-Specific Language for Image AnalysisProfessor John Reppy, Dept. of Computer Science, University of Chicago. Monday 06 September 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Frugality in set-system auctionsEdith Elkind, Nanyang Technological University, Singapore Speaker to be confirmed. Thursday 19 August 2010, 14:00-15:00 Microsoft Research Cambridge, public talks The Little Engine(s) that could: Scaling Online Social NetworksJosep M. Pujol. Monday 16 August 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Search methods based on Monte-Carlo simulationMartin Müller, University of Alberta. Thursday 05 August 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes BankProf Michael Mitzenmacher - Computer Science, Harvard. Tuesday 03 August 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Concurrency and Communication: Lessons from the SHIM ProjectProf. Stephen Edwards, Columbia University. Friday 23 July 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Post-Silicon Validation: New Frontiers for Formal Verification ResearchAlan Hu, University of British Columbia. Wednesday 21 July 2010, 11:00-12:00 Microsoft Research Cambridge, public talks GPU programming: bugs, pitfalls and the importance of correctness in biomedical and scientific applicationsProfessor Miriam Leeser, Northeastern University. Monday 19 July 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Using transformed domains to sparsify Gaussian ProcessesSpeaker to be confirmed. Tuesday 13 July 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Using transformed domains to sparsify Gaussian ProcessesSpeaker to be confirmed. Tuesday 13 July 2010, 14:00-15:00 Microsoft Research Cambridge, public talks How can we use digital pens in a collaborative environment?Michael Haller - Upper Austria University of Applied Sciences. Friday 09 July 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Local Action Traces and Abstract Concurrent Separation LogicSteve Brookes, CMU. Wednesday 07 July 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Frameworks for segmentation, classification, and nonstationary image processing with applications to disease assessmentAlbert Montillo, University of Pennsylvania. Tuesday 06 July 2010, 14:00-15:00 Microsoft Research Cambridge, public talks International Workshop on Tractability; 5-6 July 2010Speaker to be confirmed. Tuesday 06 July 2010, 09:00-17:30 Microsoft Research Cambridge, public talks Symbolic Techniques in Propositional Satisfiability SolvingMoshe Y Vardi, Rice University. Friday 02 July 2010, 14:00-15:30 Microsoft Research Summer School Computer science (Cancelled)Cancelled Tony Hoare (Microsoft Research). Friday 02 July 2010, 11:00-12:00 Microsoft Research Summer School Cloud computing for researchFabrizio Gagliardi (Microsoft Research). Friday 02 July 2010, 09:30-10:30 Microsoft Research Summer School To infinity and beyond with nonparametric Bayesian methodsJurgen Van Gael (University of Cambridge). Thursday 01 July 2010, 17:25-17:45 Microsoft Research Summer School Acquiring syntactic and semantic transformations in question answeringMichael Kaisser (Microsoft). Thursday 01 July 2010, 17:05-17:25 Microsoft Research Summer School Tracking and localisation for speech and roboticsMaurice Fallon (MIT). Thursday 01 July 2010, 16:45-17:05 Microsoft Research Summer School Communications, Travel and Social Networks since 1840: A Study Using Agent-based ModelsLynne Hamill (University of Surrey). Thursday 01 July 2010, 15:55-16:15 Microsoft Research Summer School Static contract checking for HaskellDana N. Xu (INRIA). Thursday 01 July 2010, 15:35-15:55 Microsoft Research Summer School From program analysis research to industrial programming language developmentAndy Maule (Microsoft). Thursday 01 July 2010, 15:15-15:35 Microsoft Research Summer School From driving to trafficking: the developing view of the user in computer systems designRichard Harper (Microsoft Research). Thursday 01 July 2010, 14:00-15:00 Microsoft Research Summer School Microsoft Research Summer School Posters session 3Several speakers. Microsoft Research, Roger Needham Building, 7 J J Thomson Avenue, Cambridge CB3 0FB. Thursday 01 July 2010, 12:30-14:00 Microsoft Research Summer School Simulation and data analysis with Windows AzureAustin Donnelly (Microsoft Research). Thursday 01 July 2010, 11:00-12:00 Microsoft Research Summer School Fun with F#: Solving complex problems with simple codeAnton Schwaighofer (Microsoft Research). Thursday 01 July 2010, 11:00-12:00 Microsoft Research Summer School From data to knowledgeSydney Brenner (Salk Institute). Thursday 01 July 2010, 09:30-10:30 Microsoft Research Summer School Infer.NET and probabilistic programmingJohn Winn (Microsoft Research). Wednesday 30 June 2010, 16:45-17:45 Microsoft Research Summer School Ten things you don’t know about MicrosoftDerick Campbell (Microsoft Research). Wednesday 30 June 2010, 16:45-17:45 Microsoft Research Summer School Molecular programmingLuca Cardelli (Microsoft Research). Wednesday 30 June 2010, 15:15-16:15 Microsoft Research Summer School Simulating global carbon-climate feedbackDrew Purves (Microsoft Research). Wednesday 30 June 2010, 15:15-16:15 Microsoft Research Summer School Rough guide to being an entrepreneurJack Lang (University of Cambridge). Wednesday 30 June 2010, 14:00-15:00 Microsoft Research Summer School Microsoft Research Summer School Posters session 2Several speakers. Microsoft Research, Roger Needham Building, 7 J J Thomson Avenue, Cambridge CB3 0FB. Wednesday 30 June 2010, 12:30-14:00 Microsoft Research Summer School How to give a great research talkSimon Peyton Jones (Microsoft Research). Wednesday 30 June 2010, 11:00-12:00 Microsoft Research Summer School Presentation skillsKen Shaw (Benchmark Communication Techniques). Wednesday 30 June 2010, 09:30-10:30 Microsoft Research Summer School Microsoft Research Summer School Posters session 1Several speakers. Microsoft Research, Roger Needham Building, 7 J J Thomson Avenue, Cambridge CB3 0FB. Tuesday 29 June 2010, 12:30-13:30 Microsoft Research Summer School How to write a great research paperSimon Peyton Jones (Microsoft Research). Tuesday 29 June 2010, 11:00-12:00 Microsoft Research Cambridge, general interest public talks Information, Networks and MarketsSanjeev Goyal (Economics), Peter Key (Microsoft Research) and Cambridge Networks Forum. Tuesday 22 June 2010, 09:00-17:30 Microsoft Research Cambridge, public talks Energy as Syntax - an attempt at a thermodynamical framework for combinatorial molecular networksVincent Danos, University of Edinburgh School of Informatics. Thursday 17 June 2010, 15:30-16:30 Microsoft Research Cambridge, public talks Geometry of Synthesis: Semantics-directed hardware compilationDan Ghica, University of Birmingham School of Computer Science. Thursday 10 June 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Diffuse ProgrammingManuel Serrano - Inria Sophia-Antipolis. Wednesday 02 June 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Images as Sets of Locally Weighted FeaturesTeo de Campos, University of Surrey. Tuesday 01 June 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Hermes: Clustering Users in Large-Scale E-mail ServicesChristos Gkantsidis, Microsoft Research Cambridge. Tuesday 01 June 2010, 11:30-12:00 Microsoft Research Cambridge, public talks Practical performance models for complex, popular applicationsEno Thereska, Microsoft Research. Friday 28 May 2010, 13:00-13:00 Microsoft Research Cambridge, public talks Before pixelsStephen Robertson, Microsoft Research. Thursday 27 May 2010, 16:00-17:00 Microsoft Research Cambridge, public talks A proof rule for multi-threaded programsAndrey Rybalchenko, Technische Universität München. Thursday 27 May 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Prof. Robert Nowak, University of Wisconsin; MSR LecturesProf. Robert Nowak - University of Wisconsin. Tuesday 25 May 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Derek Dreyer, MPI-SWS; Microsoft Research LecturesDerek Dreyer, MPI-SWS. Tuesday 18 May 2010, 14:00-15:00 Microsoft Research Cambridge, public talks On Bayes-Nash implementation of combinatorial auctions: structure and efficiencyProf Bruce Hajek - University of Illinois, Urbana-Champaign. Monday 17 May 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Abstract Interpretation for Liveness using Metric SpacesAziem Chawdhary - Queen Mary University of London. Tuesday 11 May 2010, 11:30-12:00 Microsoft Research PhD Scholars Abstract Interpretation for Liveness using Metric SpacesAziem Chawshary, Queen Mary University of London. Tuesday 11 May 2010, 11:30-12:00 Microsoft Research Cambridge, public talks Visual Computing for Next-Generation Display and ImagingProf. Oliver Bimber - Institute of Computer Graphics, Johannes Kepler University Linz. Friday 30 April 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Static Verification of Concurrent Programs using Reduction and AbstractionTayfun Elmas - Koc University, Istanbul. Thursday 29 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks The State of Secondary Level Computer Science Education in the USAChris Stephenson - Computer Science Teachers Association. Wednesday 28 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Deep Web Data: Analysis, Extraction, and ModellingProf. Pierre Senellart - Telecom Paris Tech. Monday 26 April 2010, 11:00-12:00 Microsoft Research Cambridge, public talks On the stability of flow-aware CSMAProf. Thomas Bonald - Telecom Paris Tech. Monday 26 April 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Incremental Modelling and Verification of the PCI Express Transaction and Data-Link LayersPeter Boehm - University of Oxford. Friday 23 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks A comparison of some recent task-centric parallel programming modelsMats Brorsson - KTH Royal Institute of Technology & Swedish Insitute of Computer Science (SICS). Thursday 22 April 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Secrets of the Microsoft SQL Server Query OptimizerConor Cunningham - SQL Server Group, Microsoft. Monday 19 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Building Algorithms for FPGAsRene Mueller - ETHZ. Thursday 15 April 2010, 10:00-11:00 Microsoft Research Cambridge, public talks Learning, Planning and Representing Knowledge from Primitive ExperienceDavid Silver - UCL. Tuesday 13 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Submodularity and Valued Constraint Satisfaction ProblemsStanislav Zivny - University of Oxford. Monday 12 April 2010, 14:00-15:00 Microsoft Research Cambridge, general interest public talks Towards physical basis for Ambient Intelligence – a critical driver for the future of printed electronics and optoelectronics – ‘It’s not the materials, it’s the effects talking’Dr Raymond Oliver FREng, FIChemE, CEng - Senior Research Fellow, Royal College of Art. Thursday 01 April 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Opportunistic Spectrum Access with Multiple Users: Learning under CompetitionAnima Anandkumar - MIT. Wednesday 31 March 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Sparse Model Recovery via Iterative AlgorithmsProf. Devavrat Shah - MIT. Tuesday 30 March 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Proactive Resilience Revisited: Resisting Intrusions means more than Byzantine Fault TolerancePaulo Verissimo - University of Lisbon. Friday 26 March 2010, 13:30-14:30 Microsoft Research Cambridge, public talks Incremental Modelling and Verification of the PCI Express Transaction and Data-Link LayersPeter Boehm - University of Oxford. Tuesday 23 March 2010, 14:00-15:00 Microsoft Research Cambridge, general interest public talks Networks in Crisishttp://www.gold.ac.uk/design/ Speaker to be confirmed. Monday 22 March 2010, 11:00-12:30 Microsoft Research Cambridge, public talks Abandoning Prenex Clausal Normal Form in QBF SolvingMartina Seidl - Vienna University of Technology. Thursday 18 March 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Michael Weber, University of Twente; Microsoft Research LecturesMichael Weber - University of Twente. Monday 15 March 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Datalog+/- : A Framework for Tractable Query Answering over OntologiesPr. Georg Gottlob - Oxford University. Monday 15 March 2010, 11:00-12:00 Report on ACM IUI 2010 and IEEE IHCI 2010Pradipta Biswas, Computer Laboratory. Computer Laboratory, William Gates Building, Room SS03. Thursday 18 February 2010, 14:15-15:15 Microsoft Research Cambridge, public talks Stationary Subspace AnalysisFrank Meinecke, TU Berlin. Tuesday 16 February 2010, 14:00-15:00 Microsoft Research PhD Scholars Literacy and ICT: Social Constructions in the Lives of Low-literate Youth in Ethiopia & MalawiMarije Geldof, Royal Holloway, University of London. Monday 15 February 2010, 14:00-14:30 Microsoft Research Cambridge, public talks You are not a gadgetJaron Lanier, Microsoft. Thursday 04 February 2010, 15:00-16:00 Microsoft Research Cambridge, public talks L_p-Spherically Symmetric and L_p-nested Distributions for Patches of Natural ImagesFabian Sinz, Max Planck Institute Tübingen. Friday 29 January 2010, 11:00-12:00 Microsoft Research Cambridge, public talks Efficient Bayesian Model Comparison with Differential Equations: a Population MCMC Approach via the Thermodynamic IntegralBen Calderhead, University of Glasgow. Tuesday 26 January 2010, 14:00-15:00 Microsoft Research PhD Scholars Efficient Bayesian Model Comparison with Differential Equations: a Population MCMC Approach via the Thermodynamic IntegralBen Calderhead, University of Glasgow. Tuesday 26 January 2010, 14:00-14:00 Microsoft Research Cambridge, public talks Riemannian Manifold Hamiltonian Monte CarloMark Girolami. Thursday 21 January 2010, 14:00-15:00 Microsoft Research Cambridge, public talks Inferring Signaling Pathway Topologies from Multiple Perturbation Measurements of Specific Biochemical Species : A model-based approachMark Girolami, University of Glasgow. Thursday 21 January 2010, 11:00-12:00 Microsoft Research Cambridge, general interest public talks Predicting biological functions at different spatial scales: From molecules to ecosystemsDr Peer Bork - European Molecular Biology Laboratory. Thursday 03 December 2009, 14:00-15:00 Microsoft Research PhD Scholars Experimental and computational approaches to implicit learning of musical structureMartin Rohrmeier, University of Cambridge. Monday 30 November 2009, 11:30-12:00 Microsoft Research Cambridge, general interest public talks 8TH INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS MULTIMEDIA (MUM 2009)please see website details. Crowne Plaza Hotel, Cambridge. Sunday 22 November 2009, 09:00-18:00 Microsoft Research Cambridge, public talks Proving the Correctness of Abstract Concurrency Control and RecoveryEliot Moss - University of Massachusetts Amherst. Monday 09 November 2009, 14:00-15:00 Microsoft Research Cambridge, public talks Nesting Transactions: Why and What Do We Need?Eliot Moss - University of Massachusetts, Amherst. Monday 09 November 2009, 10:30-11:30 Microsoft Research PhD Scholars Value Ordering Heuristics for Quantified Constraint SatisfactionDavid Stynes, University College Cork. Friday 30 October 2009, 14:00-14:30 Microsoft Research Cambridge, general interest public talks Statistical network analysis in computational genomicsFlorian Markowetz - Cancer Research UK. Wednesday 21 October 2009, 14:00-15:00 Microsoft Research Cambridge, general interest public talks Generalized, Efficient Array Decision proceduresNikolaj Bjorner - Microsoft Research. Thursday 01 October 2009, 14:00-15:00 Microsoft Research Cambridge, public talks Data redundancy and maintenance in peer-to-peer file backup systemsAlessandro Duminuco - Institut Eurécom. Thursday 01 October 2009, 11:30-12:00 Microsoft Research Cambridge, public talks Use phase signals to promote lifetime extension for desktop PCsStewart Hickey - University of Limerick. Tuesday 22 September 2009, 11:00-11:30 Microsoft Research Cambridge, general interest public talks Machine Learning Reveals the Genetic Code Controlling SplicingBrendan Frey - Microsoft Research. Tuesday 14 July 2009, 15:00-16:00 Microsoft Research Cambridge, public talks Towards focusing research and innovations on local needs: If wireless technologies are to connect the wireless continentDr Idris A. Rai - Makerere University. Tuesday 14 July 2009, 11:00-12:00 Microsoft Research Cambridge, general interest public talks From Verification to SynthesisMoshe Y. Vardi - Rice University. Thursday 09 July 2009, 14:00-15:00 Microsoft Research Cambridge, public talks Learning Deep ArchitecturesYoshua Bengio, University of Montreal. Tuesday 07 July 2009, 14:00-15:00 Microsoft Research Cambridge, public talks Cops, Crops and Mobile Phones: Machine Learning in AfricaJohn Quinn - Makerere University, Uganda. Monday 06 July 2009, 11:30-12:30 Microsoft Research Summer School Sustainable energy without the hot airDavid MacKay (Cavendish Laboratory). Friday 03 July 2009, 11:00-12:00 Microsoft Research Summer School Giving a good presentationKen Shaw (Benchmark Communication Techniques). Friday 03 July 2009, 09:30-10:30 Microsoft Research Summer School Internships uncovered...New time Peter Key (Microsoft Research). Thursday 02 July 2009, 16:15-16:45 Microsoft Research Summer School Introduction to intellectual propertyJohn Mulgrew (Microsoft). Thursday 02 July 2009, 15:00-16:00 Microsoft Research Summer School Enabling intelligent management of the environmentDrew Purves (Microsoft Research). Thursday 02 July 2009, 13:30-14:30 Microsoft Research Summer School Forza, Halo, Xbox Live: The magic of research in productsRalf Herbrich (Microsoft Research Ltd.). Thursday 02 July 2009, 13:30-14:30 Microsoft Research Summer School Systems and networking research at MSR CambridgeTim Harris (Microsoft Research). Thursday 02 July 2009, 11:00-12:00 Microsoft Research Summer School New hardware enabling new user experiencesJames Scott (Microsoft Research). Thursday 02 July 2009, 11:00-12:00 Microsoft Research Summer School How to manage your supervisorTennie Videler (Vitae). Thursday 02 July 2009, 09:30-10:30 Microsoft Research Summer School Scientific computing on .NETNew time and day Jurgen Van Gael (University of Cambridge). Wednesday 01 July 2009, 16:40-17:00 Microsoft Research Summer School WorldWide Telescope - A computational science innovationNew time Yan Xu (Microsoft Research). Wednesday 01 July 2009, 16:15-16:40 Microsoft Research Summer School Tools and services for data intensive researchRoger Barga (Microsoft Research). Wednesday 01 July 2009, 15:00-16:00 Microsoft Research Summer School The executable pathway to biological networksJasmin Fisher (Microsoft Research). Wednesday 01 July 2009, 13:30-14:30 Microsoft Research Summer School Principles and applications of refinement typesAndy Gordon (Microsoft Research). Wednesday 01 July 2009, 13:30-14:30 Microsoft Research Summer School Hitchhikers guide to machine learningChristopher M. Bishop (Microsoft Research, Cambridge). Wednesday 01 July 2009, 11:00-12:00 Microsoft Research Summer School Rough guide to being an entrepreneurJack Lang (University of Cambridge). Wednesday 01 July 2009, 09:30-10:30 Microsoft Research Summer School EU opportunities for young researchersCarlos Morais-Pires (European Commission, DG INFSO). Tuesday 30 June 2009, 17:00-17:30 Microsoft Research Summer School Challenges in refactoringNew time Mathieu Verbaere (University of Oxford). Tuesday 30 June 2009, 16:20-16:40 Microsoft Research Summer School Interactive mattingNew time Christoph Rhemann (Vienna University of Technology). Tuesday 30 June 2009, 16:00-16:20 Microsoft Research Summer School Generative face models for image understandingNew time Brian Amberg (University of Basel). Tuesday 30 June 2009, 15:40-16:00 Microsoft Research Summer School Scalable display architecturesNew time Alban Rrustemi (University of Cambridge). Tuesday 30 June 2009, 15:20-15:40 Microsoft Research Summer School Hybrids of generative and discriminative modelsJulia Lasserre (University of Cambridge/Max Planck Institute). Tuesday 30 June 2009, 15:00-15:20 Microsoft Research Cambridge, public talks Towards a Network Measurement ScienceDon Towsley, UMass. Tuesday 30 June 2009, 14:00-15:00 Microsoft Research Summer School New kinds of software for new kinds of scienceAlexander Brändle (Microsoft Research). Tuesday 30 June 2009, 13:30-14:30 Microsoft Research Summer School How to give a great research talkSimon Peyton Jones (Microsoft Research). Tuesday 30 June 2009, 11:00-12:00 Microsoft Research Summer School How to write a great research paperSimon Peyton Jones (Microsoft Research). Tuesday 30 June 2009, 09:30-10:30 Microsoft Research Cambridge, general interest public talks Refactoring with GenericsKathleen Dollard. Thursday 18 June 2009, 19:00-21:00 CoSBi Computational and Systems Biology Series Analyzing the effect of noise on various models of Circadian Clock and Cell Cycle couplingAlessandro Romanel, CoSBi. Tuesday 16 June 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series Topological keystone species: network analysis in modern systems ecologyFerenc Jordán, CoSBi. Wednesday 10 June 2009, 11:00-12:00 Microsoft Research Cambridge, general interest public talks Workshop on Networks, Auctions and Pricing - 1 Dayhttp://naapworkshop.eventbrite.com/. Wednesday 10 June 2009, 09:00-17:30 Microsoft Research Cambridge, general interest public talks Towards disposable healthcare devices: a paradigm shiftProf. Chris Toumazou FRS, Imperial College. Tuesday 09 June 2009, 15:00-16:00 CoSBi Computational and Systems Biology Series Complexity and Robustness in Colonies of Agents: A Formal Languages and a Game Theory ApproachMatteo Cavaliere, CoSBi. Tuesday 09 June 2009, 14:00-15:00 Microsoft Research Cambridge, general interest public talks Domain Knowledge Driven Program AnalysisDaniel Ratiu - TU Munich. Tuesday 09 June 2009, 11:00-12:00 Semantic Image Segmentation and Web-Supervised Visual LearningFlorian Schroff, University of Oxford. Monday 08 June 2009, 11:30-12:00 Microsoft Research Cambridge, general interest public talks Robot Scientists and the automated scientific laboratoryAmanda Clare - Dept of Computer Science, Aberystwyth University. Friday 05 June 2009, 11:00-12:00 From microscopic to macroscopic descriptions of cell migration on growing domainsDr Ruth Baker, University of Oxford. Tuesday 02 June 2009, 17:10-18:00 Informed matter: The confluence of information processes and material scienceDr Klaus-Peter Zauner, University of Southampton. Tuesday 02 June 2009, 16:20-17:10 Visual search and mining of large scale image collectionsProf. Andrew Zisserman, University of Oxford. Tuesday 02 June 2009, 15:10-16:00 Progress on development of a microfluidic robot scientistProf. Stephen Muggleton, Imperial College London. Tuesday 02 June 2009, 14:00-15:10 CoSBi Computational and Systems Biology Series Study disease-causing genes based on protein-protein interaction networksPhuong Nguyen, CoSBi. Wednesday 20 May 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series Stochastic simulation algorithms and analysis of biological systemsSean Sedwards, CoSBi. Tuesday 19 May 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series Model Abstraction Methodology for Temporal Behavior Analysis of Multiscale Biological SystemsHiroyuki Kuwahara, CoSBi. Wednesday 13 May 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series Chemotaxis. Do we understand it all?Orkun Soyer, CoSBi. Tuesday 12 May 2009, 14:00-15:00 Microsoft Research Cambridge, general interest public talks TBCBen Fry (http://benfry.com/). Thursday 23 April 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series Dynamics of cell cycle transitionsAttila Csikasz-Nagy, CoSBi. Wednesday 22 April 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series Exploiting non-Markovian Bio-Processes within BlenXDavide Prandi, CoSBi. Tuesday 21 April 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series A parallel perspective of the dynamics of biological reactive systemsTommaso Mazza, CoSBi. Wednesday 01 April 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series KInfer and BetaWB: tools for supporting the modeling workflow of Biological SystemsAlida Palmisano, CoSBi. Tuesday 31 March 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series A Framework study of the NF-kB signalling pathwayAdaoha Ihekwaba, CoSBi. Wednesday 25 March 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series On the deduction of chemical reaction rate constants from measurements of time series of concentrationPaola Lecca, CoSBi. Tuesday 24 March 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series Evolutionary computation: optimization and inferenceMichele Forlin, CoSBi. Wednesday 11 March 2009, 11:00-12:00 CoSBi Computational and Systems Biology Series Visual systems biology: design, understand, organizeLorenzo Dematté, CoSBi. Tuesday 10 March 2009, 14:00-15:00 Cambridge University Astronomical Society (CUAS) Electromagnetism and Black HolesProf. Donald Lynden-Bell, IoA, University of Cambridge. Wednesday 11 February 2009, 20:00-21:00 Hydrodynamic simulation of multicellular embryo invagination and its biological predictionsPhilippe-Alexandre Pouille, Institut Curie, Paris. Wednesday 11 February 2009, 11:30-12:00 Cambridge University Astronomical Society (CUAS) Red Spirals and Voorwerpen: Exploring the Galaxy ZooDr. Chris Lintott, University of Oxford. Wednesday 28 January 2009, 20:00-21:00 Cambridge University Astronomical Society (CUAS) From Babylon to the Big BangFirst talk of term Heather Couper and Nigel Henbest. Wednesday 21 January 2009, 20:00-21:00 CoSBi Computational and Systems Biology Series On Automatic Quantitative Verification of Biological SystemsTime changed Paolo Ballarini, CoSBi. Wednesday 21 January 2009, 14:00-15:00 CoSBi Computational and Systems Biology Series BlenX, a language based approach for modelling biological systemsRoberto Larcher, CoSBi. Wednesday 21 January 2009, 11:00-12:00 What do the Colour-Blind see? -- And if it's more than we thought, how do they do it?Dr Justin Broackes, Department of Philosophy, Brown University. Kenneth Craik Room, Craik-Marshall Building, Downing Site. Monday 12 January 2009, 13:00-14:00 Mobile Content-Sharing ApplicationsDaniele Quercia, University College London. Wednesday 10 December 2008, 11:00-11:30 Microsoft Research Computational Science Seminars From Medical Images to Virtual Physiological HumansProf. Nicolas Ayache, INRIA. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 26 November 2008, 14:00-15:00 CoSBi Computational and Systems Biology Series Exactness and Approximation of the Stochastic Simulation AlgorithmIvan Mura, CoSBi. Wednesday 19 November 2008, 11:00-12:00 CoSBi Computational and Systems Biology Series Colonies of Synchronizing Agents: Computability and RobustnessRadu Mardare, CoSBi. Tuesday 18 November 2008, 14:00-15:00 Microsoft Research Computational Science Seminars What makes cellular decisions irreversible?Prof. Béla Novák, University of Oxford. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 22 October 2008, 14:00-15:00 CoSBi Computational and Systems Biology Series Computational analysis of the connection between cell cycle and circadian rhythmJudit Zámborszky, CoSBi. Tuesday 21 October 2008, 14:00-15:00 Perception Model for people with Visual ImpairmentsPradipta Biswas, University of Cambridge Computer Laboratory. Friday 05 September 2008, 14:30-15:00 Microsoft Research Summer School Enzymatic computingKlaus-Peter Zauner, University of Southampton. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 11 July 2008, 15:00-16:00 Microsoft Research Summer School Take control or how to manage your supervisorTristram Hooley, UK GRAD Programme. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 11 July 2008, 11:00-12:30 Microsoft Research Summer School Posters session 4Several speakers. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Friday 11 July 2008, 09:30-10:30 Microsoft Research Summer School In search of the holy grailWouter Spek, European Science Foundation. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 10 July 2008, 16:30-17:30 Microsoft Research Summer School How does the Internet work?Richard Black, Microsoft Research. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 10 July 2008, 15:00-16:00 Microsoft Research Summer School Grand challenges in computingTony Hoare, Microsoft Research. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 10 July 2008, 13:30-14:30 Microsoft Research Summer School Rough guide to being an entrepreneurJack Lang, University of Cambridge. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 10 July 2008, 11:00-12:30 Microsoft Research Summer School Posters session 3Several speakers. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 10 July 2008, 09:30-10:30 Microsoft Research Cambridge, general interest public talks The Geometry of the Space of ShapesHosted by Prof. Andrew Blake (Microsoft Research) Prof. David Mumford (Brown University). Queen's Building Auditorium, Emmanuel College, CB2 3AP http://www.emma.cam.ac.uk/conferences/maps/. Wednesday 09 July 2008, 16:30-17:30 Microsoft Research Summer School Mind-reading machinesPeter Robinson, University of Cambridge. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 09 July 2008, 13:30-14:30 Microsoft Research Summer School Posters session 2Several speakers. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 09 July 2008, 09:30-10:30 Microsoft Research Summer School How to give a great research talkSimon Peyton-Jones, Microsoft Research. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 08 July 2008, 13:30-14:30 Microsoft Research Summer School How to write a great research paperSimon Peyton-Jones, Microsoft Research. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 08 July 2008, 11:30-12:30 Microsoft Research Summer School Posters session 1Several speakers. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 08 July 2008, 09:30-10:30 Microsoft Research Computational Science Seminars Modelling and simulation of biological systems with COPASIProf. Pedro Mendes, University of Manchester. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 25 June 2008, 14:00-15:00 Microsoft Research Computational Science Seminars Structural analysis of cellular networksProf. Jörg Stelling, ETH Zürich. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 28 May 2008, 14:00-15:00 Microsoft Research Computational Science Seminars A robustness-based approach to systems-oriented drug designHiroaki Kitano, Sony Computer Science Laboratories. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 24 April 2008, 14:00-15:00 Microsoft Research Computational Science Seminars Molecular arms race between host and parasite leads to evolution of robustness against gene loss in signaling networksDr Orkun Soyer, CoSBi. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 26 March 2008, 14:00-15:00 Microsoft Research Computational Science Seminars Spatial point process modelling and its applications in ecologyDr. Janine B. Illian, University of St. Andrews. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Wednesday 27 February 2008, 14:00-15:00 Microsoft Research Computational Science Seminars Statistical mechanics of large optimisation problemsProf. Giorgio Parisi, Università degli Studi di Roma 'La Sapienza'. Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Thursday 18 October 2007, 14:00-15:00 SciSoc – Cambridge University Scientific Society The History of the Universe in 60 minutesDr Simon Singh. Britsol-Myers Squibb Lecture Theatre, Department of Chemistry. Tuesday 16 October 2007, 20:00-21:00 Microsoft Research Machine Learning and Perception Seminars Physics-Based Human Motion Models for Animation and TrackingAaron Hertzmann, University of Toronto. Tuesday 11 September 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Bayesian network structure learning from uncertain interventionsKevin Murphy, University of British Columbia. Tuesday 14 August 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Generative models for audio and music processingTaylan Cemgil, Department of Engineering, University of Cambridge. Tuesday 26 June 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars identity variables for face recognition: from distance based methods to probabilistic inferenceSimon Prince, University College London. Tuesday 05 June 2007, 15:00-16:00 Microsoft Research Cambridge, general interest public talks Accelerating Discovery: A Grand Challenge for HCIProfessor Ben Shneiderman. Monday 21 May 2007, 14:00-15:00 Microsoft Research Machine Learning and Perception Seminars A Bayesian model that links microarray mRNA measurements to mass spectrometry protein measurementsAnitha Kannan, Microsoft Research, Cambridge. Tuesday 10 April 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Motion TrackingFabian Wauthier, University of Edinburgh. Friday 16 March 2007, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars A complete set of rotationally and translationally invariant features based on a generalization of the bispectrum to non-commutative groupsImre Risi Kondor, Columbia University. Wednesday 14 March 2007, 15:30-16:30 Microsoft Research Machine Learning and Perception Seminars Reverse Engineering the Human Visual System with Networks of Spiking NeuronsSimon Thorpe, Brain and Cognition Research Centre, Toulouse France. Tuesday 13 March 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Margin- and Evidence-Based Approaches for EEG Signal ClassificationN. Jeremy Hill, Max Planck Institute for Biological Cybernetics. Friday 09 February 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Computer Go Research in the University of Alberta GAMES GroupMartin Müller, University of Alberta. Jasmine meeting room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge. Tuesday 02 January 2007, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Where’s my rocket? – Stochastic simulations of rocket flight pathsSimon Box, Microsoft Research. Tuesday 12 December 2006, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Learning Conditional Random Fields with Hierarchical Features: Application to the Game of GoScott Sanner, University of Toronto. Wednesday 29 November 2006, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Constraint Programming Techniques for Virtual Camera ControlMarc Christie, Nantes University. Tuesday 28 November 2006, 15:00-16:00 Microsoft Research Machine Learning and Perception Seminars Learning microRNA regulatory networks from genomic sequence and expression dataJim Huang, University of Toronto. Tuesday 07 November 2006, 15:00-16:00 Please see above for contact details for this list. |
Other listsMRC Biostatistics Unit Seminars Issues in Question Writing Cambridge American History SeminarOther talksCambridge - Corporate Finance Theory Symposium September 2017 - Day 1 Finding alternatives: when circumstances suddenly change CANCELLED: The Loxbridge Triangle: Integrating the East-West Arch into the London Mega-region Finding the past: Medieval Coin Finds at the Fitzwilliam Museum Statistical Learning Theory Handbuchwissenschaft, or: how big books maintain knowledge in the twentieth-century life sciences EU LIFE Lecture - "Histone Chaperones Maintain Cell Fates and Antagonize Reprogramming in C. elegans and Human Cells" Graph Legendrians and SL2 local systems "The integrated stress response – a double edged sword in skeletal development and disease" Crowding and the disruptive effect of clutter throughout the visual system BP KEYNOTE LECTURE: Importance of C-O Bond Activation for CO2/COUtilization - An Approach to Energy Conversion and Storage Beacon Salon # 8 The Dawn of the Antibiotic Age |