![]() |
You need to be logged in to carry this out. If you don't have an account, feel free to create one. |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Small Lecture Theatre, 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 61 talks in the archive. Microsoft Research Cambridge, public talks PRECOG: PREdiction Conditioned On Goals in Visual Multi-Agent SettingsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Combating Student Mental Illness with Technology—from the Imagine Cup UK FinalsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Windows Insider ProgramPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Engineering the Future: Engineering in Artificial Intelligence at Microsoft Research Cambridge
Microsoft Research Cambridge, public talks Flexible PaxosPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Verifying Constant-Time ImplementationsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks An introduction to program verification with F*Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Practical Statically-checked Deterministic ParallelismPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Summer of Science Talks: An Introduction to Discrete Geometry, with application to the Principles of Concurrent Programming Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMAPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Activity recognition in naturalistic environmentsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks The structures of induction and co-induction. Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.
Microsoft Research Cambridge, public talks Human factors of software updatesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Power of Negations in Cryptography
Microsoft Research Cambridge, public talks The Power of Negations in Cryptography
Microsoft Research Cambridge, public talks Computer-aided Concurrent Programming using Concurrent Trace Sets
Microsoft Research Cambridge, public talks Formal verification approach to modelling biochemical systemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Social Media Predictive Analytics: Methods and ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Relational Machine Learning for Knowledge Graphs.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field Sensing
Microsoft Research Cambridge, public talks Design and Evaluation of Proxemic-Aware Environments to Support Epistemic ActivitiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Considering Tools for Artists, Creative Processes, and Design IdeationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Protecting encrypted cookies from compression side-channel attacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Context-aware programming languagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks The Difficulty of Preventing Code Reuse AttacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Cutting tail latency in cloud data stores via adaptive replica selectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Democratizing Electronics: Tools, Examples, and Contexts for Supporting the Construction of Personally-Meaningful Interactive ArtifactsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Dynamic PDP vs. Dynamic POR: Are they really different?This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Robust Distance Queries on Massive NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
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 A link between lambda calculus and mapsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks End of Internship Talk: F# Type Providers: DBpedia and the Combinator FrameworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Representing microbial communities in Earth system modelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Byte Night CambridgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Image representation for synthesis and recognition using multilinear algebraThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Practical Techniques for Auto-Active VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Local Temporal ReasoningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks A Modular Integration of SAT/SMT Solvers to Coq through Proof WitnessesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Geo-replicated storage with scalable deferred update replicationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Algebra of Parameterised GraphsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Sustainable IT and IT for SustainabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Incremental Parallel and Distributed SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Characterizing and Improving Last-Mile Performance Using Home Networking InfrastructureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Automatic Differentiation - Part One: A Revisionist History and the State of the ArtThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Scaling Deep LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Part Detection and Species IdentificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Mechanism design for Cloud Computing and CrowdsourcingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Achieving the Full Potential of State Machine Replication: High Throughput, Low Latency, Constant AvailabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Algebraic methods in computer vision and automatic generation of efficient algebraic solversThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Reaping the Benefits of Partial SDN Deployment in Enterprise NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks MSR-Lecture: Generative Models of Images of ObjectsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Modular reasoning for modular concurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Reconstruction and Applications of Collective Storylines from Web Photo CollectionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Understanding and Improving the Efficiency of Failure Resilience for Big Data FrameworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Big Data Analytics with All-or-Nothing Parallel JobsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Understanding and Improving Device Access ComplexityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks MSR-Lecture: Gaussian Processes for Pattern Discovery, Speaker: Andrew WilsonThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Hypervisor Scheduler Enhancement Using OS-Hardware InteractionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks Automated Error Diagnosis Using Abductive InferenceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Please see above for contact details for this list. |
Other listsBlueSci Talks Marshall Lecture Baha'i Awareness WeekOther talksCambridge-Lausanne Workshop 2018 - Day 1 High-Dimensional Collocation for Lognormal Diffusion Problems Identifying new gene regulating networks in immune cells Scaling of tissue proportions to body size during vertebrate development CANCELLED DUE TO STRIKE ACTION Concentrated, “pulsed” axial glacier flow: structural glaciological evidence from Kvíárjökull in SE Iceland 'Ways of Reading, Looking, and Imagining: Contemporary Fiction and Its Optics' Retinal mechanisms of non-image-forming vision To be confirmed 'Cambridge University, Past and Present' EU LIFE Lecture - "Histone Chaperones Maintain Cell Fates and Antagonize Reprogramming in C. elegans and Human Cells" A unifying theory of branching morphogenesis |