COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
rdm34's list
Add to your list(s)
Send you e-mail reminders
Further detail
A personal list of talks. If you have a question about this list, please contact: Robert Mullins. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 1199 talks in the archive: show all (slow!). Computer Laboratory Computer Architecture Group Meeting Compiler and Architectural Support for Whole-System PersistenceChanghee Jung, Purdue University. SS03, Computer Laboratory, William Gates Building. Thursday 28 March 2024, 11:00-12:00 Democratizing Data Science by Leveraging StructureAmir Shaikhha. Room SS03, Computer Laboratory, William Gates Building. Friday 22 March 2024, 11:00-12:00 Computer Laboratory Computer Architecture Group Meeting Optimization Methods for Accelerator Mapping and Hardware Design Space ExplorationGrace Dinh, Unversity of Berkley. SS03, Computer Laboratory, William Gates Building. Friday 08 March 2024, 13:00-14:00 Computer Laboratory Computer Architecture Group Meeting Representing Data Collections for Analysis and TransformationTommy McMichen, Northwestern University. SS03, Computer Laboratory, William Gates Building. Friday 08 March 2024, 10:45-11:45 Computer Laboratory Computer Architecture Group Meeting OptiWISE: Combining Sampling and Instrumentation for Granular CPI AnalysisYuxin Guo, University of Cambridge. SC04, Computer Laboratory, William Gates Building. Tuesday 27 February 2024, 12:00-13:00 Computer Laboratory Computer Architecture Group Meeting Compiler Testing with Relaxed Memory Models with L. GeesonLuke Geeson. SN08, Computer Laboratory, William Gates Building. Tuesday 20 February 2024, 17:00-18:00 Technical Talks - Department of Computer Science and Technology Monumo: Reinventing Electric MotorsDr Chris Doran - AI Research Fellow and Head of 3D at Monumo and Fellow of Sidney Sussex College. Monday 19 February 2024, 13:05-13:55 Technical Talks - Department of Computer Science and Technology TechWolf: Revolutionizing HR Tech: Ethical AI Integration in the Age of Generative ModelsJens-Joris Decorte, lead AI Scientist at TechWolf. Monday 12 February 2024, 13:05-13:55 Wednesday Seminars - Department of Computer Science and Technology The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and VerificationDr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge. Lecture Theatre 1, Computer Laboratory, William Gates Building. Wednesday 07 February 2024, 15:05-15:55 Visual, Interactive, and Explainable Human-AI CollaborationMenna El-Assady. Computer Laboratory, William Gates Building, LT2. Wednesday 24 January 2024, 16:00-17:00 Technical Talks - Department of Computer Science and Technology Ab Initio: Processing High Volume IoT DataJames Wyper. Monday 22 January 2024, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Vaticle: Type theory as the unifying foundation for modern databasesHaikal Pribadi (CS MPhil, Cambridge), CEO/CTO at Vaticle and Christoph Dorn (CS DPhil, Oxford), Head of Research at Vaticle. Monday 27 November 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Neo4j: GenAI with LLMs and Knowledge GraphsAndreas Kollegger of Neo4j, Inc. (@akollegger). Monday 20 November 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Goldman Sachs - Quantitative Finance and AIMatteo Pozzi, Associate on the Applied AI team at Goldman Sachs. Monday 13 November 2023, 13:05-13:55 Computer Laboratory Computer Architecture Group Meeting Unlocking the Power of Data-Centric Acceleration for Modern ApplicationsHaiyu Mao, ETH Zurich. SS03, Computer Laboratory, William Gates Building. Friday 10 November 2023, 15:00-16:00 Technical Talks - Department of Computer Science and Technology Jane Street: Why Ocaml?Pedro Flemming, Software Engineer at Jane Street . Monday 30 October 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Bloomberg: Software Design Dilemmas: Choices We Make In a System With Over Two Million Hits A DayZineb Slam, Bloomberg Placement Fall 2017 & Full-Time 2018, Mobile Shared Services Team, Co-Lead of the Bloomberg Women in Technology community in London. Monday 23 October 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology GSA Capital: Technology in a quant trading firm: how innovation helps stay competitive in today's marketsMihai Enache. Monday 16 October 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Roku: The Challenges of Motion Detection and Object Detection on Edge Cameras in the HomeLuke Johnson-Davies. Monday 09 October 2023, 13:05-13:55 Computer Laboratory Computer Architecture Group Meeting Modern Cache Prefetching and Page Size Aware Cache PrefetchingNote unusual time Texas A&M. Wednesday 13 September 2023, 13:30-14:30 Computer Laboratory Computer Architecture Group Meeting SQuadS: Self-Serve System Services for new Hardware-Software CooperationNazerke Turtayeva, UC Santa Barbara. SS03, Computer Laboratory, William Gates Building. Thursday 07 September 2023, 13:00-14:00 Tenstorrent - building AI/ML acceleratorsThaddeus Fortenberry, Ali Ziadi and Luke Yen. LT2, Computer Laboratory, William Gates Building. Tuesday 01 August 2023, 10:00-12:00 Computer Laboratory Computer Architecture Group Meeting Wally: Bridging he CPU Education-Implementation GapNote unusual time Prof. David Harris, Harvey Mudd College. SS03, Computer Laboratory, William Gates Building. Thursday 22 June 2023, 11:00-12:00 Computer Laboratory Computer Architecture Group Meeting Synthesizing Accelerators for FPGAs the Functional WayChristophe Dubach (McGill University). SS03, Computer Laboratory, William Gates Building. Thursday 01 June 2023, 14:00-15:00 Technical Talks - Department of Computer Science and Technology TechWolf: From text to skills: an NLP journeySeverine Verlinden, NLP Engineer. Tuesday 21 February 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Ab Initio: Data Science in Industry: Trials and TribulationsDr Owen Astley (Cambridge University), Jonathan Sunderland, Dr Richard Hall (Sheffield, Cambridge University), Ben Roche (Durham University). Tuesday 14 February 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Next DLP: Cyber Security Talk - Well that's expensively weird - A deep dive into cloud incident responseTom Cope, CSO from NextDLP. Tuesday 07 February 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Huawei: Pangloss+: a novel Markov chain adaptive prefetcherPhilippos Papaphilippou, Senior CPU Architect at Huawei UK R&D. Tuesday 31 January 2023, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Entrust: Leighton-Micali SignaturesRichard Kettlewell, Senior Principle Software Architect. Tuesday 24 January 2023, 13:05-13:55 Computer Laboratory Computer Architecture Group Meeting Rivos Founder's Talk: Why RIsc-V? Why Open Source? Why is Architecture back?Note unusual time and location Dr Mark Hayter. Thursday 12 January 2023, 15:00-16:00 Technical Talks - Department of Computer Science and Technology Nethermind: Zero-knowledge proofs. From theory to practice in less than 40 yearsMichal Zajac - Head of Research at Nethermind. Room FW26, Computer Laboratory, William Gates Building. Tuesday 29 November 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Utterberry: Data and Data SustainabilityHeba Bevan - Utterberry CEO. Room FW26, Computer Laboratory, William Gates Building. Tuesday 22 November 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Gearset: Lessons from life as a junior software engineerJulian Wreford. Room FW26, Computer Laboratory, William Gates Building. Tuesday 15 November 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Avos: Looking back 15 years: the technological changes leading to the Zoom Cat LawyerSam Jansen. Room FW26, Computer Laboratory, William Gates Building. Tuesday 08 November 2022, 13:05-13:55 Microsoft Research Cambridge, public talks The second generation of meta-learning methodsMassimiliano (Max) Patacchiola, University of Cambridge. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 November 2022, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Monumo: Engineering Simulation and Design: New Opportunities for Computer ScienceChris Doran. Room FW26, Computer Laboratory, William Gates Building. Tuesday 01 November 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Jane Street: One log to rule them all – How to keep state straight in distributed systemsMatt Else. Room FW26, Computer Laboratory, William Gates Building. Tuesday 25 October 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology GSA Capital: Staying CompetitiveJulian Roth. Room FW26, Computer Laboratory, William Gates Building. Tuesday 18 October 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Reply: Introduction to Post-Quantum Cyber SecurityAnuj Doshi and Vasu Prasad. Room FW26, Computer Laboratory, William Gates Building. Tuesday 11 October 2022, 13:05-13:55 Microsoft Research Cambridge, public talks Assisting in the response to the COVID19 pandemic using internet data, Dr Elad Yom-Tov - MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Dr Elad Yom-Tov, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 May 2022, 11:00-12:00 Technical Talks - Department of Computer Science and Technology TNG Technology Consulting: Microservices for Smarter Home AppliancesDr. Tobias Tennstädt, Senior Consultant and Niklas Eicker, Software Consultant. Tuesday 08 March 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Poly AI: Architecting Human-Sounding Voice AssistantsRazvan Kusztos . Lecture Theatre 1, Computer Laboratory, William Gates Building.. Wednesday 02 March 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Huawei: Rethinking memory subsystem designArtemiy Margaritov. Lecture Theatre 1, Computer Laboratory, William Gates Building. Tuesday 22 February 2022, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Ab Initio: Traversing the abstraction layers: an introduction to graph programmingJonathan Sunderland . Wednesday 01 December 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Bloomberg: Apache Cassandra: The Good, The Bad, and The UglyPaulo Motta, Apache Cassandra PMC member & committer. Tuesday 23 November 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology TNG Technology Consulting: Where Am I and What's That? - SLAMDaniel Pape. Monday 15 November 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Wintermute: DeFi PresentationHaashir Ashraf and Santi D’Ornellas. Wednesday 10 November 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Cisco: Saving the world, one handset at a timeSimon Chatterjee. Wednesday 03 November 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Jane Street: OCaml and Python; Getting the Best of Both WorldsLaurent Mazare, Quantitative Researcher, Jane Street. Tuesday 26 October 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology BigPay: Event Based Architecture at BigPayAlex Wiles. Tuesday 19 October 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology IMC Trading: Trading, A Story Of Reddit And NanosecondsPierre Bashshour. Monday 18 October 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology TechWolf: JobBERT: Understanding Job Titles through SkillsJens-Joris Decorte. Tuesday 12 October 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology GSA Capital: Staying CompetitiveJoris Peeters, PhD in Applied Physics. Monday 11 October 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Cadence Design Systems: Machine Learning in EDAAndrew Hall. Tuesday 16 March 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology HP: Click Happens: Using Hypervisors for threat containmentIan Pratt, Global Head of Security, HP Inc. Monday 08 March 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Entrust: Is Quantum Computing really a threat to Security Systems?Dr Pali Surdhar, Product Security Director, Entrust. Tuesday 02 March 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Matrix/Element: Turning Matrix into a Peer-to-peer mesh network for decentralised communication with BLEMatthew Hodgson, Project lead, Matrix.org. Monday 22 February 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology BigPay: Building a South-East Asian NeobankRichard Watts. Monday 15 February 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology TechWolf: Deep learning for Career PredictionJosef Valvoda. Monday 08 February 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Amazon UK: Tech TalkCarl Summers, Michael Dimond, Gokul Ramanan Subramanian. Tuesday 02 February 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Linaro/96 Boards: Innovation in Autonomous Driving powered by Open Source Heterogeneous Computing PlatformYang Zhang - Director, 96Boards, Linaro. Co-Founder and Board of Director, Autoware Foundation. Tuesday 26 January 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Optiver: From Instant to Eternity: Challenges in Data EngineeringZuotian Tatum - Optiver Engineer. Monday 25 January 2021, 13:05-13:55 Technical Talks - Department of Computer Science and Technology PA Consulting: Applications of AR/VRMauro Aguiar and Czar Balangue. Monday 30 November 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Bloomberg: Trading Programs - How the finance industry has become so complex that today's products are similar to programsJoel Bjornson. Wednesday 25 November 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Mediatek: 5G – Life beyond the SmartphoneAbdellatif Salah. Thursday 19 November 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Rebellion Defense: Agent-based modeling (ABM) and MesaJackie Kazil . Tuesday 10 November 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Palantir: P101 + Responding to COVID-19Speaker to be confirmed. Tuesday 03 November 2020, 17:00-18:00 Technical Talks - Department of Computer Science and Technology Cisco: Have your Robots Call My RobotsSimon Chatterjee. Tuesday 03 November 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology Gearset: Continuous Delivery in PracticeBen Roberts (Software Engineer) and Luke Drury (Head of Engineering). Thursday 22 October 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology IMC Trading: High Frequency Trading: how to (not) become Warren BuffetPierre Bashshour. Monday 19 October 2020, 13:05-13:55 Technical Talks - Department of Computer Science and Technology TNG Technology Consulting: Deepfakes 2.0 - How Neural Networks Are Changing Our WorldThomas Endres, Martin Förtsch and Jonas Mayer. Thursday 15 October 2020, 13:05-13:55 Microsoft Research Cambridge, public talks Distributed distributional codes for learning successor features in partially observable environmentsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eszter Vértes, Gatsby Unit, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 February 2020, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Green Custard Ltd: Innovating at pace in IoTFood provided Zoltan Molnar and Gavin Dolling . Wednesday 19 February 2020, 13:00-14:00 Microsoft Research Cambridge, public talks Sankie: Using Data to Build Better Systems and ServicesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Microsoft Research-India. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 11 February 2020, 11:00-12:00 Technical Talks - Department of Computer Science and Technology Amazon Alexa Tech TalkFood provided Paolo Gianrossi, Software Development Manager (Amazon Alexa team, Cambridge). Monday 03 February 2020, 13:00-14:00 Microsoft Research Cambridge, public talks Machine Learning MeetupMarc Brockschmidt (MSR Cambridge) and Vincent Dutordoir (Prowler). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 January 2020, 17:30-19:30 Technical Talks - Department of Computer Science and Technology Cambridge Design Partnership - Think Small: Embedded Software FTW!Food provided Jason Mashinchi, Graduate Software Engineer and Tom Vajzovic, Consultant Software Engineer. Monday 27 January 2020, 13:00-14:00 Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Zachary Chase Lipton, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 January 2020, 15:00-16:00 Microsoft Research Cambridge, public talks Deep (Inter-)Active Learning for NLP: Cure-all or Catastrophe?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Zachary Chase Lipton, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 January 2020, 14:00-15:00 Microsoft Research Cambridge, public talks Algorithmic Differentiation (AD) Beyond Back PropagationUwe Naumann, RWTH Aachen University, and NAG Ltd., Oxford, UK. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 23 January 2020, 11:30-12:30 Technical Talks - Department of Computer Science and Technology Optiver: Machine learning in trading: Let’s build a quantitative trading strategyFood provided Dennis Fleurbaaij. Wednesday 22 January 2020, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Diving into Decentralised communication with Matrix.orgFood provided Matthew Hodgson, Project Lead. Monday 20 January 2020, 13:00-14:00 Microsoft Research Cambridge, public talks Moonshot Thinking to Unleash Innovation, Dr Pablo Rodriguez - Telefonica Alpha: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dr Pablo Rodriguez - Telefonica Alpha. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 12 December 2019, 11:00-12:00 Microsoft Research Cambridge, public talks The Mobile Computing Platform after Smartphones - Prof Romit Roy Choudhury: MSR Cambridge, Lecture SeriesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof Romit Roy Choudhury, UIUC. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 December 2019, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Mathworks: MATLAB and NVIDIA Docker: A Complete AI Solution, Where You Need It, in an InstantFood provided Dr. Jos Martin, Senior Engineering Manager - Parallel Computing. Monday 25 November 2019, 13:00-14:30 Microsoft Research Cambridge, public talks Photonic-chip-based soliton microcombs Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tobias Kippenberg: École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 22 November 2019, 13:30-15:00 Technical Talks - Department of Computer Science and Technology Roku: Engineering Smart TVs for fun and profitFood provided Tim Granger. Wednesday 20 November 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Recruitment FairRecruitment Fair. The Street, Computer Laboratory. Friday 15 November 2019, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Recruitment FairRecruitment Fair. The Street, Computer Laboratory. Thursday 14 November 2019, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Yelp: Datastore Architecture - Orchestrating Cassandra with Kubernetes: Challenges and OpportunitiesFood Provided Raghavendra D Prabhu. Wednesday 13 November 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Netcraft: Credit card skimming for fun and profitFood provided Graham Edgecombe. Monday 11 November 2019, 13:00-15:00 Computer Laboratory Computer Architecture Group Meeting Fast and Efficient Deployment of Security Defenses via Microcode CustomizationNote unusual time and location Prof Ashish Venkat, University of Virginia. SS03, Computer Laboratory, William Gates Building. Monday 11 November 2019, 09:30-10:30 Technical Talks - Department of Computer Science and Technology Cisco: How to break the InternetFood Provided Simon Chatterjee. Friday 08 November 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Building For Scale: How and Why Stripe Built Sorbet, a Type Checker for RubyFood provided Aaron Broder. Wednesday 06 November 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Google: The Life of a Software EngineerGoogle. Thursday 31 October 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology My Secure Bank - Morgan StanleyFood provided Morgan Stanley. Wednesday 30 October 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Palantir - Privacy and Civil Liberties (PCL) & Machine LearningFood provided John Grant, Lead of Palantir’s Privacy and Civil Liberties Team. Monday 28 October 2019, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Read Less, Learn More: Extracting Key News ThemesFood provided Joshua Bambrick, Bloomberg. Tuesday 22 October 2019, 13:15-14:30 Technical Talks - Department of Computer Science and Technology JPMorgan Technology ShowcaseFood provided JP Morgan. Monday 21 October 2019, 13:00-15:00 Technical Talks - Department of Computer Science and Technology Interactive workshop with Goldman SachsFood provided Speaker to be confirmed. Wednesday 16 October 2019, 13:05-15:00 Computer Laboratory Computer Architecture Group Meeting The new clang constant interpreterNandor Licker (University of Cambridge). Wednesday 16 October 2019, 11:00-12:00 Technical Talks - Department of Computer Science and Technology Accelerating Machine Learning on ArmFood provided : Isabella Gottardi, Software Engineer, ARM. Tuesday 15 October 2019, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Dealing with the 3 V's: Bigger, Faster, WeirderFood provided. Please sign up online at www.gsacapital.com/careers so we can gauge numbers for catering. Dr Joris Peeters, GSA Capital. Monday 14 October 2019, 13:05-14:00 Microsoft Research Cambridge, public talks Advanced polarized light microscopy for mapping molecular orientation Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Prof Rudolf Oldenbourg, Marine Biological Laboratory, MA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 September 2019, 09:30-11:00 Microsoft Research Cambridge, public talks Three case studies for coexisting mechanisms in protein-pattern forming systemsFridtjof Brauns, LMU Munich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 September 2019, 10:30-11:30 Microsoft Research Cambridge, public talks Modeling User Experience in Games: Lessons LearnedPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gerogios Yannakakis, University of Malta. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 September 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Physical security and side channel attacks in Arm based SoCs Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Chowdary Yanamadala & Jeremy Dubeuf, ARM. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 09 August 2019, 11:00-12:00 Microsoft Research Cambridge, public talks Using reason and evidence to do the most goodEve McCormick - Effective Altruism Cambridge & Olly Crook - University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 31 July 2019, 14:00-15:00 Frontiers in Artificial Intelligence Series How good is your classifier? Revisiting the role of evaluation metrics in machine learningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Sanmi Koyejo, University of Illinois . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 31 July 2019, 11:00-12:00 Microsoft Research Cambridge, public talks Antennas for light and their applications in classical optics Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dr Rupert Oulton, Imperial College . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 July 2019, 16:00-17:30 Microsoft Research Cambridge, public talks PRECOG: PREdiction Conditioned On Goals in Visual Multi-Agent SettingsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rowan McAlister, University of California, Berkeley. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 June 2019, 13:30-14:30 Microsoft Research Cambridge, public talks Photons in the cloud: communicating and storing dataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof John H Marsh, University of Glasgow. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 June 2019, 16:00-17:30 Microsoft Research Cambridge, public talks Photonics for Computing: from Optical Interconnects to Neuromorphic ArchitecturesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nikos Pleros, Aristotle University of Thessaloniki, Greece. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 June 2019, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Disruptive Innovation at OcadoFood provided Dr David Sharp, Head of Ocado Technology 10x. Monday 29 April 2019, 13:15-14:15 Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. University of Waterloo. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 24 April 2019, 10:00-11:00 Microsoft Research Cambridge, public talks Canopus and RCanopus: Scalable Consensus for Permissioned Blockchains Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. University of Waterloo. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 24 April 2019, 10:00-11:00 Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 2Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Richard Turner Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 April 2019, 09:30-11:00 Microsoft Research Cambridge, public talks An introduction to clustering and the expectation maximisation algorithm Part 1Please note, this event will be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Richard Turner Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 April 2019, 10:30-12:00 Microsoft Research Cambridge, public talks MSR Cambridge Cloud Talk Series; Structured light: seeing less to see more in optical microscopy Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Professor of Photonics, Mark Neil, Imperial College London . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 March 2019, 16:00-17:00 Microsoft Research Cambridge, public talks What difference does one tonne make?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. David Carter, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 15 March 2019, 13:00-14:00 Open Issues in Build SystemsUlf Adams, Google. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 March 2019, 10:00-11:00 Frontiers in Artificial Intelligence Series Neural Code Comprehension: A Learnable Representation of Code SemanticsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tal Ben-Nun, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 28 February 2019, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Machine Learning for the benefit of EngineeringFood provided Dr Stephan Waldert, Arm. Thursday 21 February 2019, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Security Engineering @ nCipherFood provided Pali Surdhar, nCipher. Wednesday 06 February 2019, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Digital Technology & Personalised MedicineFood provided Louis Swain and Oliver Abbey, TPP. Monday 04 February 2019, 13:15-14:15 Technical Talks - Department of Computer Science and Technology IMC Tech TalkFood provided Pierre Bashshour, Lex van der Stoep & Henry Mattinson, IMC. Monday 28 January 2019, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Designing Electronics for low-latency Trading SystemsFood provided Robin Bruce, current Head of the Infrastructure & Data team and former FPGA Systems Tech Lead, Optiver . Monday 21 January 2019, 13:15-14:15 Frontiers in Artificial Intelligence Series What Can Fair ML Learn from Economic Theories of Distributive Justice?Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Hoda Heidari, ETH Zurich . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 January 2019, 13:00-14:00 Microsoft Research Cambridge, public talks Idris 2: Type Driven Development of Idris Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Edwin Brady, St Andrews University . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 27 November 2018, 11:00-12:00 Technical Talks - Department of Computer Science and Technology What can the Rust Programming Language do for Embedded Systems development?Jonathan Pallant, Cambridge Consultants. Monday 26 November 2018, 13:30-14:30 Technical Talks - Department of Computer Science and Technology How search uses Machine LearningFood provided Fabrizio Silvestri, Facebook. Monday 19 November 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology Computer Laboratory Recruitment FairSpeaker to be confirmed. The Street, Computer Laboratory. Friday 16 November 2018, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Computer Laboratory Recruitment FairSpeaker to be confirmed. The Street, Computer Laboratory. Thursday 15 November 2018, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Embracing the Volatility of AWS Spot FleetFood provided Matthew Mead-Briggs, Yelp. Wednesday 14 November 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology How to Break the InternetFood and drinks provided Simon Chatterjee, Ensoft Ltd . Friday 09 November 2018, 13:05-14:05 Technical Talks - Department of Computer Science and Technology The King ecosystem beyond games; a deep dive into solutions that scaleFood provided Richard Palmer, Principal Engineer, King. Wednesday 07 November 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology Declarative Software Design in PythonLunch provided Elmer Landaverde, Bloomberg Team Leader of Engineering Core Workflows . Monday 05 November 2018, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Goldman Sachs: Banking with Bots – Machine Learning and Natural Language ProcessingFood provided Niccolo Lamanna, Goldman Sachs. Friday 02 November 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology Transforming Retail with Machine LearningFood provided Martin Gee, Principal Head of Software Engineering, Argos. Wednesday 31 October 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology Creating a Real Time data & ML pipeline for Smart Cities, Mobility & InfrastructureLunch provided Pankaj Daga, Alchera Technologies. Tuesday 30 October 2018, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Preparing for a life that’s not just codeFood provided Samantha Strauss and Grace Rowley, RealVNC. Friday 26 October 2018, 13:05-14:05 Technical Talks - Department of Computer Science and Technology How to Build an ExchangeFood provided Gabor Szarka, JaneStreet. Tuesday 23 October 2018, 13:15-14:30 Technical Talks - Department of Computer Science and Technology Systemic Design (or Building Toys) in GamesFood provided George Prosser and James Callin, Studio Gobo. Monday 22 October 2018, 13:05-14:30 Microsoft Research Cambridge, public talks Flux: Elegant Machine Learning with Julia Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Mike Innes, Julia Computing, Inc.. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 October 2018, 17:00-18:00 Technical Talks - Department of Computer Science and Technology 5G & ARTIFICIAL INTELLIGENCE - THE PERFECT MATCH ?Food provided Dr Cyril Valadon, MediaTek. Wednesday 17 October 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology JP Morgan Technology ShowcaseFood provided JP Morgan technologists. Tuesday 16 October 2018, 15:00-17:00 Technical Talks - Department of Computer Science and Technology All Things DataFood provided Joris Peeters, GSA Capital. Monday 15 October 2018, 13:05-14:15 Technical Talks - Department of Computer Science and Technology HackerRank workshopLunch provided Alistair McMaster and Jing Wu, Goldman Sachs. Friday 12 October 2018, 13:05-14:30 Technical Talks - Department of Computer Science and Technology Bloomberg Lab Hangout & Cup Cake ChallengeSpeaker to be confirmed. Student Hangout area, 1st Floor, Computer Laboratory. Friday 12 October 2018, 10:00-16:00 Technical Talks - Department of Computer Science and Technology Artificial Intelligence in HealthcareFood provided Ed Salkeld, TPP. Wednesday 10 October 2018, 13:05-14:15 Technical Talks - Department of Computer Science and Technology Facebook – Crush Your Coding WorkshopLunch provided Facebook. Tuesday 09 October 2018, 13:15-14:30 Technical Talks - Department of Computer Science and Technology HashingLunch provided Dietmar Kuhl, Bloomberg. Monday 08 October 2018, 13:05-14:15 Technical Talks - Department of Computer Science and Technology Dev-Ops. what does it really mean?Food provided Cliff McCollum (Software Development Manager), Amazon. Wednesday 03 October 2018, 13:05-14:15 Simulation for Intelligent SystemsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Vladlen Koltun, Intel. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 August 2018, 13:00-14:30 Microsoft Research Cambridge, public talks Neural Ordinary Differential Equations Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof David Duvenaud (University of Toronto). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 July 2018, 15:00-16:00 Frontiers in Artificial Intelligence Series Interpretability in Machine Learning: What it means, How we're getting there Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Finale Doshi-Velez, Harvard University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 July 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Combating Student Mental Illness with Technology—from the Imagine Cup UK FinalsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Michaela Brady and Shu Ishida, Oxford University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 11 July 2018, 15:00-16:00 Computer Laboratory Computer Architecture Group Meeting Making Python Fast: Using Hardware-Software Co-design to Address Inefficiencies in Dynamic Language RuntimesNote unusual time and venue Berkin Ilbeyi, Cornell. Wednesday 20 June 2018, 11:00-12:00 Microsoft Research Cambridge, public talks DiCE: The Infinitely Differentiable Monte-Carlo Estimator Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Jakob Foerster, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 June 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Herding Nulls – and other C# stories from the futurePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Mads Torgersen, Microsoft Research Redmond. Auditorium , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 June 2018, 11:00-12:00 Microsoft Research Cambridge, public talks Windows Insider ProgramPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Dona Sarkar and Jeremiah Marble, Microsoft Research Redmond. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 04 June 2018, 14:15-15:00 Computer Laboratory Computer Architecture Group Meeting Green CacheErik Hagersten, Uppsala University. FW26, Computer Laboratory, William Gates Building. Thursday 26 April 2018, 14:00-15:00 Computer Laboratory Computer Architecture Group Meeting Directed Speculation in Multi-core Memory Systems to Improve Performance and EfficiencyDr. Paul V. Gratz. SS03, Computer Laboratory, William Gates Building. Tuesday 24 April 2018, 14:00-15:00 Computer Laboratory Computer Architecture Group Meeting Intra-Core Loop-Task Accelerators for Task-Based Parallel ProgramsNote unusual time Dr . Christopher Batten, ECE, Cornell University (visiting scholar in Cambridge). Thursday 19 April 2018, 14:00-15:00 Computer Laboratory Programming Research Group Seminar Energy Efficient Compilation of Irregular Task-Parallel LoopsKrishna Nandivada, IIT Madras, India. GS15. Thursday 25 January 2018, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Writing Low Latency CodeMaciej Gajewski, Optiver. Monday 22 January 2018, 13:05-14:00 Frontiers in Artificial Intelligence Series Optimal algorithms for smooth and strongly convex distributed optimization in networks Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francis Bach, INRIA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 16 January 2018, 13:00-14:00 Microsoft Research Cambridge, public talks Bayesian Generative Adversarial Networks Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andrew Wilson, Cornell University. Auditorium , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 December 2017, 11:00-12:00 Technical Talks - Department of Computer Science and Technology JSI - JVM SecDb IntegrationJonathan Perry, Managing Director in Engineering, Goldman Sachs. Monday 27 November 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Non-stop real-time data delivery at YelpFederico Giraud, Yelp. Wednesday 15 November 2017, 13:05-14:00 Microsoft Research Cambridge, public talks Let’s speed up the Internet, fast! Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof. Ankit Singla - ETH Zürich. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 15 November 2017, 11:00-12:00 Microsoft Research Cambridge, public talks Rethinking the Quantified Self to make personal data engaging and usefulPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Steve Whittaker, University of California Santa Cruz. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 13 November 2017, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Safe at any speedSebastian Funk, Jane Street. Monday 13 November 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Saving the world one handset at a time: mobile phones and building the InternetSimon Chatterjee, Ensoft Ltd. Friday 10 November 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology The King reigns and the data governsNima Hamedani-Raja, King. Monday 06 November 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology SpatialOS: a distributed operating system for building large simulated worldsMatt Lewis, Improbable. Monday 30 October 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Real-time Ocean Simulation and Rendering for Console GameAlastair Toft and James Callin, Studio Gobo. Wednesday 25 October 2017, 13:05-14:15 Technical Talks - Department of Computer Science and Technology Quicker SortingDietmar Kuhl, Bloomberg. Wednesday 18 October 2017, 13:05-14:15 Technical Talks - Department of Computer Science and Technology GRAKN.AI: The hyper-relational database for knowledge-oriented systemsHaikal Pribadi, Founder and CEO of GRAKN.AI. Monday 16 October 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Break into a Hacker’s MindMorgan Stanley. Friday 13 October 2017, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Bloomberg Engineering: Terminal Showcase & Cup Cake ChallengeBloomberg engineers. Student Hangout area, 1st Floor, Computer Laboratory. Wednesday 11 October 2017, 10:00-16:00 Technical Talks - Department of Computer Science and Technology How Machine Learning and Auction Theory Power Facebook AdvertisingOvidiu Popa, Facebook. Monday 09 October 2017, 13:05-14:15 Microsoft Research Cambridge, public talks Open Evening for Women in EngineeringChris Bishop. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 27 September 2017, 17:30-21:00 Frontiers in Artificial Intelligence Series Probabilistic and Deep Models for 3D Reconstruction Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andreas Geiger, Max Planck Institute for Intelligent Systems. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 September 2017, 13:00-14:00 Microsoft Research Cambridge, public talks Manifest Sharing with Session TypesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Stephanie Balzer, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 08 September 2017, 11:00-12:00 Frontiers in Artificial Intelligence Series Coin Betting for Backprop without Learning Rates and More Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francesco Orabona, Stony Brook University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 24 August 2017, 13:00-14:00 Frontiers in Artificial Intelligence Series How Can NLP Help Cure Cancer? Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Regina Barzilay Massachusetts Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 August 2017, 13:00-14:00 Computer Laboratory Computer Architecture Group Meeting Redundancy in Deep Neural Networks and Its Impacts to Hardware Accelerator DesignJiang Su, Imperial College London. Monday 24 July 2017, 11:00-12:00 The Biomaker Challenge: an introductionJenny Molloy, Department of Plant Sciences. Computer Laboratory, room SS03. Tuesday 13 June 2017, 12:00-12:30 Microsoft Research Cambridge, public talks AI and Healthcare Open Evening at Microsoft ResearchChristopher Bishop. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 07 June 2017, 17:30-19:30 Microsoft Research Cambridge, public talks Composition and Inheritance in Declarative Configuration LanguagesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Anderson, University of Edinburgh. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 May 2017, 10:00-11:00 Microsoft Research Cambridge, public talks Composition and Inheritance in Declarative Configuration LanguagesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Anderson, University of Edinburgh. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 18 May 2017, 10:00-11:00 Computer Laboratory Computer Architecture Group Meeting Energy-Quality Scalable Adaptive VLSI Circuits and Systems – The Way towards the Next 10X Energy ReductionNote unusual time Prof. Massimo Alioto, National University of Singapore. SS03, Computer Laboratory, William Gates Building. Tuesday 09 May 2017, 14:00-15:00 Computer Laboratory Computer Architecture Group Meeting Processors for the Data Center and Cloud of the FutureDavid Wentzalff, Princeton University. Friday 05 May 2017, 10:00-11:00 Frontiers in Artificial Intelligence Series Nonlinear ICA using temporal structure: a principled framework for unsupervised deep learning Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Aapo Hyvarinen (University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 May 2017, 13:00-14:00 Technical Talks - Department of Computer Science and Technology How can you trust formally verified software?Alastair Reid, ARM. Tuesday 02 May 2017, 13:15-14:15 Microsoft Research Cambridge, public talks Microsoft & the Future of Education Technology & Learning Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Ian Fordham, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 April 2017, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Finding Signals in Twitter with ML/NLP at BloombergMinjie Xu - Bloomberg Software Engineer, Social Media Analytics. Tuesday 25 April 2017, 13:00-14:00 Microsoft Research Cambridge, public talks Predicting 3D Volume and Depth from a Single View Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gabriel Brostow (University College London). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 April 2017, 10:30-11:30 Microsoft Research Cambridge, public talks Predicting 3D Volume and Depth from a Single View Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Gabriel Brostow (University College London). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 April 2017, 10:30-11:30 Microsoft Research Cambridge, public talks Security and Privacy in Machine LearningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nicolas Papernot, Pennsylvania State University. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 March 2017, 13:15-14:15 Microsoft Research Cambridge, public talks Security and Privacy in Machine LearningPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nicolas Papernot, Pennsylvania State University. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 31 March 2017, 13:15-14:15 Microsoft Research Cambridge, public talks Generalizing Convolutions for Deep LearningPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Prof. Max Welling (University of Amsterdam). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 29 March 2017, 13:00-14:30 Microsoft Research Cambridge, public talks Disrupting Developer Productivity One Bot At A Time, Margaret-Anne (Peggy) Storey, University of Victoria / Microsoft TSEPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Margaret-Anne Storey - University of Victoria / Microsoft TSE. Small Lecture Room , Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 March 2017, 15:30-17:00 Technical Talks - Department of Computer Science and Technology Fast Models : How dynamic translation fits into ARM's story: LLoyd Reed - Staff Software Engineer & Team Lead, ARM. Monday 27 February 2017, 13:05-14:05 Technical Talks - Department of Computer Science and Technology SpatialOS: a distributed operating system for building large simulated worlds.Matt Lewis, Improbable. Monday 20 February 2017, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Machine Learning demystified: ask the right questionsBianca Furtuna, Micosoft. Tuesday 07 February 2017, 13:15-14:15 Computer Laboratory Digital Technology Group (DTG) Meetings The Next-Generation Vector Architecture for HPCMbou Eyole, ARM. SS03, Computer Laboratory, William Gates Building. Monday 30 January 2017, 14:05-14:55 Technical Talks - Department of Computer Science and Technology Making your Applications Smarter Through Machine Learning APIsLilian Kasem, Microsoft UK. Monday 23 January 2017, 13:05-14:05 Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rustan Leino, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 December 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Well-founded functions, induction, and extreme predicates in an SMT-based verifierPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Rustan Leino, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 December 2016, 10:00-11:00 Computer Laboratory Computer Architecture Group Meeting The Future of Computer ArchitectureGavin Stark, Visiting Fellow, Computer Laboratory. Tuesday 29 November 2016, 15:00-16:30 Computer Laboratory Computer Architecture Group Meeting FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel MethodsProf Philip Leong, University of Sydney. SS03, Computer Laboratory, William Gates Building. Monday 28 November 2016, 15:00-16:30 Microsoft Research Cambridge, public talks Engineering the Future: Engineering in Artificial Intelligence at Microsoft Research CambridgeChristopher Bishop. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 23 November 2016, 17:15-19:30 Computer Laboratory Programming Research Group Seminar Automatic Identification and Parallelisation of General Reduction OperationsPhilip Ginsbach, University of Edinburgh. SS03. Wednesday 23 November 2016, 15:15-16:15 Technical Talks - Department of Computer Science and Technology Super Sized Mobile Apps - Getting the Foundations RightMark Olleson, Bloomberg. Monday 21 November 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Recruitment fairSpeaker to be confirmed. The Street, Computer Laboratory. Friday 18 November 2016, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Recruitment fairSpeaker to be confirmed. The Street, Computer Laboratory. Thursday 17 November 2016, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Taskerman: A Cluster Task ManagerYelp team. Wednesday 16 November 2016, 13:15-14:30 Technical Talks - Department of Computer Science and Technology Palantir and PCL (Privacy & Civil Liberties)William Morland, Civil Liberties Engineer. Monday 14 November 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology How to Break the InternetSimon Chatterjee, Ensoft Ltd. Friday 11 November 2016, 13:00-14:00 Technical Talks - Department of Computer Science and Technology "Improving your CV” Careers WorkshopSusan Gatell, Cambridge University Careers Service. Thursday 10 November 2016, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Building a Secure BankDaniel Chatfield, Security Engineer, Monzo. Wednesday 09 November 2016, 13:05-14:05 Microsoft Research Cambridge, public talks Flexible PaxosPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Heidi Howard, University of Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 November 2016, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Amazon Alexa: building AI at scaleDavid Hardcastle, Senior Manager, Software Development, Amazon. Tuesday 08 November 2016, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Pen and Paper Programming: How to write code in an interviewThe team from Morgan Stanley. Friday 04 November 2016, 13:15-14:30 Technical Talks - Department of Computer Science and Technology G-Research Coding Challenge 2016Speaker to be confirmed. Wednesday 02 November 2016, 13:05-15:30 Microsoft Research Cambridge, public talks Unsupervised Cluster Matching for Relational DataPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tomoharu Iwata, NTT Communication Science Laboratories. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 November 2016, 11:00-12:00 Technical Talks - Department of Computer Science and Technology State machine replication and the modern exchangeSebastian Funk, JaneStreet. Tuesday 01 November 2016, 13:15-14:05 Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Kit Yate, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 October 2016, 14:00-15:00 Microsoft Research Cambridge, public talks Developing PDE-compartment hybrid frameworks for modelling cell migrationPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Kit Yate, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 October 2016, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Trading Programs - How the Finance industry has become so complex that today's products are similar to programsJoel Bjornson, Bloomberg. Monday 31 October 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology What can you do with data at the speed of 10x million events per secondPlease register at: https://www.eventbrite.com/e/microsoft-tech-talk-university-of-cambridge-tickets-28514095427 Irina Frumkin, a Principal Software Engineering Lead, Microsoft. Friday 28 October 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Title to be confirmedSign up at Fb.me/Cambridgetechtalk16 Daniel Bernhardt, Facebook. Tuesday 25 October 2016, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Scala: How to sneak Haskell design patterns into industry codePlease RSVP to recruitment@gsacapital.com as we need to gauge numbers for catering purposes Will Sonnex, GSA Capital. Monday 24 October 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology What's the big deal about Big Data?Morgan Stanley’s Data Strategy group. Friday 21 October 2016, 13:15-14:30 Technical Talks - Department of Computer Science and Technology Netcraft wokshopRobert Duncan, Netcraft. Wednesday 19 October 2016, 13:05-15:30 Technical Talks - Department of Computer Science and Technology Data processing @ Google & Interviews 101Lewis Hemens, Google. Tuesday 18 October 2016, 13:00-14:30 Technical Talks - Department of Computer Science and Technology 5G - The RevolutionCyril Valadon , MediaTek. Monday 17 October 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Bloomberg's On-Campus! Terminal Showcase & Cup Cake Challenge!Speaker to be confirmed. Student Hangout area, Computer Laboratory. Friday 14 October 2016, 10:00-15:00 Microsoft Research Cambridge, public talks Computing In Schools: How Your Skills Can Change LivesPhilip Golden. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 October 2016, 16:00-17:00 Technical Talks - Department of Computer Science and Technology An introduction to games programmingAlastair Toft and Hale Harding, Studio Gobo. Wednesday 12 October 2016, 13:05-14:05 Technical Talks - Department of Computer Science and Technology Security Through MaturityScott Alexander, JPMorgan mobile team. Monday 10 October 2016, 13:05-14:05 Microsoft Research Cambridge, public talks Queueing with Redundant Requests: A more realistic model Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Mor Harchol-Balter - CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 16 September 2016, 11:00-12:00 Microsoft Research Cambridge, public talks "Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Margaret Burnett, Oregon State University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 02 September 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Horn Clauses for Verification and Synthesis Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Andrey Rybalchenko, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 25 August 2016, 10:30-11:15 Microsoft Research Cambridge, public talks Managing Privacy Tradeoffs in the Internet Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required David Naylor - CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 12 August 2016, 15:00-16:00 Microsoft Research Cambridge, public talks Reflections on Code-Reuse Attacks and DefensesPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Thorsten Holz, Ruhr-University Bochum. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 August 2016, 16:00-17:00 Computer Laboratory Computer Architecture Group Meeting Design for Security Test against Fault Injection Attack, and Fast Test with Compressive SensingNote unusual time and venue. Talk follows 14:00 to 14:45 talk. Prof Huiyun Li, Shenzhen Institutes of Advanced Technology. Lecture Theatre 1, Computer Laboratory. Tuesday 02 August 2016, 14:45-15:30 Computer Laboratory Computer Architecture Group Meeting Barrier-Aware Warp Scheduling for Throughput ProcessorsNote unusual time Prof Yu Zhibin, Shenzhen Institutes of Advanced Technology. Lecture Theatre 1, Computer Laboratory. Tuesday 02 August 2016, 14:00-14:45 Microsoft Research Cambridge, public talks Verifying Constant-Time ImplementationsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Francois Dupressoir. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 21 July 2016, 14:00-15:00 Microsoft Research Cambridge, public talks An introduction to program verification with F*Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Santiago Zanella-Beguelin, Microsoft Research Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 14 July 2016, 10:30-11:15 Microsoft Research Cambridge, public talks Practical Statically-checked Deterministic ParallelismPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Ryan Newton, Indiana University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 June 2016, 14:00-15:00 Computer Laboratory Computer Architecture Group Meeting OpenPitonJonathan Balkind, Princeton University. Thursday 30 June 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Summer of Science Talks: An Introduction to Discrete Geometry, with application to the Principles of Concurrent Programming Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Tony Hoare, Microsoft Research Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 30 June 2016, 10:30-11:45 Microsoft Research Cambridge, public talks Resource Allocation for Next Generation of Radio Access Networks: how effective are my schedulers?This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending. Bahar Partov Poor, Hamilton Institute Bell Laboratories. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 May 2016, 10:00-11:00 Technical Talks - Department of Computer Science and Technology A Career In Ethical HackingAlex King, Director, LD Capital Services.. Friday 13 May 2016, 13:05-14:05 Microsoft Research Cambridge, public talks Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMAPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Boris Grot - University of Edinburgh. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 May 2016, 11:00-12:00 Technical Talks - Department of Computer Science and Technology Teaching The World To Code: How A Cambridge Grad Earned £1m Teaching OnlineRob Percival, Codestars. Tuesday 03 May 2016, 13:15-14:05 Technical Talks - Department of Computer Science and Technology Data-driven RetailDhruv Kumar,The Hut Group. Wednesday 27 April 2016, 13:05-14:05 Microsoft Research Cambridge, public talks Engineering the Future: an open evening for women in engineeringChristopher Bishop, Microsoft Research, Abigail Sellen, Microsoft Research, Matthew Johnson, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 26 April 2016, 17:00-19:00 Microsoft Research Cambridge, public talks Admitting more tenants with tail latency SLOsPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Timothy Zhu, CMU. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 25 April 2016, 13:30-14:30 Technical Talks - Department of Computer Science and Technology Bitcoin – Design DemystifiedAlexey Akhunov, JPMorgan. Monday 25 April 2016, 13:05-14:15 Microsoft Research Cambridge, public talks PCC: Re-architecting Congestion Control for Consistent High PerformancePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Michael Schapira, Hebrew University of Jerusalem. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 25 April 2016, 11:00-12:00 Technical Talks - Department of Computer Science and Technology Online Machine Learning Methods - Streams of Financially Important News.Miles Osbourne, Bloomberg. Friday 22 April 2016, 13:00-14:15 Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Torsten Sattler, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 April 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Large-Scale Camera Pose Voting and the Geometric Burstiness ProblemPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Torsten Sattler, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 19 April 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Pony: Co-Designing a Type System and a RuntimePlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Sylvan Clebsch, Imperial College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 March 2016, 11:00-12:00 Microsoft Research Cambridge, public talks General-purpose representation learning from words to sentencesPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Felix Hill, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 March 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Information-Theoretic Bounded RationalityPlease note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Pedro Ortega, University of Pennsylvania. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 22 March 2016, 10:15-11:15 Microsoft Research Cambridge, public talks Stamping Out Concurrency BugsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Baris Kasikci, École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 March 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Parallel Inference and Learning with Deep Structured DistributionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Alexander Schwing, University of Toronto. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 March 2016, 10:15-11:15 Microsoft Research Cambridge, public talks Into the Mountains: The Extraordinary True Story of Survival in the Andes and its AftermathPedro Algorta. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 March 2016, 17:00-18:00 Technical Talks - Department of Computer Science and Technology Personal Program AnalysisDr Julian Tibble, VP Applications Engineering at Semmle Ltd. Tuesday 08 March 2016, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Why Big Data & Games go hand in handChris Smith, Jagex. Tuesday 23 February 2016, 13:35-14:05 Technical Talks - Department of Computer Science and Technology The Real Villains in Online GamesPhilip Bielby, Jagex. Tuesday 23 February 2016, 13:05-13:35 Microsoft Research Cambridge, public talks Freeform interactions and disrupted displaysPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. David Sweeney, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 23 February 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Regularized Optimal Transport and ApplicationsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Marco Cuturi, Kyoto University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 19 February 2016, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Kotlin: What it takes to make a programming languageAndrey Breslav, Lead Language Designer and Project Manager, JetBrains. Wednesday 17 February 2016, 13:05-14:10 Technical Talks - Department of Computer Science and Technology Real Processors for Real-timeAntony John Penton, Senior Principal Engineer, CPU Group, ARM Holdings, Cambridge, UK. Monday 15 February 2016, 13:05-14:10 Microsoft Research Cambridge, public talks What I Learned From Inventing Scala Macros?Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eugene Burmako, École Polytechnique Fédérale de Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 February 2016, 09:30-10:30 Microsoft Research Cambridge, public talks What I Learned From Inventing Scala Macros?Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Eguene Burmako, Ecole Polytechnique in Lausanne. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 February 2016, 09:30-10:30 Technical Talks - Department of Computer Science and Technology Simulating Worlds: Technical Challenges of Improbable SpatialOSRob Whitehead, Improbable. Monday 01 February 2016, 13:05-14:10 Technical Talks - Department of Computer Science and Technology Why do I need to keep recharging my smart phone?Simon George-Kelso, MediaTek. Monday 25 January 2016, 13:05-14:00 Technical Talks - Department of Computer Science and Technology Shaping Energy with TechnologyOliver Burstall CTO, Origami Energy. Wednesday 20 January 2016, 13:05-14:00 Microsoft Research Cambridge, public talks Opportunistic Storage Maintenance (SOSP’15)Angela Demke Brown, University of Toronto. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 January 2016, 14:30-15:30 Technical Talks - Department of Computer Science and Technology Building a Trading System (How we really do it…)Johan Ditmar, Head of Investment Operations Technology, Winton Capital. Monday 18 January 2016, 13:05-14:10 Microsoft Research Cambridge, public talks End-user programmers need first-class software engineering toolsFelienne Hermans, Delft University of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 January 2016, 15:00-16:00 Microsoft Research Cambridge, public talks Verasco, a formally verified C static analyzerPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Jacques Henri Jourdan, INRIA Paris. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 11 January 2016, 09:30-10:30 Microsoft Research Cambridge, public talks Formalising and Analysing Transactional Consistency ModelsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required Andrea Cerone. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 January 2016, 11:00-12:00 Microsoft Research Cambridge, public talks Synthesising Gene Regulatory Networks from Single-Cell Gene Expression DataPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Steven Woodhouse, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 January 2016, 10:00-11:00 Microsoft Research Cambridge, public talks Symbiotic design for machine intelligence systemsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Cecily Morrison, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 04 January 2016, 09:30-10:30 Microsoft Research Cambridge, public talks A Decade of ThrillPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Brendan Walker, Middlesex University/University of Nottingham/Aerial. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 14 December 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Model-Based Hand Tracking with Texture, Shading and Self-occlusionsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Martin De La Gorce, Ecole des Ponts Paris Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 December 2015, 10:00-11:00 Microsoft Research Cambridge, public talks A Constructive Approach to Secure-Channel ProtocolsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Bjorn Tackmann, University of California San Diego. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 December 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Activity recognition in naturalistic environmentsPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Nils Yannick Hammerla, Newcastle University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 December 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Making sense of 20 billion data points a dayFood provided so please register for the talk so that we can gauge numbers. Vince Darley – Chief Scientist, King. Wednesday 02 December 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Cybersecurity framework: a deep diveHarry Biddle – Quality Engineer at Palantir, Mathematician turned Software Engineer. Monday 30 November 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Modern Deep Learning through Bayesian EyesYarin Gal, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 26 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology "Coding your way out of a paper bag"Frances Buontempo, Bloomberg. Wednesday 25 November 2015, 13:00-14:15 Technical Talks - Department of Computer Science and Technology What do you do with 10 million unlabelled images?Alexandre Dalyac, Tractable. Monday 23 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Computer Science Collides With RealityTom Rathborne (senior developer at Booking.com) and Steffen Mueller (Senior Manager Technology Infrastructure and Developer/Admin at Comprehensive Perl Archive Network). Friday 20 November 2015, 13:00-14:00 Microsoft Research Cambridge, public talks From Boolean to Quantitative Methods in Formal VerificationPlease be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Thomas Henzinger, IST Austria. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Supporters Club recruitment fairSpeaker to be confirmed. The Street, Computer Laboratory. Thursday 19 November 2015, 11:30-16:00 Technical Talks - Department of Computer Science and Technology Challenges to Operating a Service Oriented ArchitectureTomas Doran, Yelp. Wednesday 18 November 2015, 13:00-14:30 Technical Talks - Department of Computer Science and Technology Saving the world one handset at a time: mobile phones and building the InternetSimon Chatterjee, Ensoft. Friday 13 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Code DNADimitrios Staikos, Bloomberg. Wednesday 11 November 2015, 13:00-14:15 Technical Talks - Department of Computer Science and Technology Stealing App Credentials for Fun & ProfitRegister for the event at: https://docs.google.com/forms/d/1ttyw9JDMqa2tRF4lFKOH3ppiigreMISi2sWXl1Nut88/viewform Robert Duncan, Netcraft. Monday 09 November 2015, 13:00-16:00 Technical Talks - Department of Computer Science and Technology Demystifying a Technology career in Finance Q&APanel of Cambridge Alumni in a variety of roles and seniorities in Technology at Morgan Stanley. Friday 06 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Big Data & Microsoft Office: How Office uses Big Data to understand Usage, Errors and ReliabilityCancelled Shemyla Anwar, Microsoft. Wednesday 04 November 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology Adding Security Activities to AgileFood provided so please register for the talk so that we can gauge numbers. Clara Juanes-Vallejo and Pali Surdhar, Thales. Monday 26 October 2015, 13:30-14:00 Technical Talks - Department of Computer Science and Technology nShield HSMsFood provided so please register for the talk so that we can gauge numbers. Richard Kettlewell, Thales. Monday 26 October 2015, 13:00-13:30 Technical Talks - Department of Computer Science and Technology Break into a hacker’s mindAldwin Saugere (Vice President, IT Security Architecture, Morgan Stanley). Friday 23 October 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Rethinking Storage and Networking in Next Generation RacksSergey Legtchenko, Post-doc Researcher, Systems & Networking, Microsoft Research Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 22 October 2015, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Building location-based servicesSalvatore Scellato, Senior Software Engineer, Google. Wednesday 21 October 2015, 13:15-14:15 Technical Talks - Department of Computer Science and Technology Learning to Spell: Spelling corrections for Facebook SearchDaniel Bernhardt, Facebook. Wednesday 14 October 2015, 13:00-14:00 Technical Talks - Department of Computer Science and Technology How the studio environment and processes foster innovationHuw Bowles and Hale Harding, Research Scientists & programmers at Studio Gobo. Tuesday 13 October 2015, 13:15-14:30 Microsoft Research Cambridge, public talks Talking with Reddit: Exploring limitations of recurrent neural network conversational systems.Alexander Gaunt - Trinity College, Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 08 October 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?Prof Sir Timothy Gowers. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 01 October 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Incremental Neuroevolution of Reactive and Deliberative 3D AgentsAdam Stanton, Keele University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 30 September 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Title to be confirmedMaking sense of language: It's okay to countGabe Recchia, University of Cambridge. Indigo 05-27, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 29 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Probabilistic Line Searches for Stochastic Optimisation. Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Maren Mahsereci, Max Planck Institute for Intelligent Systems (Tübingen). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 21 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks The structures of induction and co-induction. Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Paul Downen, University of Oregon.. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 17 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Human factors of software updatesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Kami Vaniea, University of Edinburgh. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 16 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks A Program Logic for Concurrent Objects under Fair SchedulingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Hongjin Liang, USTC. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 September 2015, 14:30-15:30 Microsoft Research Cambridge, public talks The Power of Negations in CryptographySiyao Guo, The Chinese University of Hong Kong. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks The Power of Negations in CryptographySiyao Guo, The Chinese University of Hong Kong. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 September 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Computer-aided Concurrent Programming using Concurrent Trace SetsRoopsha Samanta, IST Austria. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 September 2015, 10:30-11:30 Microsoft Research Cambridge, public talks Towards Cross-fertilization Between Propositional Satisfiability and Data MiningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending LAKHDAR SAÏS, CRIL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 September 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Executable Relational Specifications of Polymorphic Type Systems using PrologThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Ki Yung Ahn, Portland State University. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 September 2015, 10:00-11:00 Microsoft Research Cambridge, public talks "Protecting the forward edge: Is that light at the end of the tunnel?"Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required. Istvan Haller, Vrije Universiteit . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 August 2015, 09:30-10:30 Microsoft Research Cambridge, public talks Plug into the SupercloudThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendi Hakim Weatherspoon, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 August 2015, 11:00-12:00 Computer Laboratory Computer Architecture Group Meeting The CAVA Computer: Exceptional Parallelism and Energy EfficiencyNote unusual time and venue Dr Peter Hsu. Lecture Theatre 2, Computer Laboratory, William Gates Building. Thursday 23 July 2015, 11:30-12:30 Microsoft Research Cambridge, public talks Giorgia Azzurra MarsonSpeaker to be confirmed. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 22 July 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Solving Second-Order Constraints with Program SynthesisThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Cristina David, Oxford University. Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 14 July 2015, 11:00-11:45 Microsoft Research Cambridge, public talks Capturing and simulating the interaction of light with the world around us.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Wenzel Jakob, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 13 July 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impacttalkscam@microsoft.com David Harel, Weizmann Institute of Science, Israel. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 10 July 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Bonsai: Reactive Tools for Data ScienceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Goncalo Lopes, The Sainsbury Wellcome Centre @ UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 06 July 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Rendering Eyes for Eye-TrackingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Erroll Wood, Computer Lab, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 29 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Generative Models for Shape and AppearanceThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Neill Campbell, University of Bath. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 26 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data StructuresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Vasileios Trigonakis, EPFL, Switzerland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 19 June 2015, 13:00-14:00 Microsoft Research Cambridge, public talks VISC: VIRTUAL INSTRUCTION SET COMPUTINGThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Vikram Adve, University of Illinois at Urbana-Champaign. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 10 June 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Intelligible Machine Learning Models for HealthCareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Rich Caruana, MSR Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 June 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture: Toward Causal Machine LearningProf. Dr. Bernhard Schölkopf. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 15 May 2015, 16:45-17:45 Microsoft Research Cambridge, public talks Queues don’t matter when you can Jump them!This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Matthew P. Grosvenor, University of Cambridge Computer Laboratory. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 01 May 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Declarative query processing in imperative managed runtimesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Stratis Viglas, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 27 April 2015, 11:00-12:00 Microsoft Research Cambridge, public talks "... and then just encode it to SAT."This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Martin Brain, University of Oxford. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 24 April 2015, 10:00-11:00 Computer Laboratory Computer Architecture Group Meeting Harder, Better, Faster, Stronger - Elliptic Curve Discrete Logarithm Computations on FPGAsErich Wenger, Graz University of Technology, Austria. SC04, Computer Laboratory, William Gates Building. Monday 20 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Enabling Connected Cars through Named Data.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Giovanni Pau, University Pierre at Marie Curie. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 17 April 2015, 14:00-15:00 Microsoft Research Cambridge, public talks Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming LanguagesNeil Toronto, University of Maryland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 17 April 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Formal verification approach to modelling biochemical systemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Tatjana Petrov, IST Austria. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 14 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Big Dream Documentary Screening and Q&A PanelSara-Jane Dunn, Katja Hofmann, Jasmin Fisher & Sadia Ahmed from Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 April 2015, 16:00-18:00 Microsoft Research Cambridge, public talks An Efficient Solver for string and regular expression constraintsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Cesare Tinelli, University of Iowa. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks A Visual Programming Language for building Artificial Biochemistries in HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Lance R. Williams, University of New Mexico. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 April 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Unveiling the Secrets of High-Performance DatacentersThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Michael Schapira, Hebrew University of Jerusalem. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 02 April 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Pushing the Limits of Localization and Capacity in Today's Wi-Fi NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Jie Xiong, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 19 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Social Media Predictive Analytics: Methods and ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Svitlana Volkova, Johns Hopkins University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Can you convince me why your software works?This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Anvesh Komuravelli, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Convex low-rank models: from matrices to tensorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Ryota Tomioka, Toyota Technological Institute at Chicago. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 13:30-14:30 Microsoft Research Cambridge, public talks Relational Machine Learning for Knowledge Graphs.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Maximilian Nickel, MIT. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Supporting the Mobile Nomadic User through Projected User InterfacesChridtian Winkler, Mobile HCI Lab, Ulm University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Ensembles for Discovery of Compact Structures and Learning Back-propagation Forests.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Madalina Fiterau, Carnegie Mellon University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 10 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Content Placement as a Key to Leveraging Geo-Distributed Infrastructureso This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin Abhigyan Sharma, University of Massachusetts Amherst. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Text To Programs: Automating Computer Tasks from Natural Language DescriptionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Nate Kushman, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 09 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Automatic differentiation and machine learningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Gunes Baydin, Maynooth University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field SensingTobias Große-Puppendahl, Fraunhofer Institute for Computer Graphics Research IGD. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Supporting Proxemic Interactions with Multi-Scale Electric Field SensingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Tobias Große-Puppendahl, Fraunhofer Institute for Computer Graphics Research IGD. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 06 March 2015, 09:00-10:00 Technical Talks - Department of Computer Science and Technology Reach coding nirvana with test-driven developmentDan Mariash and Tom Godkin from Bank of America Merrill Lynch . Thursday 05 March 2015, 13:15-14:15 Microsoft Research Cambridge, public talks Programming and Proving with Fine-Grained Concurrent ResourcesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Ilya Sergey, IMDEA Software Institute. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 05 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Design and Evaluation of Proxemic-Aware Environments to Support Epistemic ActivitiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Roman Radle, University of Konstanz. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 March 2015, 10:00-11:00 Microsoft Research Machine Learning and Perception Seminars Workshop: Machine Learning in Cambridge 2015This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Sebastian Nowozin, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 March 2015, 09:00-18:00 Microsoft Research Cambridge, public talks Death, Identity, and the Social NetworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Jed Brubaker, University of California. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 02 March 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Considering Tools for Artists, Creative Processes, and Design IdeationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Michael Golembewski, University of Nottingham. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 25 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Beyond acceleration: time, narratives, and the design of multiple worldsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Larissa Pschetz, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Un-Computing: Shaking off the ‘Computer’ BaggageThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Sarah Gallacher, University College London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Solving QBF by Counterexample-Guided Abstraction RefinementThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Mikoláš Janota, INESC-ID, Lisbon. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 February 2015, 09:00-10:00 Technical Talks - Department of Computer Science and Technology Knowledge ResearchKeteven Tsereteli, Bloomberg. Wednesday 18 February 2015, 13:15-14:30 Microsoft Research Cambridge, public talks Protecting encrypted cookies from compression side-channel attacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Douglas Stebila, Queensland University of Technology. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 February 2015, 12:00-13:00 Microsoft Research Cambridge, public talks Context-aware programming languagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Tomas Petricek, University of Cambridge. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 18 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Towards Full-Stack Security Analysis of Web ApplicationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Antoine Delignat-Lavaud. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 17 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks The Difficulty of Preventing Code Reuse AttacksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Felix Schuster, University of Bochum. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 February 2015, 09:00-10:00 Microsoft Research Cambridge, public talks Modeling, Quantifying, and Limiting Adversary KnowledgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Piotr Mardziel, University of Maryland, College Park. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 13 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Concurrent Algorithms for Emerging Hardware PlatformsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Irina Calciu, Brown University . Indigo Meeting room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 12 February 2015, 09:00-10:00 Computer Laboratory Computer Architecture Group Meeting Neural simulation on diverse computational hardwareDr Dan Goodman, Imperial. SS03, Computer Laboratory, William Gates Building. Monday 09 February 2015, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Data With EverythingDr Tim Whitley, BT Distinguished Engineer, MD, Research & Innovation. Thursday 05 February 2015, 13:15-14:15 Microsoft Research Cambridge, public talks The Turing trap. How the universal computer is making the internet less secure.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Will Harwood and Roger Gross, Silicon Safe Ltd. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 04 February 2015, 14:30-15:30 Computer Laboratory Computer Architecture Group Meeting PSLP: Padded SLP Automatic VectorizationVasileios Porpodas, University of Cambridge. Wednesday 04 February 2015, 11:00-12:00 Microsoft Research Cambridge, public talks Meta-Interpretive Learning and Program InductionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Stephen Muggleton, Imperial College, London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 15:00-16:00 Microsoft Research Cambridge, public talks Manifold correspondence: a signal processing perspectiveThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Michael Bronstein, USI Switzerland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Predictable and Dependable Low-power Wireless NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Marco Zimmerling, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 03 February 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Engineering at Microsoft Research - Open EveningSpeaker to be confirmed. Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 02 February 2015, 17:00-19:00 Microsoft Research Cambridge, public talks Laws of Programming with ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Sir Tony Hoare, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture - Laws of Programming with ConcurrencyThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Sir Tony Hoare, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 16:30-17:30 Microsoft Research Cambridge, public talks Causal Inference and Domain AdaptationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Jonas Peters, ETH Zurich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 29 January 2015, 13:00-14:00 Microsoft Research Cambridge, public talks Cutting tail latency in cloud data stores via adaptive replica selectionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Marco Canini, Université catholique de Louvain. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 26 January 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Genome-wide transcriptional control of blood cell type identityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Felicia Ng, Cambridge Institute for Medical Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 26 January 2015, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Modelling Every Body - How computer vision, machine learning, 3D modelling and graphics help people shop with confidence online.Dr Yu Chen, Metail. Wednesday 21 January 2015, 13:10-00:00 Microsoft Research Cambridge, public talks Democratizing Electronics: Tools, Examples, and Contexts for Supporting the Construction of Personally-Meaningful Interactive ArtifactsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending David Mellis, MIT Media Lab. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 16 January 2015, 10:00-11:00 Microsoft Research Cambridge, public talks Dynamic PDP vs. Dynamic POR: Are they really different?This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Alptekin Kupcu, Koc University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 14 January 2015, 11:30-12:30 Microsoft Research Cambridge, public talks Bedrock: A Software Development Ecosystem Inside a Proof AssistantThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Adam Chlipala, MIT. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 December 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Checking microarchitectural implementations of weak memoryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Daniel Lustig, Princeton University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 08 December 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Machine Learning in an Exchange EnvironmentThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending R. Preston McAfee, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 December 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Platforms and Applications for "Big and Fast" Data AnalyticsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Yanlei Diao, UMass Amherst. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 December 2014, 10:00-11:00 Computer Laboratory Computer Architecture Group Meeting Bringing computer vision to the massesDavid Moloney, CTO Movidius. Tuesday 02 December 2014, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Compile-time Instruction Scheduling for Modern ARM Processors - Low Level Design Enabling Performance In High Level ApplicationsJames Greenhalgh, ARM. Friday 28 November 2014, 13:15-00:00 Microsoft Research Cambridge, public talks Coping with the Intractability of Graphical ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Justin Domke. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 November 2014, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Lambda, the ultimate config formatDavid House, JaneStreet. Wednesday 26 November 2014, 13:00-00:00 Technical Talks - Department of Computer Science and Technology Can we make light travel faster please?Yelp. Wednesday 19 November 2014, 13:15-00:00 Microsoft Research Cambridge, public talks Microsoft Distinguished Research Lecture Series - Technological Innovation in HealthcareThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Professor The Lord Darzi of Denham PC KBE FRS FMedSci HonFREng. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 November 2014, 16:30-17:30 Technical Talks - Department of Computer Science and Technology Silicon swords to software ploughshares: the software networking revolutionSimon Chatterjee, Ensoft Ltd. Friday 14 November 2014, 13:15-00:00 Microsoft Research Cambridge, public talks The Physical WebThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Scott Jenson, Google. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 12 November 2014, 14:00-15:00 Technical Talks - Department of Computer Science and Technology High Performance Computing: Use of large CPU grids, GPUs and supercomputers for financial computation.Michael Elliott and Andrey Zhezherun, JPMorgan . Wednesday 12 November 2014, 13:00-00:00 Computer Laboratory Computer Architecture Group Meeting Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA HardwareNote unusual time and venue Prof Jason Anderson, University of Toronto. SS03, Computer Laboratory, William Gates Building. Monday 10 November 2014, 15:00-16:00 Computer Laboratory Computer Architecture Group Meeting USB Type-C: How hard is it to pick two resistors?Note unusual time and venue Dr Mark Hayter, Google consumer hardware. Lecture Theatre 1, Computer Laboratory. Friday 07 November 2014, 12:00-13:00 Technical Talks - Department of Computer Science and Technology Building the news search engineRam Aiyengar, Bloomberg. Wednesday 05 November 2014, 13:15-14:30 Microsoft Research Cambridge, public talks On Basing One-Way Functions on NP-HardnessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Christina Brzuska, Microsoft Research Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 05 November 2014, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Functional Languages and Financial Models: an Insight into Graph ProgrammingChris Andrews, Morgan Stanley. Tuesday 04 November 2014, 13:15-00:00 Microsoft Research Cambridge, public talks Taming GPU threads with F# and Alea.GPUThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Daniel Egloff, QuantAlea AG. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 03 November 2014, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Real world lessons from building a search engine for ecommerceDhruv Kumar and Shaun Hall, The Hut Group. Wednesday 29 October 2014, 13:15-14:30 Technical Talks - Department of Computer Science and Technology EVi (An Amazon Company) Tech Talk - Answering any question, in any language, in one second or lessWilliam Tunstall-Pedoe, Evi. Monday 27 October 2014, 13:15-14:30 Microsoft Research Cambridge, public talks Reasoning about GADT Pattern Matching in HaskellThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending George Karachalias, Ghent University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 22 October 2014, 14:00-15:00 Technical Talks - Department of Computer Science and Technology Haxl: Efficient Data-fetching for FreeSimon Marlow, Facebook. Wednesday 22 October 2014, 13:15-14:30 Microsoft Research Cambridge, public talks Robust Distance Queries on Massive NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Milan Vojnovic. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 20 October 2014, 10:45-11:45 Microsoft Research Cambridge, public talks An Approximate Differentiable RendererThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Matthew Loper; Max Planck Institute for Intelligent Systems. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 20 October 2014, 10:00-11:00 Technical Talks - Department of Computer Science and Technology Spanner: Google’s Planet-Spanning DatabaseSiamak Tazari, Google. Thursday 16 October 2014, 13:15-14:30 Technical Talks - Department of Computer Science and Technology Mobile Application Development at BloombergDenis Kim, Bloomberg. Wednesday 15 October 2014, 13:15-14:30 Computer Laboratory Computer Architecture Group Meeting RISC-V: A Free and Open Instruction Set ArchitectureKrste Asanovic, University of California, Berkeley. Lecture Theatre 2, Computer Laboratory, William Gates Building. Thursday 09 October 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Ancient lives, new discoveries: eight mummies, eight lives, eight storiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Daniel Antoine, Curator of Physical Anthropology, British Museum. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Logic programming beyond PrologThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Maarten van Emden, University of Victoria, Canada. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 14:00-15:00 Microsoft Research Cambridge, public talks RDFox — A Modern Materialisation-Based RDF SystemThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Boris Motik, Oxford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Lottery AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Nicola Dimitri, Department of Political Economy & Statistics, University of Siena, Ital. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 09 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks A link between lambda calculus and mapsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Noam Zeilberger, MSR-INRIA Joint Centre. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 07 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks First-person Hyperlapse VideosThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Johannes Kopf, Microsoft Research . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 06 October 2014, 13:00-14:00 Microsoft Research Cambridge, public talks Do Deep Nets Really Need To Be Deep?This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Rich Caruana, Microsoft Research . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 03 October 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Discursis: A Computational Methodology for the Analysis of Communication DataThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Daniel Angus, The University of Queensland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 01 October 2014, 16:00-17:00 Microsoft Research Cambridge, public talks A Case for using Trend Filtering over SplinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Aaditya Ramdas, Carnegie Mellon University . Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 26 September 2014, 11:00-12:00 Computer Laboratory Computer Architecture Group Meeting Randomised testing of a microprocessor model using SMT-solver state generationNote unusual time Dr Brian Campbell, Edinburgh. SC04, Computer Laboratory, William Gates Building. Tuesday 16 September 2014, 11:00-12:00 Microsoft Research Machine Learning and Perception Seminars Local Deep Kernel Learning for Efficient Non-linear SVM PredictionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Manik Varma (Microsoft Research India). Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 15 September 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Micro-Policies: A Framework for Tag-Based Security MonitorsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Benjamin C. Pierce, University of Pennsylvania. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 11 September 2014, 10:00-11:00 Microsoft Research Cambridge, public talks End of Internship Talk: F# Type Providers: DBpedia and the Combinator FrameworkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Andrew Stevenson, PPT Intern. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 05 September 2014, 10:30-11:00 Microsoft Research Cambridge, public talks Hedging Against Uncertainty via Multiple Diverse PredictionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dhruv Batra, Virginia Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Beyond Mindless Labeling: *Really* Leveraging Humans to Build Intelligent MachinesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Devi Parikh, Virginia Tech. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Compositional ModelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Alan Yuille, UCLA. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 04 September 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Representing microbial communities in Earth system modelsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Steve Allison, University of California. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 03 September 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Towards Zero Latency Photonic SwitchingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Dr Philip Watss, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 28 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Computational Video: Methods for Video Segmentation and Video Stabilization, and their Applications.This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Irfan Essa, Georgia Institute of Technology. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 18 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Systems, Science and FreeBSDThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending George Neville-Neil, Neville-Neil Consulting. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 August 2014, 14:00-15:00 Microsoft Research Cambridge, public talks The Integral Image Method for Fisheye ImagesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Maria Mikhisor, Department of Computer Science, University of Otago, Dunedin, New Zealand. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 12 August 2014, 10:00-11:00 Microsoft Research Cambridge, public talks FsLab: Doing data science with F#This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Tomas Petricek, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 05 August 2014, 11:00-12:00 Microsoft Research Cambridge, public talks A Verified Compiler for Probability Density FunctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Tobias Nipkow, Institute of Informatics Technical Institute of Munich. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 24 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Byte Night CambridgeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Michelle Lamprecht, MathWorks. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 21 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Image representation for synthesis and recognition using multilinear algebraThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Demetri Terzopoulos, Computer Graphics & Vision Laboratory, University of California. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 11 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Brave New World of Next-Generation NoSQL Data StoresThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Emin Gun Sirer, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Steps toward usable verificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Francesco Logozzo, MSR Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 10 July 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Practical Techniques for Auto-Active VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Nadia Polikarpova, ETH Zurich. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 09 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks FSCL: homogeneous programming and execution for heterogeneous platformsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Gabriele Cocco, Biobeats. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 08 July 2014, 14:00-15:00 Microsoft Research Cambridge, public talks How to Give a Great Research TalkThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Simon Peyton Jones, Microsoft Research Cambridge. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 July 2014, 15:30-16:30 Microsoft Research Cambridge, public talks The Once and Future InternetJon Crowcroft, Computer Lab. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 03 July 2014, 14:00-15:00 Microsoft Research Cambridge, public talks How to Write a Great Research PaperThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Simon Peyton-Jones, Microsoft Research Cambridge. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 01 July 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Local Temporal ReasoningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Eric Koskinen, New York University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 27 June 2014, 10:30-11:30 Microsoft Research Cambridge, public talks A Modular Integration of SAT/SMT Solvers to Coq through Proof WitnessesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Chantal Keller. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 24 June 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Games, Learning and Markets WorkshopThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Speaker to be confirmed. Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 20 June 2014, 09:00-17:30 Microsoft Research Cambridge, public talks Geo-replicated storage with scalable deferred update replicationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Fernando Pedone, University of Lugano. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 June 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Tips and Tools for Scientific Research SuccessThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Speaker to be Confirmed . Main Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 16 June 2014, 09:00-16:30 Microsoft Research Cambridge, public talks Algebra of Parameterised GraphsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Andrey Mokhov, Newcastle University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 23 May 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Computer Vision for Movie Making and InfographicsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Chris Bregler, NYU & ILM. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 23 May 2014, 10:00-11:00 Microsoft Research Cambridge, public talks A Collapsible Approach to Higher Order VerificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Matthew Hague, Royal Holloway University of London. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 22 May 2014, 15:00-16:00 Microsoft Research Cambridge, public talks Thinking for Programmers: Rising Above the CodeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Leslie Lamport, Microsoft Research. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 13 May 2014, 17:30-18:30 Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Steve Clayton, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 08 May 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Mid-level Likelihoods and Constraints for 3D Scene InterpretationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending David Fouhey, The Robotics Institute. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 07 May 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Protecting Programs During Resource RetrievalThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Trent Jaeger, Penn State University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 28 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The shadowy life of many webcamsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Robert Pless, Washington University in St. Louis. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 23 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Art of Corporate StorytellingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Steve Clayton, Microsoft. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 17 April 2014, 16:00-17:00 Microsoft Research Cambridge, public talks Seeing in depth: computations and cortical networksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Andrew Welchman, Department of Psychology, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 April 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Crafting VisualizationsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Boris Müller, Fachhochschule Potsdam. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 15 April 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Sustainable IT and IT for SustainabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Zhenhua Liu, California Institute of Technology. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 07 April 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Bandits with Switching Costs: T^{2/3} RegretThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Yuval Peres, Microsoft Research Redmond. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 02 April 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource ProvisioningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Vinay Setty, University of Oslo. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 31 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Decision Making and Inference under Limited Information and Large DimensionalityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Stefano Ermon, Cornell University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 28 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Incremental Parallel and Distributed SystemsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Pramod Bhatotia, MPI-SWS. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 28 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks IC3 Modulo Theories via Implicit Predicate AbstractionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Alberto Griggio, Fondazione Bruno Kessler. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Rich semantic representations for detailed visual recognitionThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Subhransu Maji, Toyota Technological Institute at Chicago. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Globally Optimizing Graph Partitioning Problems Using Message PassingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Elad Mezuman, Hebrew University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Characterizing and Improving Last-Mile Performance Using Home Networking InfrastructureThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Srikanth Sundaresan, College of Computing, Georgia Tech. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 26 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Automatic Differentiation - Part One: A Revisionist History and the State of the ArtThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Barak A. Pearlmutter, NUI Maynooth. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Performance Optimizations for Compiler-based Error Detection MethodologiesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Konstantina Mitropoulou, University of Edinburgh. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 25 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Scaling Deep LearningThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Misha Denil, University of Oxford. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 21 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Using ConvNets, MALIS and crowd-sourcing to map the retinal connectomeThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Srini Turaga, Gatsby Unit & Wolfson Institute for Biomedical Research, UCL. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 19 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Data Driven Student Feedback For MOOCs: Global Scale Education for the 21st centuryThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Jonathan Huang, Stanford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Part Detection and Species IdentificationThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending David Jacobs, Department of Computer Science, University of Maryland. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks The Performance of Deferred-Acceptance Heuristic AuctionsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Paul Duetting, Stanford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 17 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Trouble-makers: Audio-video distortions as a relational resource in couples’ video callsThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Sean Rintel, University of Queensland. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Friday 14 March 2014, 09:00-10:00 Microsoft Research Cambridge, public talks Mechanism design for Cloud Computing and CrowdsourcingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Angelina Vidali, Duke University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 March 2014, 11:00-12:00 Microsoft Research Cambridge, public talks Achieving the Full Potential of State Machine Replication: High Throughput, Low Latency, Constant AvailabilityThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Julian Moraru, Carnegie Mellon University. Small Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 13 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Designing Controller Abstractions for Software-Defined NetworksThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Joshua Reich, Princeton University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Wednesday 12 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Rethinking State-Machine Replication for Multicore ArchitecturesThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Parisa Jalili Marandi, University of Lugano. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Monday 10 March 2014, 10:00-11:00 Microsoft Research Cambridge, public talks Computational foundations of Bayesian inference and probabilistic programmingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Daniel Roy, University of Cambridge. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 27 February 2014, 11:00-12:00 Microsoft Research Cambridge, public talks An Online Allocation Mechanism with Pre-Commitment and its Application to Electric Vehicle ChargingThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Valentin Robu, University of Southampton. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Thursday 20 February 2014, 15:30-16:30 Computer Laboratory Computer Architecture Group Meeting Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software DevelopmentJay Yantchev, CEO, ASTC and VLAB Works. SS03, Computer Laboratory, William Gates Building. Tuesday 18 February 2014, 14:00-15:00 Microsoft Research Cambridge, public talks Generative probabilistic programming: applications and new ideasThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending Yura Perov, Oxford University. Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB. Tuesday 18 February 2014, 11:00-12:00 Please see above for contact details for this list. |
Other listsChurchill Archives Centre Cambridge University Surgical Society Meeting the Challenge of Healthy Ageing in the 21st CenturyOther talksComputing knot Floer homology Open as a Tool to Change Ecosystems Rethinking African Studies: The Wisdom of the Elders What You Don't Know About God Using Inclusive Design to Focus on User Experience (UX) LARMOR LECTURE - Exoplanets, on the hunt of Universal life Sneks long balus A new proposal for the mechanism of protein translocation Single Cell Seminars (August) Active bacterial suspensions: from individual effort to team work Big and small history in the Genizah: how necessary is the Cairo Genizah to writing the history of the Medieval Mediterranean? |