|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Add to your list(s)
Send you e-mail reminders
Further detail
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 298 talks in the archive. Microsoft Research Cambridge, public talks Assisting in the response to the COVID19 pandemic using internet data, Dr Elad Yom-Tov - MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Dropout as a Structured Shrinkage Prior
Gaussian processes with neural network inductive biases for fast domain adaptation
Microsoft Research Cambridge, public talks Distributed distributional codes for learning successor features in partially observable environmentsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Sankie: Using Data to Build Better Systems and ServicesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Machine Learning Meetup
Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Algorithmic Differentiation (AD) Beyond Back Propagation
Microsoft Research Cambridge, public talks Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks The Mobile Computing Platform after Smartphones - Prof Romit Roy Choudhury: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Photonic-chip-based soliton microcombs Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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
Microsoft Research Cambridge, public talks Three case studies for coexisting mechanisms in protein-pattern forming systems
Microsoft Research Cambridge, public talks Modeling User Experience in Games: Lessons LearnedPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
Microsoft Research Cambridge, public talks Using reason and evidence to do the most good
Frontiers in Artificial Intelligence Series How good is your classifier? Revisiting the role of evaluation metrics in machine learningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
Microsoft Research Cambridge, public talks Photons in the cloud: communicating and storing dataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Photonics for Computing: from Optical Interconnects to Neuromorphic ArchitecturesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Pizza & AI June 2019Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Pizza & AI April 2019Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 2Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 1Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Type the title of a new list here Structured light: seeing less to see more in optical microscopyPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research 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
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.
Open Issues in Build Systems
Frontiers in Artificial Intelligence Series Neural Code Comprehension: A Learnable Representation of Code SemanticsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Pizza & AI February 19Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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
Pizza & AI January 2019Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
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.
AI + Pizza October 2018Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research 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.
AI + Pizza September 2018Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Simulation for Intelligent SystemsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
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.
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.
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.
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.
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.
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.
AI+Pizza February 2018Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
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.
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.
Microsoft Research Cambridge, public talks Open Evening for Women in Engineering
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.
Microsoft Research Cambridge, public talks Manifest Sharing with Session TypesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
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.
Microsoft Research Cambridge, public talks AI and Healthcare Open Evening at Microsoft Research
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.
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.
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.
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.
Microsoft Research Cambridge, public talks Generalizing Convolutions for Deep LearningPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Unsupervised Cluster Matching for Relational DataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Computing In Schools: How Your Skills Can Change Lives
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
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.
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.
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
Microsoft Research Cambridge, public talks Reflections on Code-Reuse Attacks and DefensesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
Microsoft Research Cambridge, public talks Engineering the Future: an open evening for women in engineering
Microsoft Research Cambridge, public talks Admitting more tenants with tail latency SLOsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks PCC: Re-architecting Congestion Control for Consistent High PerformancePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Pony: Co-Designing a Type System and a RuntimePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks General-purpose representation learning from words to sentencesPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Information-Theoretic Bounded RationalityPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Stamping Out Concurrency BugsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Parallel Inference and Learning with Deep Structured DistributionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Into the Mountains: The Extraordinary True Story of Survival in the Andes and its Aftermath
Microsoft Research Cambridge, public talks Freeform interactions and disrupted displaysPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Regularized Optimal Transport and ApplicationsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
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.
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.
Microsoft Research Cambridge, public talks Opportunistic Storage Maintenance (SOSP’15)
Microsoft Research Cambridge, public talks End-user programmers need first-class software engineering tools
Microsoft Research Cambridge, public talks Verasco, a formally verified C static analyzerPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Formalising and Analysing Transactional Consistency ModelsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required
Microsoft Research Cambridge, public talks Synthesising Gene Regulatory Networks from Single-Cell Gene Expression DataPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Symbiotic design for machine intelligence systemsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks A Decade of ThrillPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Model-Based Hand Tracking with Texture, Shading and Self-occlusionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks A Constructive Approach to Secure-Channel ProtocolsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Modern Deep Learning through Bayesian Eyes
Microsoft Research Cambridge, public talks From Boolean to Quantitative Methods in Formal VerificationPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Rethinking Storage and Networking in Next Generation Racks
Microsoft Research Cambridge, public talks Talking with Reddit: Exploring limitations of recurrent neural network conversational systems.
Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?
Microsoft Research Cambridge, public talks Incremental Neuroevolution of Reactive and Deliberative 3D Agents
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.
Microsoft Research Cambridge, public talks Towards Cross-fertilization Between Propositional Satisfiability and Data MiningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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.
Microsoft Research Cambridge, public talks Plug into the SupercloudThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendi
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
Microsoft Research Cambridge, public talks Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impacttalkscam@microsoft.com
Microsoft Research Cambridge, public talks Bonsai: Reactive Tools for Data ScienceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Rendering Eyes for Eye-TrackingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Generative Models for Shape and AppearanceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks VISC: VIRTUAL INSTRUCTION SET COMPUTINGThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Intelligible Machine Learning Models for HealthCareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: Toward Causal Machine Learning
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
Microsoft Research Cambridge, public talks Declarative query processing in imperative managed runtimesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
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
Microsoft Research Cambridge, public talks Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Microsoft Research Cambridge, public talks Big Dream Documentary Screening and Q&A Panel
Microsoft Research Cambridge, public talks An Efficient Solver for string and regular expression constraintsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Visual Programming Language for building Artificial Biochemistries in HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Unveiling the Secrets of High-Performance DatacentersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Pushing the Limits of Localization and Capacity in Today's Wi-Fi NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Convex low-rank models: from matrices to tensorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Supporting the Mobile Nomadic User through Projected User Interfaces
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
Microsoft Research Cambridge, public talks Content Placement as a Key to Leveraging Geo-Distributed Infrastructureso This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks Text To Programs: Automating Computer Tasks from Natural Language DescriptionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Automatic differentiation and machine learningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field SensingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Programming and Proving with Fine-Grained Concurrent ResourcesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Workshop: Machine Learning in Cambridge 2015This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Death, Identity, and the Social NetworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Beyond acceleration: time, narratives, and the design of multiple worldsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Un-Computing: Shaking off the ‘Computer’ BaggageThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Solving QBF by Counterexample-Guided Abstraction RefinementThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Towards Full-Stack Security Analysis of Web ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Modeling, Quantifying, and Limiting Adversary KnowledgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Meta-Interpretive Learning and Program InductionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Manifold correspondence: a signal processing perspectiveThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Predictable and Dependable Low-power Wireless NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Laws of Programming with ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture - Laws of Programming with ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Causal Inference and Domain AdaptationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Genome-wide transcriptional control of blood cell type identityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Bedrock: A Software Development Ecosystem Inside a Proof AssistantThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Checking microarchitectural implementations of weak memoryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Machine Learning in an Exchange EnvironmentThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Platforms and Applications for "Big and Fast" Data AnalyticsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Coping with the Intractability of Graphical ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture Series - Technological Innovation in HealthcareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Physical WebThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks On Basing One-Way Functions on NP-HardnessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Taming GPU threads with F# and Alea.GPUThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Reasoning about GADT Pattern Matching in HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks An Approximate Differentiable RendererThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Ancient lives, new discoveries: eight mummies, eight lives, eight storiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Logic programming beyond PrologThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks RDFox — A Modern Materialisation-Based RDF SystemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Lottery AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks First-person Hyperlapse VideosThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Discursis: A Computational Methodology for the Analysis of Communication DataThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Case for using Trend Filtering over SplinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Local Deep Kernel Learning for Efficient Non-linear SVM PredictionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Micro-Policies: A Framework for Tag-Based Security MonitorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Hedging Against Uncertainty via Multiple Diverse PredictionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent MachinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Compositional ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Towards Zero Latency Photonic SwitchingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Systems, Science and FreeBSDThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Integral Image Method for Fisheye ImagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks A Verified Compiler for Probability Density FunctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Brave New World of Next-Generation NoSQL Data StoresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Steps toward usable verificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks FSCL: homogeneous programming and execution for heterogeneous platformsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Unifying logic and probability: A "New Dawn" for Artificial Intelligence?NOTE THE SPECIAL VENUE (Microsoft Research)
Microsoft Research Cambridge, public talks Computer Vision for Movie Making and InfographicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Collapsible Approach to Higher Order VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Thinking for Programmers: Rising Above the CodeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Mid-level Likelihoods and Constraints for 3D Scene InterpretationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Protecting Programs During Resource RetrievalThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory) On-the-fly garbage collection: issues and opportunities
Microsoft Research Cambridge, public talks The shadowy life of many webcamsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Seeing in depth: computations and cortical networksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Crafting VisualizationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Bandits with Switching Costs: T^{2/3} RegretThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource ProvisioningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Decision Making and Inference under Limited Information and Large DimensionalityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks IC3 Modulo Theories via Implicit Predicate AbstractionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Rich semantic representations for detailed visual recognitionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Globally Optimizing Graph Partitioning Problems Using Message PassingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Performance Optimizations for Compiler-based Error Detection MethodologiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Using ConvNets, MALIS and crowd-sourcing to map the retinal connectomeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st centuryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Performance of Deferred-Acceptance Heuristic AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Trouble-makers: Audio-video distortions as a relational resource in couples’ video callsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Designing Controller Abstractions for Software-Defined NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Rethinking State-Machine Replication for Multicore ArchitecturesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Computational foundations of Bayesian inference and probabilistic programmingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks An Online Allocation Mechanism with Pre-Commitment and its Application to Electric Vehicle ChargingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Generative probabilistic programming: applications and new ideasThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Topological Data Analysis: potential applications to computer visionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Declarative Static Program AnalysisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks FaRM: Fast Remote MemoryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The persistence of structure: Layers, time, and the estimation of optical flowThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory) Automating reasoning tasks for separation logic
Microsoft Research Cambridge, public talks Efficient Preconditioning of Laplacian Matrices for Computer GraphicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Combinatorial Prediction Market for the US ElectionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Real time control with lots of humans in the loopThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Reasoning about Eventual ConsistencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Principles and Techniques of Automatic DifferentiationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Hardware Neural Network AcceleratorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Programming Approximate SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Image Classification Using a Background PriorThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Automatic DifferentiationPart One: A Revisionist History and the State of the ArtThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Depot: from Byzantine fault tolerance to eventual consistency in a single systemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Randomized tree ensembles: output kernels and variable importancesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Language based web security: the operational semantics approachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Language based web security: the operational semantics approachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory) Language based web security: the operational semantics approach
Logic and Semantics Seminar (Computer Laboratory) Weighted relational models of typed lambda-calculi
Microsoft Research Cambridge, public talks Multimodal Gaze-Supported Interaction
Microsoft Research Cambridge, public talks Discovering the Structure of Visual Categories from Weak AnnotationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks A Bigger and Faster Bitcoin: an Analysis of High-Rate Bitcoin Transaction ProcessingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Type Refinement in the AbstractThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Reflection methods for user-friendly submodular optimizationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Framework for Automatically Enforcing Privacy PoliciesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Anomaly Detection in the FieldThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Five machine learning research topics at Oxford CSThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Active Pedestrian Safety: from Research to RealityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Managing the Network with MerlinThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Robust Models of Mouse Movement on Dynamic Web Search Results PagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks How Watson Learns Superhuman Jeopardy! StrategiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Inextensibility constraints for 3D reconstruction of deformable objects
Microsoft Research Cambridge, public talks Auctioning based Coordinated TV White Space Spectrum Sharing for Home NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Big Data and Dark Silicon: Taming Two IT Inflection Points on a Collision CourseThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Disciplined Approximate Computing: From Language to Hardware, and BeyondThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks QUIC Graphs: Relational Invariant Generation for ContainersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Want Effective Security Solutions? Let's Re-Think The Design ApproachThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Static Analysis of Cache Side ChannelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Proving Equivalences Between Prolog Semantics in CoqThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Deep Gaussian ProcessesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Censorship Circumvention: Staying Ahead in a Cat-and-Mouse GameThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks 3D Reconstruction using Point-Based FusionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Improving Time-of-Flight Range Data QualityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Relationship Between Separation Logic and Implicit Dynamic FramesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Datalog for Program Analysis: Beyond the Free LunchThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks KAT on a Wire: A Foundation for Network ProgrammingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks SWAN: Software-driven wide area networkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Bridging the Discrete and the Continuous in Reasoning about ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Automated Analysis of Probabilistic ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Very high speed networking in VMs and bare metalThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic and Semantics Seminar (Computer Laboratory) A few lessons that I learnt about interprocedural program analyses
Microsoft Research Cambridge, public talks NetFPGA: The Flexible Open-Source Networking PlatformThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Building Better Questionnaires with Probabilistic ModellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Language-Integrated Quantum Operations: A Software Architecture for Quantum ComputingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Microsoft Research Cambridge, public talks Theory and Practice of Mix-NetsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Cryptoforma: Computer-Aided Cryptographic proofs with EasyCryptThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks From Bounded to Unbounded Proofs of CorrectnessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Intelligent Location-Privacy Preserving MechanismsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Ramifications of Sharing in Data StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Static Verification for Web Scripting LanguagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Graph-Based Reasoning in Separation Logic for Fun and ProfitThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Programming The Parallelism ZooThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Towards Algebra-Oriented ProgrammingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks CRASH/SAFE: Clean-slate Co-design of a Secure Host ArchitectureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Austerity in MCM - Land : Cutting the computational BudgetThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Fast Variational Inference in the Conjugate Exponential FamilyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Proving Termination of Heap-Manipulating Java ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Syntactic Foundations for Machine LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Wireless Networking Using Smart RadiosThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Trust and Mistrust on the InternetThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Privacy and Integrity of Remote Storage and ComputationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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
Microsoft Research Cambridge, public talks Optimal Payments in Dominant-Strategy MechanismsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Warped Mixture Models for Meaningful Clustering and Bayesian Manifold LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Achieving High Data Rates in Distributed MIMO SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Reasoning About Client Side Web ProgramsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars New probabilistic methods for inference of natural selection on regulatory sequences in the human genomeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Machine Learning and Perception Seminars Daniel’s Adventures in Computer Vision LandThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Modelling road networks in the AmazonThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Detecting Sybils without GraphsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks How do we model global plant physiology? A case study of leaf phenologyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Land use / land cover change and malaria risk in the Amazon regionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Stratosphere: Massively parallel dataflow programmingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Please see above for contact details for this list. |
Other listsPhilosophy of Education Society of Great Britain: Cambridge Branch Managing Open Data with an Industrial Partner Phonetics & Phonology Research ClusterOther talksCyclic Peptides: Building Blocks for Supramolecular Designs The clinical and biological basis of prostate cancer - from diagnosis to personalised therapy The MMHT view of the proton Polynomial approximation of high-dimensional functions on irregular domains Whence the force of the law? John Rawls and the course of American legal philosophy Single Cell Seminars (August) Graph Legendrians and SL2 local systems Disease Migration From Euler to Poincare No interpretation of probability |
Dr Elad Yom-Tov, Microsoft Research.
Monday 09 May 2022, 11:00-12:00