University of Cambridge > Talks.cam > Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 286 talks in the archive.

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

UserProf Rudolf Oldenbourg, Marine Biological Laboratory, MA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 24 September 2019, 09:30-11:00

Microsoft Research Cambridge, public talks

Modeling User Experience in Games: Lessons Learned

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserGerogios Yannakakis, University of Malta.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 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.

UserChowdary Yanamadala & Jeremy Dubeuf, ARM.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 09 August 2019, 11:00-12:00

Microsoft Research Cambridge, public talks

Using reason and evidence to do the most good

UserEve McCormick - Effective Altruism Cambridge & Olly Crook - University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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 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.

UserSanmi Koyejo, University of Illinois .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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.

UserDr Rupert Oulton, Imperial College .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 18 July 2019, 16:00-17:30

Microsoft Research Cambridge, public talks

Photons in the cloud: communicating and storing data

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserProf John H Marsh, University of Glasgow.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 13 June 2019, 16:00-17:30

Microsoft Research Cambridge, public talks

Photonics for Computing: from Optical Interconnects to Neuromorphic Architectures

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserNikos Pleros, Aristotle University of Thessaloniki, Greece.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 13 June 2019, 10:00-11:00

AI+Pizza

Pizza & AI June 2019

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 07 June 2019, 17:30-19:00

AI+Pizza

Pizza & AI April 2019

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 26 April 2019, 17:30-19:00

Microsoft Research Cambridge, public talks

An introduction to clustering and the expectation maximisation algorithm Part 2

Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRichard Turner Microsoft Research Ltd.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 11 April 2019, 09:30-11:00

Microsoft Research Cambridge, public talks

An introduction to clustering and the expectation maximisation algorithm Part 1

Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRichard Turner Microsoft Research Ltd.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 10 April 2019, 10:30-12:00

Type the title of a new list here

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.

UserMark Neil, Imperial College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 18 March 2019, 16:00-17:15

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

UserProfessor of Photonics, Mark Neil, Imperial College London .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 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.

UserDavid Carter, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 15 March 2019, 13:00-14:00

Frontiers in Artificial Intelligence Series

Neural Code Comprehension: A Learnable Representation of Code Semantics

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTal Ben-Nun, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 28 February 2019, 13:00-14:00

AI+Pizza

Pizza & AI February 19

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 22 February 2019, 17:30-19:00

The Microsoft AI Residency

An Introduction to Simple Markov Models

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

UserRichard Turner Microsoft Research Ltd.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 20 February 2019, 10:00-11:00

AI+Pizza

Pizza & AI January 2019

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 25 January 2019, 17:30-19: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.

UserHoda Heidari, ETH Zurich .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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.

UserEdwin Brady, St Andrews University .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 27 November 2018, 11:00-12:00

AI+Pizza

AI + Pizza October 2018

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosft Research Cambridge/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 26 October 2018, 17:30-19: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.

UserMike Innes, Julia Computing, Inc..

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 18 October 2018, 17:00-18:00

AI+Pizza

AI + Pizza September 2018

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserAdria Garriga Alonso, University of Cambridge, Alex Gaunt, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 28 September 2018, 17:30-19:00

Your personal list

Simulation for Intelligent Systems

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserVladlen Koltun, Intel.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 30 August 2018, 13:00-14:30

AI+Pizza

AI+Pizza July 2018

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserJohn Bronskill - University of Cambridge, Rianne Van den Berg, Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 26 July 2018, 17:30-19:00

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.

UserProf David Duvenaud (University of Toronto).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 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.

UserFinale Doshi-Velez, Harvard University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 17 July 2018, 13:00-14:00

AI+Pizza

AI+Pizza June 2018

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosft Research Cambridge/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 22 June 2018, 17:30-19: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.

UserJakob Foerster, University of Oxford.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 19 June 2018, 13:00-14:00

AI+Pizza

AI+Pizza

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 25 May 2018, 17:30-19:00

AI+Pizza

AI+Pizza April 2018

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosft Research Cambridge/Aalto University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 20 April 2018, 17:30-19:00

AI+Pizza

AI+Pizza February 2018

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

UserMicrosoft Research/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 16 February 2018, 17:30-19:00

AI+Pizza

AI+Pizza January 2018

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMicrosft Research Cambridge/University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 19 January 2018, 17:30-19: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.

UserFrancis Bach, INRIA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 16 January 2018, 13:00-14: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.

UserAndreas Geiger, Max Planck Institute for Intelligent Systems.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 September 2017, 13:00-14:00

Microsoft Research Cambridge, public talks

Manifest Sharing with Session Types

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserStephanie Balzer, Carnegie Mellon University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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.

UserFrancesco Orabona, Stony Brook University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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.

UserRegina Barzilay Massachusetts Institute of Technology.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 10 August 2017, 13:00-14: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.

UserAapo Hyvarinen (University College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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.

UserIan Fordham, Microsoft.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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.

UserGabriel Brostow (University College London).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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.

UserGabriel Brostow (University College London).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 05 April 2017, 10:30-11:30

Microsoft Research Cambridge, public talks

Generalizing Convolutions for 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.

UserProf. Max Welling (University of Amsterdam).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 29 March 2017, 13:00-14:30

Microsoft Research Cambridge, public talks

Well-founded functions, induction, and extreme predicates in an SMT-based verifier

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRustan Leino, Microsoft Research Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 01 December 2016, 10:00-11:00

Microsoft Research Cambridge, public talks

Well-founded functions, induction, and extreme predicates in an SMT-based verifier

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRustan Leino, Microsoft Research Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 01 December 2016, 10:00-11:00

Microsoft Research Cambridge, public talks

Unsupervised Cluster Matching for Relational Data

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTomoharu Iwata, NTT Communication Science Laboratories.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 02 November 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Developing PDE-compartment hybrid frameworks for modelling cell migration

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserKit Yate, University of Bath.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 31 October 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Developing PDE-compartment hybrid frameworks for modelling cell migration

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserKit Yate, University of Bath.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 31 October 2016, 14:00-15: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

UserMor Harchol-Balter - CMU.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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.

UserMargaret Burnett, Oregon State University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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.

UserAndrey Rybalchenko, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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

UserDavid Naylor - CMU.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 12 August 2016, 15:00-16:00

Microsoft Research Cambridge, public talks

Reflections on Code-Reuse Attacks and Defenses

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserThorsten Holz, Ruhr-University Bochum.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 04 August 2016, 16:00-17:00

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.

UserBahar Partov Poor, Hamilton Institute Bell Laboratories.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 20 May 2016, 10:00-11:00

Microsoft Research Cambridge, public talks

Engineering the Future: an open evening for women in engineering

UserChristopher Bishop, Microsoft Research, Abigail Sellen, Microsoft Research, Matthew Johnson, Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 April 2016, 17:00-19:00

Microsoft Research Cambridge, public talks

Admitting more tenants with tail latency SLOs

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTimothy Zhu, CMU.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 25 April 2016, 13:30-14:30

Microsoft Research Cambridge, public talks

PCC: Re-architecting Congestion Control for Consistent High Performance

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMichael Schapira, Hebrew University of Jerusalem.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 25 April 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Large-Scale Camera Pose Voting and the Geometric Burstiness Problem

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTorsten Sattler, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 19 April 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Large-Scale Camera Pose Voting and the Geometric Burstiness Problem

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTorsten Sattler, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 19 April 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Pony: Co-Designing a Type System and a Runtime

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserSylvan Clebsch, Imperial College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 29 March 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

General-purpose representation learning from words to sentences

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.

UserFelix Hill, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 29 March 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Information-Theoretic Bounded Rationality

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

User Pedro Ortega, University of Pennsylvania.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 22 March 2016, 10:15-11:15

Microsoft Research Cambridge, public talks

Stamping Out Concurrency Bugs

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.

UserBaris Kasikci, École Polytechnique Fédérale de Lausanne.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 16 March 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Parallel Inference and Learning with Deep Structured Distributions

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.

UserAlexander Schwing, University of Toronto.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 15 March 2016, 10:15-11:15

Microsoft Research Cambridge, public talks

Freeform interactions and disrupted displays

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.

UserDavid Sweeney, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 23 February 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Regularized Optimal Transport and Applications

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.

UserMarco Cuturi, Kyoto University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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.

UserEugene Burmako, École Polytechnique Fédérale de Lausanne.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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.

UserEguene Burmako, Ecole Polytechnique in Lausanne.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 03 February 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Verasco, a formally verified C static analyzer

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.

UserJacques Henri Jourdan, INRIA Paris.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 11 January 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Formalising and Analysing Transactional Consistency Models

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

UserAndrea Cerone.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 05 January 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Synthesising Gene Regulatory Networks from Single-Cell Gene Expression Data

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.

UserSteven Woodhouse, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 05 January 2016, 10:00-11:00

Microsoft Research Cambridge, public talks

Symbiotic design for machine intelligence systems

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.

UserCecily Morrison, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 04 January 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

A Decade of Thrill

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.

UserBrendan Walker, Middlesex University/University of Nottingham/Aerial.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 14 December 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Model-Based Hand Tracking with Texture, Shading and Self-occlusions

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.

UserMartin De La Gorce, Ecole des Ponts Paris Tech.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 10 December 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

A Constructive Approach to Secure-Channel Protocols

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.

UserBjorn Tackmann, University of California San Diego.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 09 December 2015, 11:00-12:00

Microsoft Research Cambridge, public talks

From Boolean to Quantitative Methods in Formal Verification

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.

UserThomas Henzinger, IST Austria.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 19 November 2015, 13:00-14:00

Microsoft Research Cambridge, public talks

Rethinking Storage and Networking in Next Generation Racks

UserSergey Legtchenko, Post-doc Researcher, Systems & Networking, Microsoft Research Ltd.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 22 October 2015, 10:00-11: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.

UserMaren Mahsereci, Max Planck Institute for Intelligent Systems (Tübingen).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 21 September 2015, 11:00-12:00

Microsoft Research Cambridge, public talks

Towards Cross-fertilization Between Propositional Satisfiability and Data Mining

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

UserLAKHDAR SAÏS, CRIL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 07 September 2015, 15:00-16: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.

UserIstvan Haller, Vrije Universiteit .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 27 August 2015, 09:30-10:30

Microsoft Research Cambridge, public talks

Plug into the Supercloud

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 attendi

UserHakim Weatherspoon, Cornell University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 25 August 2015, 11:00-12:00

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

UserWenzel Jakob, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 13 July 2015, 11:00-12:00

Microsoft Research Cambridge, public talks

Bonsai: Reactive Tools for Data Science

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

UserGoncalo Lopes, The Sainsbury Wellcome Centre @ UCL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 06 July 2015, 14:00-15:00

Microsoft Research Cambridge, public talks

Rendering Eyes for Eye-Tracking

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

UserErroll Wood, Computer Lab, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 29 June 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Generative Models for Shape and Appearance

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

UserNeill Campbell, University of Bath.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 26 June 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures

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

UserVasileios Trigonakis, EPFL, Switzerland.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 19 June 2015, 13:00-14:00

Microsoft Research Cambridge, public talks

VISC: VIRTUAL INSTRUCTION SET COMPUTING

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

UserVikram Adve, University of Illinois at Urbana-Champaign.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 10 June 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Intelligible Machine Learning Models for HealthCare

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

UserRich Caruana, MSR Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 03 June 2015, 11:00-12:00

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

UserMatthew P. Grosvenor, University of Cambridge Computer Laboratory.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 01 May 2015, 15:00-16:00

Microsoft Research Cambridge, public talks

Declarative query processing in imperative managed runtimes

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

UserStratis Viglas, University of Edinburgh.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 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

UserMartin Brain, University of Oxford.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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

UserGiovanni Pau, University Pierre at Marie Curie.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 17 April 2015, 14:00-15:00

Microsoft Research Cambridge, public talks

Big Dream Documentary Screening and Q&A Panel

UserSara-Jane Dunn, Katja Hofmann, Jasmin Fisher & Sadia Ahmed from Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 April 2015, 16:00-18:00

Microsoft Research Cambridge, public talks

An Efficient Solver for string and regular expression constraints

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

UserCesare Tinelli, University of Iowa.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 April 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

A Visual Programming Language for building Artificial Biochemistries in Haskell

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

UserLance R. Williams, University of New Mexico.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 02 April 2015, 11:00-12:00

Microsoft Research Cambridge, public talks

Unveiling the Secrets of High-Performance Datacenters

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

UserMichael Schapira, Hebrew University of Jerusalem.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 02 April 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Pushing the Limits of Localization and Capacity in Today's Wi-Fi Networks

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

UserJie Xiong, University College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 19 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

UserAnvesh Komuravelli, Carnegie Mellon University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 17 March 2015, 09:00-10:00

Microsoft Research Cambridge, public talks

Convex low-rank models: from matrices to tensors

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

UserRyota Tomioka, Toyota Technological Institute at Chicago.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 10 March 2015, 13:30-14:30

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

UserMadalina Fiterau, Carnegie Mellon University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 10 March 2015, 09:00-10:00

Microsoft Research Cambridge, public talks

Content Placement as a Key to Leveraging Geo-Distributed Infrastructures

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

UserAbhigyan Sharma, University of Massachusetts Amherst.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 09 March 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Text To Programs: Automating Computer Tasks from Natural Language Descriptions

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

UserNate Kushman, MIT.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 09 March 2015, 09:00-10:00

Microsoft Research Cambridge, public talks

Automatic differentiation and machine learning

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

UserGunes Baydin, Maynooth University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 06 March 2015, 11:00-12:00

Microsoft Research Cambridge, public talks

Supporting Proxemic Interactions with Multi-Scale Electric Field Sensing

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

UserTobias Große-Puppendahl, Fraunhofer Institute for Computer Graphics Research IGD.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 06 March 2015, 09:00-10:00

Microsoft Research Cambridge, public talks

Programming and Proving with Fine-Grained Concurrent Resources

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

UserIlya Sergey, IMDEA Software Institute.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 05 March 2015, 10:00-11:00

Microsoft Research Machine Learning and Perception Seminars

Workshop: Machine Learning in Cambridge 2015

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

UserSebastian Nowozin, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 03 March 2015, 09:00-18:00

Microsoft Research Cambridge, public talks

Death, Identity, and the Social Network

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

UserJed Brubaker, University of California.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 02 March 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Beyond acceleration: time, narratives, and the design of multiple worlds

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

UserLarissa Pschetz, University of Edinburgh.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 24 February 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Un-Computing: Shaking off the ‘Computer’ Baggage

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

UserSarah Gallacher, University College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 20 February 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Solving QBF by Counterexample-Guided Abstraction Refinement

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

UserMikoláš Janota, INESC-ID, Lisbon.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 20 February 2015, 09:00-10:00

Microsoft Research Cambridge, public talks

Towards Full-Stack Security Analysis of Web 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

UserAntoine Delignat-Lavaud.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 17 February 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Modeling, Quantifying, and Limiting Adversary Knowledge

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

UserPiotr Mardziel, University of Maryland, College Park.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 13 February 2015, 10:00-11: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

UserWill Harwood and Roger Gross, Silicon Safe Ltd.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 04 February 2015, 14:30-15:30

Microsoft Research Cambridge, public talks

Meta-Interpretive Learning and Program Induction

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

UserStephen Muggleton, Imperial College, London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 03 February 2015, 15:00-16:00

Microsoft Research Cambridge, public talks

Manifold correspondence: a signal processing perspective

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

UserMichael Bronstein, USI Switzerland.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 03 February 2015, 13:00-14:00

Microsoft Research Cambridge, public talks

Predictable and Dependable Low-power Wireless Networks

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

UserMarco Zimmerling, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 03 February 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Laws of Programming with Concurrency

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

UserSir Tony Hoare, Microsoft.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 29 January 2015, 16:30-17:30

Microsoft Research Cambridge, public talks

Microsoft Distinguished Research Lecture - Laws of Programming with Concurrency

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

UserSir Tony Hoare, Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 29 January 2015, 16:30-17:30

Microsoft Research Cambridge, public talks

Causal Inference and Domain Adaptation

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

UserJonas Peters, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 29 January 2015, 13:00-14:00

Microsoft Research Cambridge, public talks

Genome-wide transcriptional control of blood cell type identity

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

UserFelicia Ng, Cambridge Institute for Medical Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 26 January 2015, 10:00-11:00

Microsoft Research Cambridge, public talks

Bedrock: A Software Development Ecosystem Inside a Proof Assistant

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

UserAdam Chlipala, MIT.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 15 December 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Checking microarchitectural implementations of weak memory

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

UserDaniel Lustig, Princeton University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 08 December 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Machine Learning in an Exchange Environment

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

UserR. Preston McAfee, Microsoft.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 03 December 2014, 16:00-17:00

Microsoft Research Cambridge, public talks

Platforms and Applications for "Big and Fast" Data Analytics

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

UserYanlei Diao, UMass Amherst.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 03 December 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Coping with the Intractability of Graphical Models

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

UserJustin Domke.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 27 November 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Microsoft Distinguished Research Lecture Series - Technological Innovation in Healthcare

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

UserProfessor The Lord Darzi of Denham PC KBE FRS FMedSci HonFREng.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 18 November 2014, 16:30-17:30

Microsoft Research Cambridge, public talks

The Physical Web

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

UserScott Jenson, Google.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 12 November 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

On Basing One-Way Functions on NP-Hardness

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

UserChristina Brzuska, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 05 November 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Taming GPU threads with F# and Alea.GPU

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

UserDr Daniel Egloff, QuantAlea AG.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 03 November 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

Reasoning about GADT Pattern Matching in Haskell

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

UserGeorge Karachalias, Ghent University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 22 October 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

An Approximate Differentiable Renderer

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

UserMatthew Loper; Max Planck Institute for Intelligent Systems.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 20 October 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Ancient lives, new discoveries: eight mummies, eight lives, eight stories

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

UserDr Daniel Antoine, Curator of Physical Anthropology, British Museum.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 October 2014, 15:00-16:00

Microsoft Research Cambridge, public talks

Logic programming beyond Prolog

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

UserMaarten van Emden, University of Victoria, Canada.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 October 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

RDFox — A Modern Materialisation-Based RDF System

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

UserBoris Motik, Oxford University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 October 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Lottery Auctions

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

UserNicola Dimitri, Department of Political Economy & Statistics, University of Siena, Ital.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 09 October 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

First-person Hyperlapse Videos

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

UserJohannes Kopf, Microsoft Research .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 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

UserRich Caruana, Microsoft Research .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 03 October 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Discursis: A Computational Methodology for the Analysis of Communication 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

UserDr Daniel Angus, The University of Queensland.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 01 October 2014, 16:00-17:00

Microsoft Research Cambridge, public talks

A Case for using Trend Filtering over Splines

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

UserAaditya Ramdas, Carnegie Mellon University .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 26 September 2014, 11:00-12:00

Microsoft Research Machine Learning and Perception Seminars

Local Deep Kernel Learning for Efficient Non-linear SVM Prediction

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

UserManik Varma (Microsoft Research India).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 15 September 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Micro-Policies: A Framework for Tag-Based Security Monitors

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

UserBenjamin C. Pierce, University of Pennsylvania.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 11 September 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Hedging Against Uncertainty via Multiple Diverse Predictions

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

UserDhruv Batra, Virginia Tech.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 04 September 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent Machines

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

UserDevi Parikh, Virginia Tech.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 04 September 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Compositional Models

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

UserAlan Yuille, UCLA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 04 September 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Towards Zero Latency Photonic Switching

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

UserDr Philip Watss, UCL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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

UserIrfan Essa, Georgia Institute of Technology.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 18 August 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Systems, Science and FreeBSD

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

UserGeorge Neville-Neil, Neville-Neil Consulting.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 12 August 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

The Integral Image Method for Fisheye Images

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

UserMaria Mikhisor, Department of Computer Science, University of Otago, Dunedin, New Zealand.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 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

UserTomas Petricek, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 05 August 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

A Verified Compiler for Probability Density Functions

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

UserTobias Nipkow, Institute of Informatics Technical Institute of Munich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 24 July 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

The Brave New World of Next-Generation NoSQL Data Stores

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

UserEmin Gun Sirer, Cornell University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 10 July 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Steps toward usable verification

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

UserFrancesco Logozzo, MSR Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 10 July 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

FSCL: homogeneous programming and execution for heterogeneous platforms

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

UserGabriele Cocco, Biobeats.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 08 July 2014, 14:00-15:00

Machine Learning @ CUED

Unifying logic and probability: A "New Dawn" for Artificial Intelligence?

NOTE THE SPECIAL VENUE (Microsoft Research)

UserProfessor Stuart Russell (UC Berkeley).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 02 June 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Computer Vision for Movie Making and Infographics

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

UserChris Bregler, NYU & ILM.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 23 May 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

A Collapsible Approach to Higher Order Verification

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

UserMatthew Hague, Royal Holloway University of London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 22 May 2014, 15:00-16:00

Microsoft Research Cambridge, public talks

Thinking for Programmers: Rising Above the Code

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

UserLeslie Lamport, Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 13 May 2014, 17:30-18:30

Microsoft Research Cambridge, public talks

The Art of Corporate Storytelling

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

UserSteve Clayton, Microsoft.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 08 May 2014, 16:00-17:00

Microsoft Research Cambridge, public talks

Mid-level Likelihoods and Constraints for 3D Scene Interpretation

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

UserDavid Fouhey, The Robotics Institute.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 07 May 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Protecting Programs During Resource Retrieval

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

UserTrent Jaeger, Penn State University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 28 April 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

The shadowy life of many webcams

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

UserRobert Pless, Washington University in St. Louis.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 23 April 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

The Art of Corporate Storytelling

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

UserSteve Clayton, Microsoft.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 17 April 2014, 16:00-17:00

Microsoft Research Cambridge, public talks

Seeing in depth: computations and cortical networks

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

UserAndrew Welchman, Department of Psychology, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 15 April 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Crafting Visualizations

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

UserBoris Müller, Fachhochschule Potsdam.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 15 April 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Bandits with Switching Costs: T^{2/3} Regret

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

UserYuval Peres, Microsoft Research Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 02 April 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning

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

UserVinay Setty, University of Oslo.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 31 March 2014, 09:00-10:00

Microsoft Research Cambridge, public talks

Decision Making and Inference under Limited Information and Large Dimensionality

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

UserStefano Ermon, Cornell University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 28 March 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

IC3 Modulo Theories via Implicit Predicate Abstraction

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

UserAlberto Griggio, Fondazione Bruno Kessler.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 26 March 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

Rich semantic representations for detailed visual recognition

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

UserSubhransu Maji, Toyota Technological Institute at Chicago.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 26 March 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Globally Optimizing Graph Partitioning Problems Using Message Passing

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

UserElad Mezuman, Hebrew University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 26 March 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Performance Optimizations for Compiler-based Error Detection Methodologies

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

UserKonstantina Mitropoulou, University of Edinburgh.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 25 March 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Using ConvNets, MALIS and crowd-sourcing to map the retinal connectome

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

UserSrini Turaga, Gatsby Unit & Wolfson Institute for Biomedical Research, UCL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 19 March 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st century

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

UserJonathan Huang, Stanford University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 18 March 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

The Performance of Deferred-Acceptance Heuristic Auctions

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

UserPaul Duetting, Stanford University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 17 March 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Trouble-makers: Audio-video distortions as a relational resource in couples’ video calls

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

UserSean Rintel, University of Queensland.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 14 March 2014, 09:00-10:00

Microsoft Research Cambridge, public talks

Designing Controller Abstractions for Software-Defined Networks

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

UserJoshua Reich, Princeton University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 12 March 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Rethinking State-Machine Replication for Multicore Architectures

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

UserParisa Jalili Marandi, University of Lugano.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 10 March 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

Computational foundations of Bayesian inference and probabilistic programming

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

UserDaniel Roy, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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 Charging

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

UserValentin Robu, University of Southampton.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 20 February 2014, 15:30-16:30

Microsoft Research Cambridge, public talks

Generative probabilistic programming: applications and new ideas

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

UserYura Perov, Oxford University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 18 February 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Topological Data Analysis: potential applications to computer vision

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

UserVitaliy Kurlin, Durham University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 10 February 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

Declarative Static Program Analysis

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

UserYannis Smaragdakis, University of Athens.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 03 February 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

FaRM: Fast Remote Memory

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

UserAleksandar Dragojevic, Microsoft Research Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 03 February 2014, 10:00-11:00

Microsoft Research Cambridge, public talks

The persistence of structure: Layers, time, and the estimation of optical flow

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

UserMichael J. Black , Max Planck Institute for Intelligent Systems.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 30 January 2014, 14:00-15:00

Microsoft Research Cambridge, public talks

Efficient Preconditioning of Laplacian Matrices for Computer Graphics

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

UserDilip Krishnan, MIT.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 06 January 2014, 11:00-12:00

Microsoft Research Cambridge, public talks

A Combinatorial Prediction Market for the US Elections

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

UserSebastien Lahaie, Microsoft Research, New York.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 19 December 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Real time control with lots of humans in the loop

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

UserUniversity of Southampton.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 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

UserTom Nielsen, OpenBrain.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 11 December 2013, 10:00-10:45

Microsoft Research Cambridge, public talks

Reasoning about Eventual Consistency

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

UserAlexey Gotsman, IMDEA Software Institute, Madrid, Spain.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 06 December 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Principles and Techniques of Automatic Differentiation

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

UserLaurent Hascoët, INRIA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 06 December 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Hardware Neural Network Accelerators

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

UserOlivier Temam, Inria.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 05 December 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Programming Approximate Systems

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

UserAdrian Sampson, University of Washington.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 04 December 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Image Classification Using a Background Prior

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

UserDaniel Keren, Department of Computer Science University of Haifa.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 02 December 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Automatic DifferentiationPart One: A Revisionist History and the State of the Art

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

UserBarak A. Pearlmutter, NUI Maynooth.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 29 November 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Depot: from Byzantine fault tolerance to eventual consistency in a single system

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

UserAllen Clement, Max Planck Institute for Software Systems .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 November 2013, 11:30-12:30

Microsoft Research Cambridge, public talks

Randomized tree ensembles: output kernels and variable importances

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

UserPierre Geurts, University of Liège.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 November 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Language based web security: the operational semantics approach

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

UserSergio Maffeis, Imperial College.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 22 November 2013, 16:00-17:00

Microsoft Research Cambridge, public talks

Language based web security: the operational semantics approach

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

UserSergio Maffeis, Imperial College.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 22 November 2013, 16:00-17:00

Microsoft Research Cambridge, public talks

Discovering the Structure of Visual Categories from Weak Annotations

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

UserSubhransu Maji, Toyota Technological Institute at Chicago.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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

UserPanayiotis Georgiou, Imperial College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 25 October 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

A Bigger and Faster Bitcoin: an Analysis of High-Rate Bitcoin Transaction Processing

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

UserAviv Zohar, Hebrew University of Jerusalem.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 25 October 2013, 13:00-14:00

Microsoft Research Cambridge, public talks

Type Refinement in the Abstract

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

UserNoam Zeilberger, MSR-INRIA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 16 October 2013, 15:00-16:00

Microsoft Research Cambridge, public talks

Reflection methods for user-friendly submodular optimization

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

UserFrancis Bach, ENS Paris, France .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 15 October 2013, 13:00-14:00

Microsoft Research Cambridge, public talks

A Framework for Automatically Enforcing Privacy Policies

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

UserJean Yang, MIT.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 15 October 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Anomaly Detection in the Field

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

UserChristian Callegari, University of Pisa.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 08 October 2013, 15:00-16:00

Microsoft Research Cambridge, public talks

Five machine learning research topics at Oxford CS

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

UserNando de Freitas, University of British Columbia.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 04 October 2013, 10:30-11:30

Microsoft Research Cambridge, public talks

Active Pedestrian Safety: from Research to Reality

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

UserDariu M. Gavrila, Daimler R&D (Ulm, Germany) and Univ. of Amsterdam (The Netherlands).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 03 October 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Managing the Network with Merlin

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

UserNate Foster, Cornell University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 02 October 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Robust Models of Mouse Movement on Dynamic Web Search Results Pages

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

UserFernando Diaz, Microsoft Research New York.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 01 October 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

How Watson Learns Superhuman Jeopardy! Strategies

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

UserGerald Tesauro, IBM TJ Watson Research Center.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 27 September 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Auctioning based Coordinated TV White Space Spectrum Sharing for Home Networks

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

UserMahesh Marina, University of Edinburgh.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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 Course

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

UserBabak Falsafi, EPFL - École polytechnique fédérale de Lausanne.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 18 September 2013, 14:30-15:30

Microsoft Research Cambridge, public talks

Disciplined Approximate Computing: From Language to Hardware, and Beyond

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

UserLuis Ceze, University of Washington.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 18 September 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

QUIC Graphs: Relational Invariant Generation for Containers

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

UserArlen Cox, University of Colorado Boulder/ENS Paris.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 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

UserYvo Desmedt, University of Texas.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 13 September 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Want Effective Security Solutions? Let's Re-Think The Design Approach

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

UserAngela Sasse, University College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 11 September 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Static Analysis of Cache Side Channels

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

UserBoris Koepf, IMDEA.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 10 September 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Proving Equivalences Between Prolog Semantics in Coq

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

UserJael E Kriener, University of Kent.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 06 September 2013, 16:00-17:00

Microsoft Research Cambridge, public talks

Deep Gaussian Processes

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

UserNeil Lawrence, University of Sheffield.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 03 September 2013, 15:00-16:00

Microsoft Research Cambridge, public talks

Censorship Circumvention: Staying Ahead in a Cat-and-Mouse Game

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

UserNikita Borisov, University of Illinois at Urbana-Champaign.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 29 August 2013, 16:00-17:00

Microsoft Research Cambridge, public talks

3D Reconstruction using Point-Based Fusion

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

UserDamien Lefloch, Seigen University Germany.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 21 August 2013, 14:30-15:00

Microsoft Research Cambridge, public talks

Improving Time-of-Flight Range Data Quality

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

UserAndreas Kolb, Seigen University Germany.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 21 August 2013, 14:00-14:30

Microsoft Research Cambridge, public talks

The Relationship Between Separation Logic and Implicit Dynamic Frames

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

UserDr Alexander Summers, ETH Zurich.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 21 August 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Datalog for Program Analysis: Beyond the Free Lunch

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

UserMayur Naik, Georgia Institute of Technology.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 16 August 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

KAT on a Wire: A Foundation for Network Programming

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

UserDavid Walker, Princeton University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 05 August 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

SWAN: Software-driven wide area network

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

UserRatul Mahajan, Microsoft Research.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 30 July 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Bridging the Discrete and the Continuous in Reasoning about Programs

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

UserSwarat Chaudhuri, Rice University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 25 July 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Automated Analysis of Probabilistic Programs

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

UserJoost-Pieter Katoen, RWTH Aachen.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 18 July 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Very high speed networking in VMs and bare metal

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

UserLuigi Rizzo, University of Pisa.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 09 July 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

NetFPGA: The Flexible Open-Source Networking Platform

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

UserAndrew Moore, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 05 June 2013, 11:00-12:00

Microsoft Research Machine Learning and Perception Seminars

Building Better Questionnaires with Probabilistic Modelling

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

UserRicardo Silva, UCL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 30 April 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Language-Integrated Quantum Operations: A Software Architecture for Quantum Computing

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

UserDave Wecker, Microsoft Research, Redmond.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 30 April 2013, 10:00-11:30

Microsoft Research Cambridge, public talks

Theory and Practice of Mix-Nets

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

UserDouglas Wikström, Kungliga Tekniska högskolan.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 16 April 2013, 09:00-10:30

Microsoft Research Cambridge, public talks

Cryptoforma: Computer-Aided Cryptographic proofs with EasyCrypt

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

UserGilles Barthe.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 15 April 2013, 13:00-14:30

Microsoft Research Cambridge, public talks

From Bounded to Unbounded Proofs of Correctness

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

UserAws Albarghouthi, University of Toronto.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 11 April 2013, 11:15-12:15

Microsoft Research Cambridge, public talks

Intelligent Location-Privacy Preserving Mechanisms

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

UserReza Shokri, EPFL .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 11 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

The Ramifications of Sharing in Data Structures

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

UserJules Villard, University College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 10 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Static Verification for Web Scripting Languages

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

UserRavi Chugh, UC San Diego.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 09 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Graph-Based Reasoning in Separation Logic for Fun and Profit

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

UserChristoph Haase, LSV at ENS Cachan.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 05 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Programming The Parallelism Zoo

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

UserGeoffrey Mainland (Microsoft Research).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 03 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Towards Algebra-Oriented Programming

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

UserBruno Oliveira, National University of Singapore.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 02 April 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

CRASH/SAFE: Clean-slate Co-design of a Secure Host Architecture

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

UserCatalin Hritcu, University of Pennsylvania .

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 28 March 2013, 10:00-11:00

Microsoft Research Machine Learning and Perception Seminars

Austerity in MCM - Land : Cutting the computational Budget

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

UserMax Welling, University of Amsterdam.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 27 March 2013, 14:00-15:00

Microsoft Research Machine Learning and Perception Seminars

Fast Variational Inference in the Conjugate Exponential Family

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

UserJames Hensman, University of Sheffield.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 March 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Proving Termination of Heap-Manipulating Java Programs

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

UserMarc Brockschmidt, RWTH Aachen.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 March 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Syntactic Foundations for Machine Learning

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

UserSooraj Bhat, Georgia Institute of Technology.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 26 March 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Wireless Networking Using Smart Radios

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

UserAveek Dutta, University of Colorado.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 22 March 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Trust and Mistrust on the Internet

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

UserPranav Dandekar, Stanford University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 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

UserSofia Ceppi, Politecnico di Milano.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 20 March 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

Privacy and Integrity of Remote Storage and Computation

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

UserOlga Ohrimenko, Brown University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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

UserIan Horrocks, University of Oxford.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 19 March 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Optimal Payments in Dominant-Strategy Mechanisms

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

UserVictor Naraditskiy, University of Southampton.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 14 March 2013, 10:00-11:00

Microsoft Research Machine Learning and Perception Seminars

Warped Mixture Models for Meaningful Clustering and Bayesian Manifold Learning

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

UserDavid Duvenaud, University of Cambridge.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 11 March 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Achieving High Data Rates in Distributed MIMO Systems

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

UserHoria Vlad Balan, USC.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 11 March 2013, 10:00-11:00

Microsoft Research Cambridge, public talks

Reasoning About Client Side Web Programs

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

UserGareth Smith, Imperial College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 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 genome

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

UserAdam Siepel, Cornell University.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 19 February 2013, 14:00-15:00

Microsoft Research Machine Learning and Perception Seminars

Daniel’s Adventures in Computer Vision Land

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

UserDaniel Freedman, Microsoft Research – Advanced Technology Labs Israel.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 18 February 2013, 14:00-15:00

Microsoft Research Cambridge, public talks

Modelling road networks in the Amazon

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

UserSadia Ahmed, Imperial College London.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 11 February 2013, 09:00-10:00

Microsoft Research Cambridge, public talks

Detecting Sybils without 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

UserBen Zhao, University of California.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 06 February 2013, 11:00-12:00

Microsoft Research Cambridge, public talks

How do we model global plant physiology? A case study of leaf phenology

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

UserSilvia Caldararu, University of Edinburgh.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 06 February 2013, 09:00-10:00

Microsoft Research Cambridge, public talks

Land use / land cover change and malaria risk in the Amazon region

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

UserDenis Valle, Levine Science Research Center (LSRC).

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 05 February 2013, 09:00-10:00

Microsoft Research Cambridge, public talks

Stratosphere: Massively parallel dataflow programming

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

UserKostas Tzoumas, Technical University of Berlin.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockFriday 01 February 2013, 10:00-11:00

Please see above for contact details for this list.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity