The Wheeler Lectures in Computer Science

Wheeler Lecture 2021: Reimagining Robots

Professor Daniela Rus - Director of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.

Online.

Wednesday 12 May 2021, 15:30-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks

Fabrizio Frasca, Yu Guang and Cris Bodnar.

Zoom.

Tuesday 11 May 2021, 13:15-14:15

NLIP Seminar Series

Adaptation and Control in Enterprise Language Technology

Ryan McDonald (ASAPP).

Virtual (Zoom).

Friday 07 May 2021, 12:00-13:30

Computer Laboratory Systems Research Group Seminar

Teleoperating Mobile Things

Joerg Ott (TU Munich).

https://meet.google.com/ehj-dwaz-rea.

Thursday 06 May 2021, 15:00-16:00

Theory of Living Matter Group

Physics of blastocyst morphogenesis

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Dr. Jean-Léon Maître (Institut Curie, Paris) & Dr. Hervé Turlier (Collège de France, Paris).

Webinar.

Wednesday 05 May 2021, 17:00-18:00

Computer Laboratory Wednesday Seminars

Programming languages for humans

Dr Jeremy Yallop - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 05 May 2021, 15:00-16:00

Computer Laboratory Security Seminar

FastPay: High-Performance Byzantine Fault Tolerant Settlement

Alberto Sonnino, UCL.

Webinar.

Tuesday 04 May 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Towards Robust and Reliable Model Explanations

Hima Lakkaraju, Harvard University .

Zoom.

Tuesday 04 May 2021, 13:15-14:15

NLIP Seminar Series

Cross domain similarities and intra-person changes

Maria Liakata (University of Warwick).

Virtual (Zoom).

Friday 30 April 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Examining Raft's behaviour during partial network failures

Chris J. Jensen, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 29 April 2021, 15:00-16:00

Computer Laboratory Security Seminar

Mix-net cryptoeconomics: Rebooting privacy-preserving communications as incentive-driven collaborative projects

Aggelos Kiayias, University of Edinburgh.

Webinar - link in abstract.

Tuesday 27 April 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data

Sarah Morgan.

Zoom.

Tuesday 27 April 2021, 13:15-14:15

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Intelligent Systems for Safer, Healthier, and Sustainable Living

Xiaofan (Fred) Jiang (Columbia University).

Virtual (see abstract for Zoom link).

Monday 26 April 2021, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Consumer IoT devices: Privacy Implications and Device Identification

Roman Kolcun, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 22 April 2021, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Understanding the Weaponization of the Web via Data-Driven Analysis

Emiliano De Cristofaro (UCL).

meet.google.com/bbd-mrcv-arg.

Thursday 15 April 2021, 15:00-16:00

Theory of Living Matter Group

Network morphology to store memories

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Professor Karen Alim (TU Munich).

Webinar.

Wednesday 14 April 2021, 17:00-18:00

Computer Laboratory Systems Research Group Seminar

Protection, restoration and expansion of the world's woodlands as Nature-based Solutions to the climate and biodiversity crises: how can computer science help?

David Coomes (Plant Sciences).

https://meet.google.com/ehj-dwaz-rea.

Thursday 08 April 2021, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Towards Grey Fault Tolerant Cloud Systems

Ryan Huang.

meet.google.com/rvx-amuv-xrh.

Thursday 01 April 2021, 15:00-16:00

Theory of Living Matter Group

Mechanics of embryonic self-organization

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Dr. Jérôme Gros (Institut Pasteur, Paris) & Dr. Francis Corson (Ecole Normale Supérieure, Paris).

Webinar.

Wednesday 31 March 2021, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

Andrew Pitts, University of Cambridge.

Online.

Friday 26 March 2021, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Obstacles to Wearable Computing

Helen Oliver, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 25 March 2021, 15:00-16:00

Computer Laboratory Security Seminar

Dark web marketplaces and COVID-19: Flexible and resilient

Andrea Baronchelli, City University of London and The Alan Turing Institute.

Webinar.

Tuesday 23 March 2021, 14:00-15:00

NLIP Seminar Series

Title TBD

Ryan McDonald (Google).

Virtual (Zoom).

Friday 19 March 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

DNA for archival storage

Omer Sella, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 18 March 2021, 15:00-16:00

Theory of Living Matter Group

Models for tetrapod joint patterning: why does a finger have three knuckles?

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Dr. Tom Hiscock (University of Aberdeen) .

Webinar.

Wednesday 17 March 2021, 17:00-18:00

Computer Laboratory Security Seminar

Understanding Modern Phishing

Brad Wardman and Adam Oest, PayPal.

Webinar.

Tuesday 16 March 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning

Qingbiao Li.

Zoom.

Tuesday 16 March 2021, 13:15-14:15

Computer Laboratory Tech Talks

Cadence Design Systems: Machine Learning in EDA

Andrew Hall.

Online.

Tuesday 16 March 2021, 13:05-13:55

NLIP Seminar Series

🎈🎈🎈🥳 NLP Social Hour 🥳🎈🎈🎈

-.

Virtual (Zoom).

Friday 12 March 2021, 12:00-13:00

NLIP Seminar Series

Representation Learning for Text Retrieval: Learning and Pretraining Strategies for Dense Retrieval

Unusual date and time

Chenyan Xiong (Microsoft Research).

Virtual (Zoom).

Thursday 11 March 2021, 16:00-17:00

NLIP Seminar Series

Title TBD

Note unusual time

Chenyan Xiong (Microsoft Research AI).

Virtual (Zoom).

Thursday 11 March 2021, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Rearchitecting Kubernetes for the Edge

Andrew Jeffery, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 11 March 2021, 15:00-16:00

Computer Laboratory Wednesday Seminars

Modelling syntactico-semantic composition for natural language understanding and generation

Dr Weiwei Sun - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 10 March 2021, 15:00-16:00

Computer Laboratory Security Seminar

Deep Learning Assisted Side-Channel Attacks

Elena Dubrova, KTH Royal Institute of Technology.

Webinar.

Tuesday 09 March 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Computational foundations of morphogenomics

Bianca Dumitrascu.

Zoom.

Tuesday 09 March 2021, 13:15-14:15

Computer Laboratory Tech Talks

HP: Click Happens: Using Hypervisors for threat containment

Ian Pratt, Global Head of Security, HP Inc.

Online.

Monday 08 March 2021, 13:05-13:55

NLIP Seminar Series

[RESCHEDULED] Typological Feature Prediction and Blinding for Cross-Lingual NLP

RESCHEDULED TBD

Johannes Bjerva (Aalborg University).

Virtual (Zoom).

Friday 05 March 2021, 12:00-13:00

Theory of Living Matter Group

Phase transitions in early development

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Professor C-P. Heisenberg & Professor Edouard Hannezo (IST Vienna).

Webinar.

Wednesday 03 March 2021, 17:00-18:00

Computer Laboratory Security Seminar

Crowdsourcing Security Research: A case study of AdObserver

Laura Edelson and Damon McCoy, New York University.

Webinar.

Tuesday 02 March 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Landscape and Gaps in Open Source Fairness Toolkits

Michelle Lee.

Zoom.

Tuesday 02 March 2021, 13:15-14:15

Computer Laboratory Tech Talks

Entrust: Is Quantum Computing really a threat to Security Systems?

Dr Pali Surdhar, Product Security Director, Entrust.

Online.

Tuesday 02 March 2021, 13:05-13:55

Women@CL Events

Lent Talklets: Costanza and Cătălina

Costanza Conforti (Department of Theoretical and Applied Linguistics, University of Cambridge); Cătălina Cangea (Department of Computer Science and Technology, University of Cambridge).

Remote.

Friday 26 February 2021, 13:00-14:00

NLIP Seminar Series

Papers with Code and the automatic extraction of results from papers

Robert Stojnic (Facebook / Papers with Code).

Virtual (Zoom).

Friday 26 February 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Designing Next Generation Network Interface Cards

Aditya Akella, University of Wisconsin, Madison.

https://meet.google.com/ehj-dwaz-rea.

Thursday 25 February 2021, 15:00-16:00

Computer Laboratory Wednesday Seminars

Data driven design for sustainable future cities: incorporating the intangible

Dr Ronita Bardhan - University Lecturer of Sustainability in Built Environment, Department of Architecture, University of Cambridge.

Online.

Wednesday 24 February 2021, 15:00-16:00

Computer Laboratory Security Seminar

Dmitry goes to Hollywood: Criminal Excellence in (Cyber) La La Land

Luca Allodi, Eindhoven University of Technology.

Webinar.

Tuesday 23 February 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning and String theory

Challenger Mishra.

Zoom.

Tuesday 23 February 2021, 13:15-14:15

Computer Laboratory Tech Talks

Matrix/Element: Turning Matrix into a Peer-to-peer mesh network for decentralised communication with BLE

Matthew Hodgson, Project lead, Matrix.org.

Online.

Monday 22 February 2021, 13:05-13:55

NLIP Seminar Series

Title TBD

Mariam Redi (Wikimedia).

Virtual (Zoom).

Friday 19 February 2021, 12:00-13:00

NLIP Seminar Series

The Science of Knowledge Equity - Research at Wikimedia

Miriam Redi, Diego Saez (Wikimedia Foundation).

Virtual (Zoom).

Friday 19 February 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Programmable, Hardware-Based Routing and Scheduling

Vanbever Laurent, ETH Zurich.

https://meet.google.com/ehj-dwaz-rea.

Thursday 18 February 2021, 15:00-16:00

Theory of Living Matter Group

What lies behind (the data)? Some approaches to theory in biology

To attend subscribe at: https://lists.cam.ac.uk/mailman/listinfo/ucam-tlm-talks

Professor Jeremy Gunawardena (Harvard University).

Webinar.

Wednesday 17 February 2021, 17:00-18:00

Computer Laboratory Wednesday Seminars

Theoretical Foundations of Graph Neural Networks

Dr Petar Veličković - DeepMind.

Online.

Wednesday 17 February 2021, 15:00-16:00

Computer Laboratory Security Seminar

A Liar and a Copycat: Nonverbal Coordination Increases with Lie Difficulty

Sophie van der Zee, Erasmus University Rotterdam.

Webinar.

Tuesday 16 February 2021, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural ODE Processes

Cris Bodnar, Alex Norcliffe, Ben Day, Jacob Moss .

Zoom.

Tuesday 16 February 2021, 13:15-14:15

Computer Laboratory Tech Talks

BigPay: Building a South-East Asian Neobank

Richard Watts.

Online.

Monday 15 February 2021, 13:05-13:55

NLIP Seminar Series

Detecting the "Fake News" Before It Was Even Written, Media Literacy, and Flattening the Curve of the COVID-19 Infodemic

Preslav Nakov (Qatar Computing Research Institute (QCRI), HBKU).

Virtual (Zoom).

Friday 12 February 2021, 12:00-13:00

Women@CL Events

Compositionality decomposed: how do neural networks generalise?

Dieuwke Hupkes, Facebook AI Research.

Remote.

Thursday 11 February 2021, 13:00-14:00

Computer Laboratory Security Seminar

Cybersecurity Risk to Hospitals from Building Services

Sheryn Gillin, University of Cambridge.

Webinar.

Tuesday 09 February 2021, 14:00-15:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Behind the app: perspectives on fairness and sustainability from the gig economy

Adrian Friday (Lancaster University).

Virtual (see abstract for Zoom link).

Monday 08 February 2021, 16:00-17:00

Computer Laboratory Tech Talks

TechWolf: Deep learning for Career Prediction

Josef Valvoda.

Online.

Monday 08 February 2021, 13:05-13:55

NLIP Seminar Series

A Graph-Based Framework for Structured Prediction Tasks in Sanskrit

Note unusual time

Amrith Krishna (University of Cambridge).

Virtual (Zoom).

Friday 05 February 2021, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Pluginizing Internet Protocols

Olivier Bonaventure.

https://meet.google.com/ehj-dwaz-rea.

Thursday 04 February 2021, 15:00-16:00

Computer Laboratory Wednesday Seminars

The Compelling World of Augmented Perception - A Perspective on Sensory Wearables

Dr Fahim Kawsar - Nokia Bell Labs.

Online.

Wednesday 03 February 2021, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning under model misspecification

Andrés R. Masegosa, Universidad de Almería (Spain).

Zoom.

Tuesday 02 February 2021, 13:15-14:15

Computer Laboratory Tech Talks

Amazon UK: Tech Talk

Carl Summers, Michael Dimond, Gokul Ramanan Subramanian.

Online.

Tuesday 02 February 2021, 13:05-13:55

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Toward Personalized and Adaptive Health and Wellbeing Assistants

Akane Sano (Rice University).

Virtual (see abstract for Zoom link).

Monday 01 February 2021, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

Christopher Pulte, University of Cambridge.

Online.

Friday 29 January 2021, 14:00-15:00

NLIP Seminar Series

Learning with Graphs in Natural Language Generation and Relation Extraction

Zhijiang Guo (University of Cambridge).

Virtual (Zoom).

Friday 29 January 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Practical Edge Computing for Mobile X Reality

Pan (Ben) Hui, HKUST.

https://meet.google.com/ehj-dwaz-rea.

Thursday 28 January 2021, 15:00-16:00

Computer Laboratory Wednesday Seminars

Reconciling Temporalities in Relating Different Worlds

Professor Nicola Bidwell - International University of Management, Namibia.

Online.

Wednesday 27 January 2021, 15:00-16:00

Computer Laboratory Security Seminar

Towards Provable Physical Safety Against False Actuation Attacks in CPS

Alvaro Cardenas, University of California, Santa Cruz.

Webinar.

Tuesday 26 January 2021, 16:00-17:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Latent Action Space for Offline Reinforcement Learning

Wenxuan Zhou, Carnegie Mellon University (USA).

Zoom.

Tuesday 26 January 2021, 13:15-14:15

Computer Laboratory Tech Talks

Linaro/96 Boards: Innovation in Autonomous Driving powered by Open Source Heterogeneous Computing Platform

Yang Zhang - Director, 96Boards, Linaro. Co-Founder and Board of Director, Autoware Foundation.

Online.

Tuesday 26 January 2021, 13:05-13:55

Computer Laboratory Tech Talks

Optiver: From Instant to Eternity: Challenges in Data Engineering

Zuotian Tatum - Optiver Engineer.

Online.

Monday 25 January 2021, 13:05-13:55

NLIP Seminar Series

Revisiting and re-evaluating rumour stance classification

Carolina Scarton (University of Sheffield).

Virtual (Zoom).

Friday 22 January 2021, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Let It Rain - Interactive Smart Building Data Visualisations for Real-time Sensor Readings

Justas Brazauskas (CL).

https://meet.google.com/ehj-dwaz-rea.

Thursday 21 January 2021, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Debugging Machine Learning Code

Svet Penkov, Efemarai.

Zoom.

Tuesday 19 January 2021, 13:15-14:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting material properties with the help of machine learning

Bingqing Cheng.

Zoom.

Tuesday 12 January 2021, 13:15-14:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?

Gabriele Corso.

Zoom.

Tuesday 08 December 2020, 13:15-14:15

NLIP Seminar Series

Compositional Neural Meaning Representation Parsing

Weiwei Sun (University of Cambridge).

Virtual (Zoom).

Friday 04 December 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Running NFV Service Chains at the True Speed of the Underlying Hardware

Dejan Kostic, KTH.

https://meet.google.com/ehj-dwaz-rea.

Thursday 03 December 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Wasserstein Natural Gradients for Reinforcement Learning

Ferenc Huszár.

Zoom.

Tuesday 01 December 2020, 13:15-14:15

Computer Laboratory Security Seminar

User Privacy Concerns and Preferences in Smart Buildings

Maryam Mehrnezhad, Newcastle University.

Webinar.

Tuesday 01 December 2020, 13:00-14:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The Android Platform Security Model (and the security status of actual devices)

René Mayrhofer (Johannes Kepler University Linz).

Virtual (see abstract for Zoom link).

Monday 30 November 2020, 14:00-15:00

Computer Laboratory Tech Talks

PA Consulting: Applications of AR/VR

Mauro Aguiar and Czar Balangue.

Virtual.

Monday 30 November 2020, 13:05-13:55

NLIP Seminar Series

Improving Speech Translation with Linguistically-Informed Representations

Elizabeth Salesky (Johns Hopkins University).

Zoom.

Friday 27 November 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Load Migration in SDN Controllers

Yashar Ganjali, University of Toronto.

https://meet.google.com/ehj-dwaz-rea.

Thursday 26 November 2020, 15:00-16:00

Rainbow Group Seminars

Active Sampling for Pairwise Comparisons via Approximate Message Passing and Information Gain Maximization

Aliaksei Mikhailiuk, Rainbow Group.

Virtual Zoom meeting.

Thursday 26 November 2020, 15:00-16:00

Rainbow Group Seminars

Active Sampling for Pairwise Comparisons via Approximate Message Passing and Information Gain Maximization

Aliaksei Mikhailiuk, Rainbow Group.

Virtual Zoom meeting.

Thursday 26 November 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Neural Networks for Biomedical Data

Note the change of date and time. This seminar is part of the Wednesday seminar series too.

Marinka Zitnik, Harvard University.

Zoom.

Wednesday 25 November 2020, 15:00-16:00

Computer Laboratory Wednesday Seminars

Graph Neural Networks for Biomedical Data

This seminar is part of the Artificial Intelligence Group Talk series too.

Marinka Zitnik, Harvard University.

Zoom.

Wednesday 25 November 2020, 15:00-16:00

Computer Laboratory Tech Talks

Bloomberg: Trading Programs - How the finance industry has become so complex that today's products are similar to programs

Joel Bjornson.

Virtual.

Wednesday 25 November 2020, 13:05-13:55

Computer Laboratory Security Seminar

Alternative sanctions for juvenile criminal hackers: The evaluation of the Dutch “Hack_Right” intervention

Rutger Leukfeldt, NSCR.

Webinar.

Tuesday 24 November 2020, 14:00-15:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Unsupervised domain adaptation for human activity recognition

Juan Ye (University of St Andrews).

Virtual (see abstract for Zoom link).

Monday 23 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke

Philip Saville, University of Edinburgh.

Online.

Friday 20 November 2020, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

On the Art of Wielding a Double-Edged Sword (or, Finessing Modern Networks)

Samer Al-Kiswany, University of Waterloo.

https://meet.google.com/ehj-dwaz-rea.

Thursday 19 November 2020, 15:00-16:00

Computer Laboratory Tech Talks

Mediatek: 5G – Life beyond the Smartphone

Abdellatif Salah.

Virtual.

Thursday 19 November 2020, 13:05-13:55

Women@CL Events

Michaelmas Talklets: Sian and Siana

Sian Gooding (University of Cambridge); Siana Zhekova (University of Cambridge).

Remote.

Thursday 19 November 2020, 13:00-14:00

Computer Laboratory Security Seminar

Cultural Convergence in the time of COVID

Alicia Bargar and Erin McAweeney, Graphika.

Webinar.

Tuesday 17 November 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

What is Next for the Efficient Machine Learning Revolution?

Nicholas Lane.

Zoom.

Tuesday 17 November 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

Tomas Jakl, University of Cambridge.

Online.

Friday 13 November 2020, 14:00-15:00

NLIP Seminar Series

Predicting Text Readability and Reading Comprehension from Reading Interactions

Sian Gooding (University of Cambridge).

Virtual (Zoom).

Friday 13 November 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Mir-BFT: Robust Scaling of Classical BFT

Marko Vukolic, IBM Research, Zurich.

https://meet.google.com/ehj-dwaz-rea.

Thursday 12 November 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

Alexander Norcliffe.

Zoom.

Tuesday 10 November 2020, 13:15-14:15

Computer Laboratory Tech Talks

Rebellion Defense: Agent-based modeling (ABM) and Mesa

Jackie Kazil .

Virtual.

Tuesday 10 November 2020, 13:05-13:55

Computer Laboratory Security Seminar

Hardware and Software Fingerprinting of Mobile Devices

Jiexin (Stan) Zhang, University of Cambridge.

Webinar.

Tuesday 10 November 2020, 13:00-14:00

NLIP Seminar Series

How far have we come in giving our NLU systems common sense?

Note time change

Nasrin Mostafazadeh (Verneek).

Virtual (Zoom).

Friday 06 November 2020, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

Vikraman Choudhury, University of Indiana.

Online.

Friday 06 November 2020, 14:00-15:00

Computer Laboratory Security Seminar

SHB Seminar

Multiple Speakers.

Webinar.

Thursday 05 November 2020, 14:00-16:00

Computer Laboratory Tech Talks

Palantir: P101 + Responding to COVID-19

Speaker to be confirmed.

Virtual.

Tuesday 03 November 2020, 17:00-18:00

Computer Laboratory Security Seminar

Eavesdropping at Scale: Shifting the Threat Model in Satellite Broadband

James Pavur, University of Oxford.

Webinar.

Tuesday 03 November 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Modulated Bayesian Optimisation

Carl Henrik Ek.

Zoom.

Tuesday 03 November 2020, 13:15-14:15

Computer Laboratory Tech Talks

Cisco: Have your Robots Call My Robots

Simon Chatterjee.

Virtual.

Tuesday 03 November 2020, 13:05-13:55

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Towards Continuous Health Sensing with Everyday Clothing

Deepak Ganesan (UMass Amherst).

Virtual (see abstract for Zoom link).

Monday 02 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

Gregory Wilsenach, University of Cambridge.

Online.

Friday 30 October 2020, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

The Battle for Bandwidth: Fairness and Heterogenous Congestion Control on Today's Internet

Justine Sherry, CMU.

https://meet.google.com/ehj-dwaz-rea.

Thursday 29 October 2020, 15:00-16:00

Computer Laboratory Wednesday Seminars

Haar Graph Pooling

Dr Yu Guang Wang - University of New South Wales.

Online.

Wednesday 28 October 2020, 15:00-16:00

Computer Laboratory Security Seminar

Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble

Kit Murdock, University of Birmingham.

Webinar.

Tuesday 27 October 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Constraining Variational Inference with Geometric Jensen-Shannon Divergence

Jacob Deasy.

Zoom.

Tuesday 27 October 2020, 13:15-14:15

Computer Laboratory Security Group meeting presentations

Turning Up the Dial: the Evolution of a Cybercrime Market Through Set-up, Stable, and Covid-19 Eras

Anh V. Vu, University of Cambridge.

Online.

Friday 23 October 2020, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution

Alasdair Armstrong, University of Cambridge.

Online.

Friday 23 October 2020, 14:00-15:00

NLIP Seminar Series

Five Sources of Biases and Ethical Issues in NLP, and What to Do about Them

Dirk Hovy (Bocconi University).

Virtual (Zoom).

Friday 23 October 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Enclave-Aware Compartmentalization and Secure Sharing with Sirius

Zahra Tarkhani, Computer Lab.

https://meet.google.com/ehj-dwaz-rea.

Thursday 22 October 2020, 15:00-16:00

Computer Laboratory Tech Talks

Gearset: Continuous Delivery in Practice

Ben Roberts (Software Engineer) and Luke Drury (Head of Engineering).

Virtual.

Thursday 22 October 2020, 13:05-13:55

Computer Laboratory Security Seminar

Sponge Examples: Energy-Latency Attacks on Neural Networks

Ilia Shumailov, University of Cambridge.

Webinar.

Tuesday 20 October 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Predicting Mortality and Length of Stay with Patient Graph Representation Learning

Emma Rocheteau.

Zoom.

Tuesday 20 October 2020, 13:15-14:15

Computer Laboratory Tech Talks

IMC Trading: High Frequency Trading: how to (not) become Warren Buffet

Pierre Bashshour.

Virtual.

Monday 19 October 2020, 13:05-13:55

Logic and Semantics Seminar (Computer Laboratory)

Incrementality xor currency for monotone fixed points

Michael Arntzenius, University of Cambridge.

Online.

Friday 16 October 2020, 14:00-15:00

NLIP Seminar Series

What are the Goals of Distributional Semantics?

Guy Emerson (University of Cambridge).

Virtual (Zoom).

Friday 16 October 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Twins: White-Glove Approach for BFT Testing

Shehar Bano, Novi (Facebook).

https://meet.google.com/ehj-dwaz-rea.

Thursday 15 October 2020, 15:00-16:00

Computer Laboratory Tech Talks

TNG Technology Consulting: Deepfakes 2.0 - How Neural Networks Are Changing Our World

Thomas Endres, Martin Förtsch and Jonas Mayer.

Virtual.

Thursday 15 October 2020, 13:05-13:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Sponge Examples: Energy-Latency Attacks on Neural Networks

Ilia Shumailov.

Zoom.

Tuesday 13 October 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Higher Algebra in Computer Science

Eric Finster, University of Cambridge.

Online.

Friday 09 October 2020, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Bias in AI

Derek McAuley.

https://meet.google.com/ehj-dwaz-rea.

Thursday 08 October 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Scaling AI Systems with Optical I/O

Manya Ghobadi, MIT.

https://meet.google.com/ehj-dwaz-rea.

Thursday 10 September 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Can machine learning help identify new health relevant signals from large accelerometer datasets?

Aiden Doherty (Nuffield Department of Population Health, University of Oxford).

Virtual (see abstract for Zoom link).

Monday 07 September 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Smart Cities with Privacy Assurance

Sid Chau, ANU.

https://meet.google.com/ehj-dwaz-rea.

Thursday 03 September 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Sirius: A Flat Datacenter Network with Nanosecond Optical Switching

Hitesh Ballani, MSR.

https://meet.google.com/ehj-dwaz-rea.

Thursday 20 August 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

App-based contact tracing: epidemiological rationale and current perspectives

Luca Ferretti (Big Data Institute, University of Oxford).

Virtual (see abstract for Zoom link).

Monday 17 August 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Decoding Hidden Worlds: Signals in our Oceans, Bodies, and Beyond

Fadel Adib (MIT).

Virtual (see abstract for Zoom link).

Monday 10 August 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Systematic Rateless Coding for Efficient Data Transport in Data Centres

Mohammed Alasmar, Department of Informatics, University of Sussex.

https://meet.google.com/ehj-dwaz-rea.

Thursday 06 August 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The Wearables Medical Revolution

Katayoun Farrahi (University of Southampton).

Virtual (see abstract for Zoom link).

Monday 03 August 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Caching with Delayed Hits

Nirav Atre, CMU.

https://meet.google.com/ehj-dwaz-rea.

Thursday 30 July 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Earable Computing: Ear-worn Systems for Healthcare Applications

Tam Vu (University of Oxford).

Virtual (see abstract for Zoom link).

Monday 27 July 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Innovation in Internet of Hearable Things: Smart Health, CyberSecurity and Beyond

Wenyao Xu (University at Buffalo).

Virtual (see abstract for Zoom link).

Monday 20 July 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Untangling the Web by tracking our trackers

Nishanth Sastry.

https://meetingsemea10.webex.com/meet/sk818 .

Thursday 02 July 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Emergent Multi-Agent Communication: The story so far

Agnieszka Slowik (University of Cambridge).

Online on Teams.

Tuesday 30 June 2020, 13:15-14:15

Computer Laboratory Systems Research Group Seminar

Service-Aware Provisioning for Greener & Smarter Cellular Networks

Li Rongpeng, Zhejiang University, Hangzhou China.

https://meetingsemea10.webex.com/meet/sk818 .

Thursday 25 June 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Weighting Based Adversarial Approach to Fairness in Machine Learning

Mladen Nikolić, University of Belgrade.

Online on Teams.

Tuesday 23 June 2020, 13:15-14:15

NLIP Seminar Series

Towards explainable fact checking

Isabelle Augenstein (University of Copenhagen).

https://meet.google.com/xkv-cako-arr.

Friday 19 June 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Battery-Free, Low-Cost Sensing with RFIDs

Ju Wang, University of Waterloo.

https://meetingsemea10.webex.com/meet/sk818 .

Thursday 18 June 2020, 15:00-16:00

Computer Laboratory Wednesday Seminars

Addressing Imbalance in Object Detection

Dr Sinan Kalkan - Assoc. Prof Middle East Technical University and Visiting Researcher, Cambridge University.

Online.

Wednesday 17 June 2020, 15:00-16:00

NLIP Seminar Series

Achieving Verified Robustness to Adversarial NLP Inputs

Note later start

Johannes Welbl (UCL).

https://meet.google.com/tgv-vods-pdk.

Friday 12 June 2020, 12:30-13:30

Computer Laboratory Systems Research Group Seminar

Building Enzian: a research computer

Timothy Roscoe, ETH Zurich.

Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Thursday 11 June 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Adversarial Explanations - You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods

Botty Dimanov (University of Cambridge).

Online on Teams.

Tuesday 09 June 2020, 13:15-14:15

Computer Laboratory Systems Research Group Seminar

Latency-driven Performance in Data Centres

Diana Popescu, Computer Lab.

Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Thursday 04 June 2020, 15:00-16:00

Computer Laboratory Security Seminar

TRRespass: Exploiting the Many Sides of Target Row Refresh

Kaveh Razavi, ETH Zurich.

Webinar.

Tuesday 02 June 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges

Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki.

Online on Teams.

Tuesday 02 June 2020, 13:15-14:15

NLIP Seminar Series

Methodological advances in creating time sensitive sensors from language and heterogeneous user generated content

Rescheduled

Maria Liakata (Queen Mary University of London, University of Warwick, Alan Turing Institute).

https://meet.google.com/awc-wvbh-azc.

Friday 29 May 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

All for One and One for All: Decoupling IP in the Connection from the Endhost Communication.

Marwan Fayed, Cloudflare Research.

Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Thursday 28 May 2020, 15:00-16:00

Computer Laboratory Security Seminar

Collaborative Deanonymization

Rainer Böhme, University of Innsbruck.

Webinar.

Tuesday 26 May 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Representation Learning under Uncertainty (WIP)

Catalina Cangea and Ben Day (University of Cambridge).

Online on Teams.

Tuesday 26 May 2020, 13:15-14:15

Computer Laboratory Systems Research Group Seminar

Spatio-Temporal Data Collection and Analysis for Developing Transport related Services

Rohit Verma (Computer Lab).

Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Thursday 21 May 2020, 15:00-16:00

The Wheeler Lectures in Computer Science

Wheeler Lecture 2020: The Future of Microprocessors

Dr Sophie Wilson.

Online.

Wednesday 20 May 2020, 14:00-16:00

Computer Laboratory Security Seminar

Understanding Privacy-Related Questions on Stack Overflow

Kami Vaniea, University of Edinburgh.

Webinar.

Tuesday 19 May 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit

Emma Rocheteau (University of Cambridge).

Online on Teams.

Tuesday 19 May 2020, 13:15-14:15

Rainbow Group Seminars

Path to Perceptual Realism

Fangcheng Zhong (University of Cambridge).

Virtual Zoom meeting.

Thursday 14 May 2020, 14:00-15:00

Computer Laboratory Security Seminar

The politics of data-driven governance

Lina Dencik, Data Justice Lab, Cardiff University.

Webinar.

Tuesday 12 May 2020, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services

Marios Kogias.

Webex Meeting number: 140 388 203 Password: ZApmfTb7h56.

Thursday 07 May 2020, 15:00-16:00

Computer Laboratory Security Seminar

Tech Abuse in the Intimate Partner Violence Setting: Issues, Challenges, and Mitigations

Damon McCoy, New York University.

Webinar.

Tuesday 05 May 2020, 14:00-15:00

NLIP Seminar Series

Reducing gender bias in neural machine translation as a domain adaptation problem

Online Seminar

Danielle Saunders (University of Cambridge).

https://meet.google.com/hhk-hmiz-mpt.

Friday 01 May 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

End-to-End Congestion Control via Endpoint-Centric, Wireless Physical-Layer Capacity Measurements

Kyle Jamieson (Princeton).

Webex.

Thursday 30 April 2020, 15:00-16:00

Computer Laboratory Security Seminar

SEAL: sealed-bid auction without auctioneers

Feng Hao, Department of Computer Science, University of Warwick.

Webinar.

Tuesday 28 April 2020, 14:00-15:00

Computer Laboratory Security Seminar

Trustable Hardware as a TOCTOU Problem: Overview and Potential Remedies

Dr. Andrew 'bunnie' Huang, Independent Researcher.

Webinar.

Tuesday 21 April 2020, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Title to be confirmed

Shruti Tople (MSR).

FW26, Computer Laboratory, William Gates Building.

Thursday 16 April 2020, 15:00-16:00

Theory of Living Matter Group

Tension heterogeneity instructs morphogenesis and fate specification during heart development

Dr. Rashmi Priya (Max Planck Institute for Heart and Lung Research, Bad Nauheim, Germany).

Hodgkin-Huxley Seminar Room, Physiology Building, Downing Site .

Friday 13 March 2020, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Systematic Rateless Coding for Efficient Data Transport in Data Centres

Mohammed Alasmar (University of Sussex).

FW26, Computer Laboratory, William Gates Building.

Thursday 12 March 2020, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

A Syntactic View of Computational Adequacy

Marco Devesas Campos, University of Birmingham.

Computer Lab, GC22.

Thursday 12 March 2020, 13:00-13:20

Theory of Living Matter Group

Quantitative approaches of live single-cell transcriptomics

Professor Nancy Papalopulu (School of Medical Sciences, University of Manchester) & Professor Jonathan Chubb (MRC LMCB, University College London).

Old Divinity School, St John's College, Cambridge CB2 1TP, UK.

Wednesday 11 March 2020, 18:00-20:00

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

Yakoub Nemouchi, University of York.

Computer Lab, SS03.

Tuesday 10 March 2020, 14:30-14:50

Artificial Intelligence Research Group Talks (Computer Laboratory)

Learning evolving node and community representations on dynamic graphs

Simeon Spasov.

SS03, Computer Laboratory, William Gates Building.

Tuesday 10 March 2020, 13:15-14:15

LGBTQ+@CL Talks

Security, Privacy and Community in a Connected World

George Neville-Neil, Computer Laboratory, University of Cambridge.

FW26, William Gates Building, Computer Laboratory.

Friday 06 March 2020, 15:00-16:00

NLIP Seminar Series

Evaluating Deep Generative Models on Out-of-Distribution Inputs

Eric Nalisnick (University of Cambridge).

FW26, Computer Laboratory.

Friday 06 March 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Owl: OCaml Scientific and Engineering Computing

Jianxin Zhao (Computer Lab).

FW26, Computer Laboratory, William Gates Building.

Thursday 05 March 2020, 15:00-16:00

Rainbow Group Seminars

A Quest for the Perfect Picture: Challenges and Research Opportunities

Panos Nasiopoulos, University of British Columbia.

SS03 Meeting Room, Computer Laboratory.

Thursday 05 March 2020, 14:15-15:00

Logic and Semantics Seminar (Computer Laboratory)

Aspects of my formal development work

Boris Djalal, OpenAirInterface Software Alliance.

Computer Lab, FW26.

Thursday 05 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

Automating proof by induction in Isabelle/HOL using domain-specific languages

Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

Computer Lab, FW11.

Wednesday 04 March 2020, 10:00-10:20

Artificial Intelligence Research Group Talks (Computer Laboratory)

Deep Graph Mapper: Seeing Graphs through the Neural Lens

Cristian Bodnar and Cătălina Cangea.

SS03, Computer Laboratory, William Gates Building.

Tuesday 03 March 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Formal Foundations for Provably Safe Web Components

Michael Herzberg, University of Sheffield.

Computer Lab, FW26.

Tuesday 03 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

A duality theoretic view on limits of finite structures

Tomáš Jakl, Computer Lab.

Computer Laboratory, room SS03.

Friday 28 February 2020, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Software architectures for neural interfaces

Lucian Carata (University of Cambridge).

SW01, William Gates Building.

Friday 28 February 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Cerberus C semantics & pointer provenance

Kayvan Memarian (University of Cambridge).

Computer Laboratory, room SS03.

Friday 28 February 2020, 13:00-14:00

NLIP Seminar Series

Learning Tensors and Random Matrix Theory

Mehrnoosh Sadrzadeh (UCL).

FW26, Computer Laboratory.

Friday 28 February 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Trip Report - CCC

Richard Mortier (Computer Lab).

FW26, Computer Laboratory, William Gates Building.

Thursday 27 February 2020, 15:00-16:00

Theory of Living Matter Group

The origin of animal morphogenesis: insights from choanoflagellates

Dr. Thibaut Brunet (University of California Berkeley ).

Wellcome Trust /CRUK Gurdon Institute, Tennis Court Road, Cambridge CB21QN.

Thursday 27 February 2020, 15:00-16:00

Computer Laboratory Security Seminar

Product Design, Liability, and Insecurity Engineering

Marc Weber Tobias, School of Engineering, University of Pittsburgh.

LT2, Computer Laboratory, William Gates Building.

Tuesday 25 February 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Knowledge Graph Convolutional Networks - Combining ML and Reasoning

James Fletcher, Haikal Pribadi (Grakn).

SS03, Computer Laboratory, William Gates Building.

Tuesday 25 February 2020, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Computation via Substructures

Ramanathan S. Thinniyam, MPI-SWS.

Computer Laboratory, room SS03.

Monday 24 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Profunctorial Finiteness Semantics

Zeinab Galal.

Computer Lab, FW26.

Friday 21 February 2020, 14:00-15:00

NLIP Seminar Series

Shaping Recommendations in a Marketplace via User & Content Understanding

Rishabh Mehrotra (Spotify).

FW26, Computer Laboratory.

Friday 21 February 2020, 12:00-13:00

Rainbow Group Seminars

Pre-processing of HDR video in the YCbCr color space, luma and chroma adjustment

Jacob Strom, Ericsson Research.

FW11 Meeting Room, Computer Laboratory.

Thursday 20 February 2020, 14:15-15:00

Computer Laboratory Wednesday Seminars

Soft Aerial Robotics for Digital Infrastructure Systems

Dr Mirko Kovac - Director, Aerial Robotics Laboratory, Imperial College.

Lecture Theatre 2, Computer Laboratory.

Wednesday 19 February 2020, 15:05-15:55

Computer Laboratory Tech Talks

Green Custard Ltd: Innovating at pace in IoT

Food provided

Zoltan Molnar and Gavin Dolling .

FW26, Computer Laboratory.

Wednesday 19 February 2020, 13:00-14:00

Computer Laboratory Security Seminar

Measuring Cryptocurrency Fraud

Marie Vasek, Department of Computer Science, UCL.

LT2, Computer Laboratory, William Gates Building.

Tuesday 18 February 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Some ideas on neural network modulation

Ben Day (Department of Computer Science and Technology).

GS15, Computer Laboratory, William Gates Building.

Tuesday 18 February 2020, 13:00-14:00

Computer Laboratory Security Seminar

On the Effectiveness of Generating Adversarial Examples for Evading Blackbox Malware Classifiers

Dr Sadia Afroz, ICSI, UC Berkeley, Avast.

LT2, Computer Laboratory, William Gates Building.

Monday 17 February 2020, 13:00-14:00

Rainbow Group Seminars

Science Visualisation

Jason Riley.

SS03 Meeting Room, Computer Laboratory.

Friday 14 February 2020, 14:00-15:00

Women@CL Events

Project Silica: Re-designing Cloud storage for a new era

Lunch provided

Andromachi Chatzieleftheriou (Microsoft Research).

Computer Laboratory, William Gates Building, FW11.

Friday 14 February 2020, 13:00-14:00

NLIP Seminar Series

Beat the AI: Investigating Adversarial Human Annotations for Reading Comprehension

Max Bartolo (UCL).

FW26, Computer Laboratory.

Friday 14 February 2020, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Securing IoT with Azure Sphere

James Scott (MSR).

FW26, Computer Laboratory, William Gates Building.

Thursday 13 February 2020, 15:00-16:00

Computer Laboratory Wednesday Seminars

Climate, Carbon, and Computer Science

Professor Keshav - Robert Sansom Professor, Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 12 February 2020, 15:05-15:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks

Michael Imbeault (Department of Genetics, Cambridge Univ).

FW26, Computer Laboratory, William Gates Builiding.

Tuesday 11 February 2020, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine learning for network inference

Ljupco Todorovski (University of Ljubljana).

LT1, Computer Laboratory, William Gates Builiding, West Cambridge site.

Tuesday 11 February 2020, 13:00-14:00

NLIP Seminar Series

Zero-shot Language Learning through Bayesian Neural Models

Edoardo Maria Ponti (University of Cambridge).

FW26, Computer Laboratory.

Friday 07 February 2020, 12:00-13:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The SPHERE project

Ian Craddock (University of Bristol).

Lecture Theatre 2, Computer Laboratory.

Thursday 06 February 2020, 15:00-16:00

Women@CL Events

What is High-Performance Computing and why does it matter?

Lunch provided

Rosemary Francis (Ellexus).

Computer Laboratory, William Gates Building, LT1.

Thursday 06 February 2020, 13:00-14:00

Computer Laboratory Wednesday Seminars

Machine Learning at the Extreme Edge - an Open Platform Approach

Prof. Dr. Luca Benini, ETH Zürich.

Lecture Theatre 2, Computer Laboratory.

Wednesday 05 February 2020, 15:05-15:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Non-convex Optimisation Using the Polyak-Łojasiewicz Inequality

Edoardo Calvello (Imperial College).

LT2, Computer Laboratory, William Gates Building.

Tuesday 04 February 2020, 13:00-14:00

Rainbow Group Seminars

What can we see on a high-dynamic range display?

Minjung Kim (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Monday 03 February 2020, 14:00-15:00

Computer Laboratory Tech Talks

Amazon Alexa Tech Talk

Food provided

Paolo Gianrossi, Software Development Manager (Amazon Alexa team, Cambridge).

FW26, Computer Laboratory.

Monday 03 February 2020, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Controlling time in networking: from delay-tolerant networking to low-latency networking

Kyunghan Lee (UNIST).

FW26, Computer Laboratory, William Gates Building.

Thursday 30 January 2020, 15:00-16:00

Computer Laboratory Security Seminar

Security economics to inform behaviour change support

Simon Parkin, Information Security Group, University College London.

LT2, Computer Laboratory, William Gates Building.

Tuesday 28 January 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Flexible deep learning for heterogeneous clinical time series

Jacob Deasy.

SS03, Computer Laboratory, William Gates Building.

Tuesday 28 January 2020, 13:00-14:00

Computer Laboratory Tech Talks

Cambridge Design Partnership - Think Small: Embedded Software FTW!

Food provided

Jason Mashinchi, Graduate Software Engineer and Tom Vajzovic, Consultant Software Engineer.

FW26, Computer Laboratory.

Monday 27 January 2020, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Information Exposure From Consumer IoT Devices: A Multidimensional Network-Informed Approach

Anna Maria Mandalari (Imperial College).

FW26, Computer Laboratory, William Gates Building.

Thursday 23 January 2020, 15:00-16:00

Rainbow Group Seminars

Predicting visible flicker in temporally changing images

Gyorgy Denes, University of Cambridge.

SS03 Meeting Room, Computer Laboratory.

Thursday 23 January 2020, 14:15-15:00

Computer Laboratory Wednesday Seminars

Digital Modeling of Reality with Machine Learning

Dr Cengiz Oztireli, Graphics Lecturer, Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 22 January 2020, 15:05-15:55

Computer Laboratory Tech Talks

Optiver: Machine learning in trading: Let’s build a quantitative trading strategy

Food provided

Dennis Fleurbaaij.

FW26, Computer Laboratory.

Wednesday 22 January 2020, 13:00-14:00

Rainbow Group Seminars

Eye gaze controlled interface design for automotive, aviation and assistive products

Pradipta Biswas, Indian Institute of Science.

SS03 Meeting Room, Computer Laboratory.

Tuesday 21 January 2020, 14:15-15:00

Computer Laboratory Security Seminar

It's Damn Hard to Decentralise the Web

Gareth Tyson, School of Electronic Engineering and Computer Science, Queen Mary University of London.

LT2, Computer Laboratory, William Gates Building.

Tuesday 21 January 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Abstract Diagrammatic Reasoning with Multiplex Graph Networks

Duo Wang.

SS03, Computer Laboratory, William Gates Building.

Tuesday 21 January 2020, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Self-Programming Networks: Applications to Financial Trading Systems

Balaji Prabhakar (Stanford).

FW11, Computer Laboratory, William Gates Builiding.

Tuesday 21 January 2020, 13:00-14:00

Computer Laboratory Tech Talks

Diving into Decentralised communication with Matrix.org

Food provided

Matthew Hodgson, Project Lead.

FW26, Computer Laboratory.

Monday 20 January 2020, 13:00-14:00

NLIP Seminar Series

Can we optimise fashion ecommerce using NLG?

Note: earlier time of 11am

Rory Waite (Emotif.ai).

FW26, Computer Laboratory.

Friday 17 January 2020, 11:00-12:00

Computer Laboratory Systems Research Group Seminar

XOX Fabric: A hybrid approach to blockchain transaction execution

Christian Gorenflo (University of Waterloo).

FW26, Computer Laboratory, William Gates Building.

Thursday 16 January 2020, 15:00-16:00

Cambridge Algorithms talks

A Near-Optimal Adaptive Algorithm for Estimating Binary Mixtures of Unknown Coins

Jasper Lee (Brown University).

Computer Laboratory, Room FW09.

Thursday 16 January 2020, 11:00-12:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Geometrical Perspective on Deep Neural Networks

Stanislav Fort (Stanford University; formerly Google Research).

LT2, Computer Laboratory, William Gates Building.

Monday 13 January 2020, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Dynamic Compilation and Optimization of Software Network Functions

Sebastiano Miano(Politecnico di Torino).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 12 December 2019, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library

Dmitry Kazhdan.

SS03, Computer Laboratory, William Gates Building.

Tuesday 10 December 2019, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum things 3 - Resources and Co-resources

Anuj Dawar (University of Cambridge).

Computer Laboratory, Room FW26.

Friday 06 December 2019, 14:00-15:00

NLIP Seminar Series

Long Form Question Answering

Angela Fan (Facebook).

FW26, Computer Laboratory.

Friday 06 December 2019, 12:00-13:00

CL-CompBio

Social Dynamics and Game Theory on Networks – An Introductory Lecture

Alessandro Di Stefano.

Department of Computer Science and technology, SS03.

Friday 06 December 2019, 10:00-11:00

Computer Laboratory Systems Research Group Seminar

FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second

Srinivasan Keshav (Computer Lab).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 05 December 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Relaxed Dependencies in Weak Memory Concurrency

Marco Paviotti.

Computer Laboratory, Room FW11.

Thursday 05 December 2019, 14:00-15:00

Computer Laboratory NetOS Group Talklets

An Empirical Study of Lifelong Learning on Mobile Applications

Young D. Kwon, Hong Kong University of Science and Technology.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 03 December 2019, 13:15-13:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Work in progress: Diving deeper into building distributed representations graphs

Paul Scherer.

SS03, Computer Laboratory, William Gates Building.

Tuesday 03 December 2019, 13:00-14:00

Women@CL Events

Women@CL Talklet Event

Lunch provided

Emma Rocheteau and Michal Rozenwald.

Computer Laboratory, William Gates Building, Room FW11.

Friday 29 November 2019, 13:00-14:00

Rainbow Group Seminars

Context in Robots

Sinan Kalkan.

SS03 Meeting Room, Computer Laboratory.

Thursday 28 November 2019, 14:15-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

AI, Data Science & Mechanism Design in Sub-Saharan Africa

Daniel Mutembesa (Makerere University).

LT2, Computer Laboratory, William Gates Building.

Wednesday 27 November 2019, 13:00-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Model extraction for clinical decision support systems

Zohreh Shams.

SS03, Computer Laboratory, William Gates Building.

Tuesday 26 November 2019, 13:00-14:00

Computer Laboratory Tech Talks

Mathworks: MATLAB and NVIDIA Docker: A Complete AI Solution, Where You Need It, in an Instant

Food provided

Dr. Jos Martin, Senior Engineering Manager - Parallel Computing.

FW26, Computer Laboratory.

Monday 25 November 2019, 13:00-14:30

NLIP Seminar Series

Unsupervised cross-lingual representation learning

Room Change: LT1

Sebastian Ruder (DeepMind).

LT1, Computer Laboratory.

Friday 22 November 2019, 12:00-13:00

Women@CL Events

Urban Driving with Conditional Imitation Learning

Corina Gurau, Researcher, Wayve.

Computer Laboratory, William Gates Building, Room FW26.

Thursday 21 November 2019, 13:00-14:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Earphones: The Next Significant Platform after Smartphones

Romit Roy Choudhury (University of Illinois at Urbana Champaign).

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 November 2019, 15:05-15:55

Computer Laboratory Tech Talks

Roku: Engineering Smart TVs for fun and profit

Food provided

Tim Granger.

FW26, Computer Laboratory.

Wednesday 20 November 2019, 13:00-14:30

Computer Laboratory Security Seminar

Radio Protocol Vulnerabilities in 5G Networks

Ravishankar Borgaonkar, SINTEF Digital.

LT2, Computer Laboratory, William Gates Building.

Tuesday 19 November 2019, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Scavenger: A Black-Box Batch Workload Resource Manager for Improving Utilization in Cloud Environments

Seyyed Ahmad Javadi.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 19 November 2019, 13:15-13:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Finding an Analogy

Aaron Stockdill.

SS03, Computer Laboratory, William Gates Building.

Tuesday 19 November 2019, 12:00-13:00

NLIP Seminar Series

CANCELLED Probabilistic models of graphs for meaning representations

Extra talk: note unusual day and time

Adam Lopez (University of Edinburgh).

FW26, Computer Laboratory.

Tuesday 19 November 2019, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

Nadish de Silva (University of Cambridge).

SS03.

Friday 15 November 2019, 14:00-15:00

NLIP Seminar Series

Ethical considerations for responsible design

Room Change: LT1

Shauna Concannon (University of Cambridge).

LT1, Computer Laboratory.

Friday 15 November 2019, 12:00-13:00

Computer Laboratory Tech Talks

Recruitment Fair

Recruitment Fair.

The Street, Computer Laboratory.

Friday 15 November 2019, 11:30-16:00

Computer Laboratory Systems Research Group Seminar

Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet

Matthew Luckie(University of Waikato).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 14 November 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 1 - Monads, comonads, and resource-limited computation

Adam ó Conghaile (University of Cambridge).

MR9 Centre for Mathematical Sciences.

Thursday 14 November 2019, 14:15-15:15

Computer Laboratory Tech Talks

Recruitment Fair

Recruitment Fair.

The Street, Computer Laboratory.

Thursday 14 November 2019, 11:30-16:00

Computer Laboratory Wednesday Seminars

The Digital Architecture of Future Cities

Dr Ian Lewis - Director, Infrastructure Investment - Computer Laboratory.

Lecture Theatre 2, Computer Laboratory.

Wednesday 13 November 2019, 15:05-15:55

Computer Laboratory Tech Talks

Yelp: Datastore Architecture - Orchestrating Cassandra with Kubernetes: Challenges and Opportunities

Food Provided

Raghavendra D Prabhu.

FW26, Computer Laboratory.

Wednesday 13 November 2019, 13:00-14:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Matrix Means for Signed and Multilayer Graph Clustering

Pedro Mercado (University of Tübingen).

SS03, Computer Laboratory, William Gates Building.

Tuesday 12 November 2019, 13:00-14:00

Computer Laboratory Tech Talks

Netcraft: Credit card skimming for fun and profit

Food provided

Graham Edgecombe.

FW26, Computer Laboratory.

Monday 11 November 2019, 13:00-15:00

Computer Laboratory Security Seminar

Realistic Adversarial Machine Learning

Nicholas Carlini, Google Brain.

LT2, Computer Laboratory, William Gates Building.

Monday 11 November 2019, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Fast and Efficient Deployment of Security Defenses via Microcode Customization

Note unusual time and location

Prof Ashish Venkat, University of Virginia.

SS03, Computer Laboratory, William Gates Building.

Monday 11 November 2019, 09:30-10:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Rule extraction from deep neural nets

Urska Matjasec (University of Ljubljana).

FC22, Computer Laboratory, William Gates Building.

Friday 08 November 2019, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

Richard Eisenberg (Bryn Mawr College).

FW26.

Friday 08 November 2019, 13:00-14:00

Computer Laboratory Tech Talks

Cisco: How to break the Internet

Food Provided

Simon Chatterjee.

FW11, Computer Laboratory.

Friday 08 November 2019, 13:00-14:30

Computer Laboratory Systems Research Group Seminar

Do switches dream of machine learning?

Noa Zilberman (Computer Lab).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 07 November 2019, 15:00-16:00

Rainbow Group Seminars

DiCE: Dichoptic Contrast Enhancement for VR and Stereo Displays

Fangcheng Zhong (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 07 November 2019, 14:15-15:00

Computer Laboratory Wednesday Seminars

Deep learning on graphs and manifolds: going beyond Euclidean data

Professor Michael Bronstein (Imperial College / Twitter).

Lecture Theatre 2, Computer Laboratory.

Wednesday 06 November 2019, 15:05-15:55

Computer Laboratory Tech Talks

Building For Scale: How and Why Stripe Built Sorbet, a Type Checker for Ruby

Food provided

Aaron Broder.

FW26, Computer Laboratory.

Wednesday 06 November 2019, 13:00-14:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Machine Learning Systems Design

Prof Neil Lawrence.

LT2, Computer Laboratory, William Gates Building.

Tuesday 05 November 2019, 13:00-14:00

CL-CompBio

The Age of Predictive Medicine

Ben Reis.

Department of Computer Science and technology, Lecture Theatre 1.

Monday 04 November 2019, 14:00-15:00

NLIP Seminar Series

A Mutual Information Maximization Perspective of Language Representation Learning

Lingpeng Kong (DeepMind).

FW26, Computer Laboratory.

Friday 01 November 2019, 12:00-13:00

Rainbow Group Seminars

Perceptual redistribution of chroma information for improved HDR color representation

Maryam Azimi (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 31 October 2019, 14:15-15:00

Computer Laboratory Tech Talks

Google: The Life of a Software Engineer

Google.

FW26, Computer Laboratory.

Thursday 31 October 2019, 13:00-14:30

Computer Laboratory Wednesday Seminars

StructureNet: Hierarchical Graph Networks for 3D Shape Generation

Professor Niloy Mitra - Professor of Geometry Processing in the Department of Computer Science, University College London (UCL).

Lecture Theatre 2, Computer Laboratory.

Wednesday 30 October 2019, 15:05-15:55

Computer Laboratory Tech Talks

My Secure Bank - Morgan Stanley

Food provided

Morgan Stanley.

FW26, Computer Laboratory.

Wednesday 30 October 2019, 13:00-14:30

Computer Laboratory Security Seminar

Automatically Dismantling Online Dating Fraud

Matthew Edwards, Faculty of Engineering, University of Bristol.

LT2, Computer Laboratory, William Gates Building.

Tuesday 29 October 2019, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Question Answering in Realistic Visual Environments: Challenges and Approaches

Catalina Cangea.

SS03, Computer Laboratory, William Gates Building.

Tuesday 29 October 2019, 13:00-14:00

CL-CompBio

Quantum Computing: An Applied Approach

Jack Hidary, Alphabet's X.

Department of Computer Science and technology, Lecture Theatre 1.

Monday 28 October 2019, 14:00-15:00

Computer Laboratory Tech Talks

Palantir - Privacy and Civil Liberties (PCL) & Machine Learning

Food provided

John Grant, Lead of Palantir’s Privacy and Civil Liberties Team.

FW26, Computer Laboratory.

Monday 28 October 2019, 13:00-14:30

NLIP Seminar Series

Automatic Analysis of Affect and Personality Analysis in Multiperson Settings

Hatice Gunes (University of Cambridge).

FW26, Computer Laboratory.

Friday 25 October 2019, 12:00-13:00

Rainbow Group Seminars

Emotion-aware yet knowledge-driven computer systems. Recent work from the AfCAI group.

Prof. Grzegorz J. Nalepa (AGH University of Science and Technology).

SS03 Meeting Room, Computer Laboratory.

Thursday 24 October 2019, 13:15-14:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Neural networks to model probability densities in quantum chromodynamics

Zahari Kassabov (High Energy Physics group, Cavendish).

SS03, Computer Laboratory, William Gates Building.

Wednesday 23 October 2019, 14:30-15:30

Computer Laboratory Tech Talks

Read Less, Learn More: Extracting Key News Themes

Food provided

Joshua Bambrick, Bloomberg.

FW26, Computer Laboratory.

Tuesday 22 October 2019, 13:15-14:30

Artificial Intelligence Research Group Talks (Computer Laboratory)

Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping

Cristian Bodnar.

SS03, Computer Laboratory, William Gates Building.

Tuesday 22 October 2019, 13:00-14:00

Computer Laboratory Tech Talks

JPMorgan Technology Showcase

Food provided

JP Morgan.

FW26, Computer Laboratory.

Monday 21 October 2019, 13:00-15:00

NLIP Seminar Series

Multimodal natural language processing: when text is not enough

Lucia Specia (Imperial College London).

FW26, Computer Laboratory.

Friday 18 October 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Asynchrony, Ordering, and Protocols

Amit Chopra (Lancaster University).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 17 October 2019, 15:00-16:00

Computer Laboratory Tech Talks

Interactive workshop with Goldman Sachs

Food provided

Speaker to be confirmed.

FW26, Computer Laboratory.

Wednesday 16 October 2019, 13:05-15:00

Computer Laboratory Computer Architecture Group Meeting

The new clang constant interpreter

Nandor Licker (University of Cambridge).

GS15, Computer Laboratory.

Wednesday 16 October 2019, 11:00-12:00

Computer Laboratory Security Seminar

Reducing Metadata Leakage from Encrypted Files and Communication

Nikitin Kirill, Decentralized/Distributed Systems Lab, EPFL.

LT2, Computer Laboratory, William Gates Building.

Tuesday 15 October 2019, 14:00-15:00

Computer Laboratory Tech Talks

Accelerating Machine Learning on Arm

Food provided

: Isabella Gottardi, Software Engineer, ARM.

FW26, Computer Laboratory.

Tuesday 15 October 2019, 13:15-14:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Verifiable robustness of neural networks in autonomous vehicles.

Edward Ayers (Department of Mathematics).

SS03, Computer Laboratory, William Gates Building.

Tuesday 15 October 2019, 13:00-14:00

Computer Laboratory Tech Talks

Dealing with the 3 V's: Bigger, Faster, Weirder

Food provided. Please sign up online at www.gsacapital.com/careers so we can gauge numbers for catering.

Dr Joris Peeters, GSA Capital.

FW26, Computer Laboratory.

Monday 14 October 2019, 13:05-14:00

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

Jean-Louis Lassez.

FW26.

Friday 11 October 2019, 14:00-15:00

CL-CompBio

A Standard-Enabled Workflow for Synthetic Biology

Professor Chris J. Myers University of Utah.

Department of Computer Science and technology, Lecture Theatre 2.

Thursday 10 October 2019, 16:00-17:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Agricultural Robotics

Charles Fox (University of Lincoln).

Room SS03, Computer Laboratory, William Gates Building.

Monday 07 October 2019, 11:00-12:00

Computer Laboratory Digital Technology Group (DTG) Meetings

An Overview of C++20

Bjarne Stroustrup.

LT2, Computer Laboratory, William Gates Building.

Tuesday 01 October 2019, 11:05-11:55

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Amulet and Auracle: Wearable Platforms for mHealth Research

David Kotz (Dartmouth College).

Lecture Theatre 2, Computer Laboratory.

Monday 30 September 2019, 11:00-12:00

Computer Laboratory Systems Research Group Seminar

How to Partition Resources and Eliminate (Most) OS Abstractions for Fast I/O

Pekka Enberg (University of Helsinki).

FW26, Computer Laboratory, William Gates Building.

Monday 23 September 2019, 15:00-16:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A human-oriented term rewriting system

Ed Ayers (University of Cambridge).

FC22.

Monday 23 September 2019, 13:00-14:00

NLIP Seminar Series

‘Profit factory’ and ‘bathroom break’: How to analyse compounds and how to predict their emergence

Lonneke van der Plas (University of Malta).

FW26, Computer Laboratory.

Wednesday 18 September 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Context-Based Zero-Interaction Authentication

Neil Klingensmith (Loyola University Chicago).

FW26, Computer Laboratory, William Gates Building.

Thursday 12 September 2019, 15:00-16:00

Computer Laboratory Security Seminar

An analysis of the threats of the consumer spyware industry

Diarmaid Harkin, Alfred Deakin Institute, Deakin University.

LT2, Computer Laboratory, William Gates Building.

Thursday 12 September 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Local reasoning for robust observational equivalence

Koko Muroya.

FW26.

Thursday 12 September 2019, 13:45-14:45

Computer Laboratory Systems Research Group Seminar

Clustering insomnia pattern and learning sleep quality from daily logs

Shaun Park (KAIST).

FW26, Computer Laboratory, William Gates Building.

Thursday 05 September 2019, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Context and Behaviour Modelling of User and Urban Activities

Flora Salim (RMIT University).

Lecture Theatre 2, Computer Laboratory.

Wednesday 28 August 2019, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

The new USB4 standard

Mark Hayter (Google).

FW26, Computer Laboratory, William Gates Building.

Thursday 08 August 2019, 15:00-16:00

Computer Laboratory Security Seminar

Deploying Differential Privacy for the 2020 Census of Population and Housing

Simson L. Garfinkel, Senior Computer Scientist for Confidentiality and Data Access, U.S. Census Bureau.

LT2, Computer Laboratory, William Gates Building.

Tuesday 23 July 2019, 14:00-15:00

NLIP Seminar Series

Natural Language Generation in the Wild

Daniel Beck, University of Melbourne.

FW26, Computer Laboratory.

Friday 05 July 2019, 12:00-13:00

Rainbow Group Seminars

Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human-Robot Interaction

Alex Yuan Gao.

FW26 Meeting Room, Computer Laboratory.

Thursday 04 July 2019, 14:15-15:00

Theory of Living Matter Group

Quantitative Approaches to Single Cell Epigenetics: Theory and Experiments

Professor Wolf Reik (Babraham Institute) and Dr. Steffen Rulands (Max Planck Institute for the Physics of Complex Systems).

Sainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

Tuesday 02 July 2019, 18:00-20:00

Rainbow Group Seminars

Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human-Robot Interaction

Speaker to be confirmed.

SS03 Meeting Room, Computer Laboratory.

Monday 01 July 2019, 14:15-15:00

Rainbow Group Seminars

Fast Adaptation with Meta-Reinforcement Learning for Trust Modelling in Human-Robot Interaction

Speaker to be confirmed.

SS03 Meeting Room, Computer Laboratory.

Monday 01 July 2019, 14:15-15:00

NLIP Seminar Series

Duolingo: Improving Language Learning and Assessment with A.I.

Burr Settles, Duolingo.

FW26, Computer Laboratory.

Wednesday 19 June 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance

Jean-Baptiste Jeannin, University of Michigan.

FW26.

Monday 17 June 2019, 14:00-15:00

NLIP Seminar Series

An Operation Sequence Model for Explainable Neural Machine Translation

Felix Stahlberg, CUED, University of Cambridge.

FW26, Computer Laboratory.

Friday 14 June 2019, 12:00-13:00

Rainbow Group Seminars

Cuscus: An End User Programming Tool for Data Visualisation

Mariana Marasoiu (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 13 June 2019, 14:15-15:00

Computer Laboratory Wednesday Seminars

Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks

Professor Ivan Martinovic - Computer Science Department, University of Oxford.

Lecture Theatre 2, Computer Laboratory.

Wednesday 12 June 2019, 16:15-17:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks

Ivan Martinovic (University of Oxford).

Lecture Theatre 2, Computer Laboratory.

Wednesday 12 June 2019, 16:15-17:00

Rainbow Group Seminars

I can see what you think: The mental image revealed by gaze tracking

Xi Wang, Technsiche Universität Berlin.

SS03 Meeting Room, Computer Laboratory.

Monday 10 June 2019, 11:00-12:00

NLIP Seminar Series

Continuous feature structures: Can we learn structured representations with neural networks?

Guy Emerson, NLIP, University of Cambridge.

FW26, Computer Laboratory.

Friday 07 June 2019, 12:00-13:00

Rainbow Group Seminars

Where Ideas Take Shapes

Yann Savoye, Robert Gordon University.

SS03 Meeting Room, Computer Laboratory.

Thursday 06 June 2019, 14:15-15:00

NLIP Seminar Series

Towards secure and efficient DNNs

Aaron Zhao, University of Cambridge.

FW26, Computer Laboratory.

Friday 31 May 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Test Automation and Debug hardware for Chromebooks

Mark Hayter (Google).

FW26, Computer Laboratory, William Gates Building.

Thursday 30 May 2019, 15:00-16:00

Rainbow Group Seminars

How can AI be used for Social Good? Lessons from Africa’s Voices Foundation

Luke Church (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 30 May 2019, 14:15-15:00

Computer Laboratory Wednesday Seminars

The Principle of Least Cognitive Action

Professor Marco Gori.

Lecture Theatre 2, Computer Laboratory.

Wednesday 29 May 2019, 16:15-17:00

Computer Laboratory NetOS Group Talklets

Dynamic Compilation and Optimization of Software Network Functions

Sebastiano Miano (University of Turin).

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 28 May 2019, 13:15-13:45

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

Vikraman Choudhury, Indiana University / Cambridge.

FW26.

Friday 24 May 2019, 14:00-15:00

NLIP Seminar Series

Mitigating Gender Bias in Morphologically Rich Languages

Ryan Cotterell, NLIP, University of Cambridge.

FW26, Computer Laboratory.

Friday 24 May 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Local-first software: Returning data ownership to users

Martin Kleppman (Computer Lab).

FW26, Computer Laboratory, William Gates Building.

Thursday 23 May 2019, 15:00-16:00

Rainbow Group Seminars

Light field acquisition and spatio-angular tradeoff

Zeshan Alam (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 23 May 2019, 14:15-15:00

The Wheeler Lectures in Computer Science

Combining Formal Methods and Machine Learning

Professor Jane Hillston, University of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 May 2019, 15:15-18:00

Computer Laboratory NetOS Group Talklets

Governance by blockchain

Anwaar Ali (University of Cambridge).

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 21 May 2019, 13:15-13:45

Rainbow Group Seminars

Frontier Thinking: Designing Next Generation User Experiences

Ben Shneiderman, University of Maryland.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 20 May 2019, 16:00-17:00

Women@CL Events

Women@CL Talklet Event

Maria Bada, Andreea-Ioana Deac .

Computer Laboratory, William Gates Building, Room FW11.

Friday 17 May 2019, 13:00-14:00

NLIP Seminar Series

AI Extenders: The Ethical and Societal Implications of Humans Cognitively Extended by AI

Karina Vold & José Hernández-Orallo, Leverhulme Centre for the Future of Intelligence, University of Cambridge.

FW26, Computer Laboratory.

Friday 17 May 2019, 12:00-13:00

Rainbow Group Seminars

Enhanced Reality Human Machine Interfaces

Ozgur Yontem (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 16 May 2019, 16:15-17:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The Smart Hospital Living Lab

Vassilis Kostakos (University of Melbourne).

Lecture Theatre 2, Computer Laboratory.

Thursday 16 May 2019, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Crostini - Architecture for running Linux VMs seamlessly and securely on Chrome OS

Zach Reizner (Google).

FW26, Computer Laboratory, William Gates Building.

Wednesday 15 May 2019, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Hardness magnification near state-of-the-art lower bounds

Jan Pich, Oxford.

FW26.

Friday 10 May 2019, 14:00-15:00

NLIP Seminar Series

Factorising AMR generation through syntax

Kris Cao, DeepMind.

FW26, Computer Laboratory.

Friday 10 May 2019, 12:00-13:00

Rainbow Group Seminars

Behavioural analysis and modelling in HCI/HRI

Indu Bodala (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Thursday 09 May 2019, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

Magnus Madsen, Aarhus University.

FW26.

Thursday 09 May 2019, 13:45-14:45

Computer Laboratory Security Seminar

rust-vmm: Building the Virtualization Stack of the Future

Andreea Florescu, Amazon.

LT2, Computer Laboratory, William Gates Building.

Tuesday 07 May 2019, 15:00-16:00

Computer Laboratory Security Seminar

Firecracker microVMs - How to Securely Run Thousands of Workloads on a Single Host

Diana Popa, Amazon.

LT2, Computer Laboratory, William Gates Building.

Tuesday 07 May 2019, 14:00-15:00

NLIP Seminar Series

Languages* in Formal Reasoning: Accessibility vs. Formality

Zohreh Shams, AI Group, University of Cambridge.

FW26, Computer Laboratory.

Friday 03 May 2019, 12:00-13:00

Theory of Living Matter Group

Visualising Genome Folding Dynamics in Mammalian Cells - Theory and Experiments

Dr. Rosana Collepardo (University of Cambridge) & Dr. Srinjan Basu (University of Cambridge).

Panton Arms, 43 Panton St, Cambridge CB2 1HL.

Thursday 02 May 2019, 18:00-20:00

Women@CL Events

Incentives and how to design them

Sofia Ceppi, Senior Researcher, Prowler.

Computer Laboratory, William Gates Building, Room FW26.

Thursday 02 May 2019, 13:00-14:00

Computer Laboratory Wednesday Seminars

How to design a programming language

Professor Alan Blackwell.

Lecture Theatre 2, Computer Laboratory.

Wednesday 01 May 2019, 16:15-17:00

Computer Laboratory Security Seminar

A Promise Is A Promise: The Effect Of Commitment Devices On Computer Security Intentions

Alisa Frik, International Computer Science Institute (ICSI), University of California Berkeley.

LT1, Computer Laboratory, William Gates Building.

Tuesday 30 April 2019, 14:00-15:00

Computer Laboratory NetOS Group Talklets

IPSN/ IoTDI trip report

Poonam Yadav.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 30 April 2019, 13:15-13:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Interpretable Deep Learning

Botty Dimanov.

FC22.

Tuesday 30 April 2019, 13:00-14:00

Computer Laboratory Tech Talks

Disruptive Innovation at Ocado

Food provided

Dr David Sharp, Head of Ocado Technology 10x.

FW26, Computer Laboratory.

Monday 29 April 2019, 13:15-14:15

NLIP Seminar Series

Word Sense Disambiguation and Other Systems in Japanese

Kanako Komiya, Ibaraki University, Japan.

FW26, Computer Laboratory.

Friday 26 April 2019, 12:00-13:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

A Decade of Ubiquitous Computing Research in Mental Health

Jakob Bardram (DTU).

Lecture Theatre 2, Computer Laboratory.

Thursday 25 April 2019, 15:00-16:00

Computer Laboratory Wednesday Seminars

Hand Tracking on HoloLens 2

Dr Erroll Wood.

Lecture Theatre 2, Computer Laboratory.

Wednesday 24 April 2019, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

Vilem Liepelt, University of Kent.

FW26.

Thursday 18 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

Joshua Dunfield, Queen’s University, Canada.

FW26.

Wednesday 17 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Push versus Pull-Based Loop Fusion in Query Engines

Amir Shaikhha, Oxford.

FW26.

Friday 12 April 2019, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

IPv6 over LPWAN: when 6LoWPAN is too heavy for (long range) IoT links!

Carles Gomez (UPC).

FW26, Computer Laboratory, William Gates Building.

Thursday 11 April 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Stacked Borrows: An Aliasing Model for Rust

Ralf Jung, MPI-SWS.

FW26.

Tuesday 02 April 2019, 14:00-15:00

Computer Laboratory Security Group meeting presentations

Issues with using CVEs, CWE classification, and associated resources to perform system security evaluations

Brett Gutstein.

Computer Laboratory, William Gates Building, Room FW11.

Friday 22 March 2019, 16:00-16:30

Computer Laboratory Systems Research Group Seminar

The Case For In-Network Computing On Demand

Noa Zilberman (Computer Lab).

FW26, Computer Laboratory, William Gates Building.

Friday 22 March 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

Ben Simner, Computer Laboratory.

FW26.

Friday 22 March 2019, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Network Science and Telecommunications

Piet Van Mieghem (TU Delft).

FW26, Computer Laboratory, William Gates Building.

Thursday 21 March 2019, 15:00-16:00

Computer Laboratory Security Seminar

Securing Systems with Insecure Hardware

Kaveh Razavi, Systems and Network Security Group, Vrije Universiteit Amsterdam.

LT2, Computer Laboratory, William Gates Building.

Thursday 21 March 2019, 14:00-15:00

Computer Laboratory Wednesday Seminars

Representation Learning on Graphs

Jure Leskovec - Associate Professor of Computer Science at Stanford University, Chief Scientist at Pinterest, and investigator at Chan Zuckerberg Biohub.

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 March 2019, 16:15-17:00

Computer Laboratory Systems Research Group Seminar

Debugging and Repairing P4 Programs

Costin Raiciu (University Politehnica of Bucharest).

FW26, Computer Laboratory, William Gates Building.

Wednesday 20 March 2019, 15:00-16:00

Computer Laboratory NetOS Group Talklets

Mobile Systems group research

Cecilia Mascolo (University of Cambridge).

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 19 March 2019, 13:15-13:45

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

Dominique Devriese, Vrije Universiteit Brussel.

FW26.

Monday 18 March 2019, 14:30-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear capabilities for fully abstract compilation of separation-logic-verified code

Thomas Van Strydonck, KU Leuven.

FW26.

Monday 18 March 2019, 11:45-12:15

Logic and Semantics Seminar (Computer Laboratory)

StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

Lau Skorstengaard, Aarhus University.

FW26.

Monday 18 March 2019, 11:15-11:45

Computer Laboratory Systems Research Group Seminar

LinuxKit: new ways of using Linux

Justin Cormack (Docker).

FW26, Computer Laboratory, William Gates Building.

Thursday 14 March 2019, 15:00-16:00

Rainbow Group Seminars

Temporal Resolution Multiplexing: Exploiting the limitations of spatio-temporal vision for more efficient VR rendering (conference practice talk)

Gyorgy Denes (University of Cambridge).

SS03 Meeting Room, Computer Laboratory.

Wednesday 13 March 2019, 15:30-16:00

Rainbow Group Seminars

Untangling Interactive Systems

Philip Tchernavskij, Université Paris-Saclay.

SS03 Meeting Room, Computer Laboratory.

Tuesday 12 March 2019, 14:15-15:00

Computer Laboratory Security Seminar

“Doing more” to keep children safe online – why the tech sector can only do so much

Andy Phippen, University of Plymouth.

LT2, Computer Laboratory, William Gates Building.

Tuesday 12 March 2019, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Snape: The Dark Art of Handling Heterogeneous Enclaves

Zahra Tarkhani.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 12 March 2019, 13:15-13:45

NLIP Seminar Series

K.A.T.E.: Scaling personalised tech education for professionals

Raoul-Gabriel Urma, Kevin Lemagnen, Sahan Bulathwela, Cambridge Spark.

FW26, Computer Laboratory.

Friday 08 March 2019, 12:00-13:00

Theory of Living Matter Group

Natural Cooperation

Professor Martin Nowak (Harvard University).

Sainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

Wednesday 06 March 2019, 18:00-20:00

NLIP Seminar Series

Learning multi-domain dialogues

Paweł Budzianowski, CUED, University of Cambridge.

FW26, Computer Laboratory.

Friday 01 March 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

A Framework for Data Collection and Management for IoT

Maribel Fernandez (KCL).

FW26, Computer Laboratory, William Gates Building.

Thursday 28 February 2019, 15:00-16:00

Computer Laboratory Wednesday Seminars

DevOps and Cloud Native development in the University of Cambridge

Dr Abraham Martin - Head of DevOps, University of Cambridge Information Services .

Lecture Theatre 2, Computer Laboratory.

Wednesday 27 February 2019, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

A domain theory for statistical probabilistic programming

Ohad Kammar, Edinburgh.

FW26.

Friday 22 February 2019, 15:00-16:00

NLIP Seminar Series

Large-scale analyses of language variation and change in social media

Dong Nguyen, University of Edinburgh & Alan Turing Institute.

FW26, Computer Laboratory.

Friday 22 February 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.

Thomas Ploetz (Georgia Tech).

LT2, Computer Laboratory, William Gates Building.

Thursday 21 February 2019, 15:00-16:00

Computer Laboratory Tech Talks

Machine Learning for the benefit of Engineering

Food provided

Dr Stephan Waldert, Arm.

FW11, Computer Laboratory.

Thursday 21 February 2019, 13:15-14:15

Computer Laboratory Wednesday Seminars

Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Dr Paolo Zuliani - School of Computing, Newcastle University.

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 February 2019, 16:15-17:00

Computer Laboratory Security Seminar

Thunderclap: Exploring Vulnerabilities Operating System IOMMU Protection via DMA from Untrustworthy Peripherals

Theo Markettos, Computer Laboratory, University of Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 19 February 2019, 14:00-14:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Dilated DenseNets for Relational Reasoning

Agnieszka Slowik (University of Cambridge).

Venue to be confirmed.

Tuesday 19 February 2019, 13:00-14:00

Women@CL Events

Women@CL Talklet Event

Krittika D'Sliva, Xiao Zhou, Sian Gooding.

Computer Laboratory, William Gates Building, Room FW11.

Friday 15 February 2019, 13:00-14:00

NLIP Seminar Series

Understanding Source Code using Natural Language and Graph Neural Networks

Miltos Allamanis, Microsoft Research.

FW26, Computer Laboratory.

Friday 15 February 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Open Source Quantum Computing

Mathew Treinish (IBM).

FW11, Computer Laboratory, William Gates Building.

Thursday 14 February 2019, 16:00-17:00

Computer Laboratory Wednesday Seminars

Make Switches Simple Again!

Dr Noa Zilberman.

Lecture Theatre 2, Computer Laboratory.

Wednesday 13 February 2019, 16:15-17:00

Computer Laboratory Systems Research Group Seminar

Performance Contracts for Software Network Functions

Rishabh Iyer (EPFL).

FW26, Computer Laboratory, William Gates Building.

Tuesday 12 February 2019, 16:00-17:00

NLIP Seminar Series

Learning to navigate without a map (but with instructions)

Piotr Mirowski, DeepMind.

FW26, Computer Laboratory.

Friday 08 February 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Accountable Systems and Google Maps

Ben Wagner (Vienna University).

FW26, Computer Laboratory, William Gates Building.

Thursday 07 February 2019, 15:00-16:00

Computer Laboratory Wednesday Seminars

Perpetual Computing: Technologies for Banishing Batteries

Joshua R. Smith - Zeutschel Professor, Allen School of Computer Science and Engineering, University of Washington.

Lecture Theatre 2, Computer Laboratory.

Wednesday 06 February 2019, 16:15-17:00

Computer Laboratory Tech Talks

Security Engineering @ nCipher

Food provided

Pali Surdhar, nCipher.

FW26, Computer Laboratory.

Wednesday 06 February 2019, 13:15-14:15

Artificial Intelligence Research Group Talks (Computer Laboratory)

Quick intro to building and analysing distributed representation of graphs

Paul Scherer.

Venue to be confirmed.

Tuesday 05 February 2019, 13:00-14:00

Computer Laboratory Tech Talks

Digital Technology & Personalised Medicine

Food provided

Louis Swain and Oliver Abbey, TPP.

FW26, Computer Laboratory.

Monday 04 February 2019, 13:15-14:15

NLIP Seminar Series

Topic-Aware Convolutional Neural Networks for Extreme Summarization

Shashi Narayan, University of Edinburgh / Google.

FW26, Computer Laboratory.

Friday 01 February 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Replace your exploit-ridden firmware with a Linux Kernel

Ron Minnich (Google).

FW11, Computer Laboratory, William Gates Building.

Thursday 31 January 2019, 15:00-16:00

Computer Laboratory Wednesday Seminars

The Magic of Machine Learning and Classifier ensembles

Ludmila Kuncheva,Bangor University.

Lecture Theatre 2, Computer Laboratory.

Wednesday 30 January 2019, 16:15-17:00

Computer Laboratory Security Seminar

Keeping authorities honest with verifiable append-only logs, and making backdoored software updates detectable

Mustafa Al Bassam, Department of Computer Science, University College London (UCL).

LT2, Computer Laboratory, William Gates Building.

Tuesday 29 January 2019, 14:00-15:00

Computer Laboratory Tech Talks

IMC Tech Talk

Food provided

Pierre Bashshour, Lex van der Stoep & Henry Mattinson, IMC.

FW26, Computer Laboratory.

Monday 28 January 2019, 13:15-14:15

NLIP Seminar Series

**CANCELLED** Probabilistic Typology: Deep Generative Models of Vowel Inventories

Ryan Cotterell, NLIP, University of Cambridge.

FW26, Computer Laboratory.

Friday 25 January 2019, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

From Unikernels to Nabla Containers

Daniel Williams (IBM).

FW26, Computer Laboratory, William Gates Building.

Thursday 24 January 2019, 15:00-16:00

Computer Laboratory Wednesday Seminars

Imitation learning for structured prediction

Dr Andreas Vlachos.

Lecture Theatre 2, Computer Laboratory.

Wednesday 23 January 2019, 16:15-17:00

Computer Laboratory Security Seminar

Evil on the Internet

Richard Clayton, Computer Laboratory, University of Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 22 January 2019, 14:00-16:00

Computer Laboratory Tech Talks

Designing Electronics for low-latency Trading Systems

Food provided

Robin Bruce, current Head of the Infrastructure & Data team and former FPGA Systems Tech Lead, Optiver .

FW26, Computer Laboratory.

Monday 21 January 2019, 13:15-14:15

NLIP Seminar Series

What makes psychotherapy work? Using deep learning to quantify the relationship between therapy content and outcomes

Ronan Cummins & Michael Ewbank, Ieso Digital Health.

FW26, Computer Laboratory.

Friday 18 January 2019, 12:00-13:00

Women@CL Events

Machine Arguing: From Data and Rules to Argumentation Frameworks

Francesca Toni, Professor in Computational Logic in the Department of Computing, Imperial College London, UK.

Computer Laboratory, William Gates Building, Room FW26.

Thursday 17 January 2019, 13:00-14:00

Theory of Living Matter Group

Controlling an active nematic fluid with curvature and topology

Dan Pearce (University of Geneva, Switzerland).

Bryan Matthews Room, Physiology Building, Department of Physiology, Development and Neuroscience, Downing Site.

Wednesday 16 January 2019, 14:00-15:00

Computer Laboratory Security Seminar

Trustworthy and Accountable Function-as-a-Service using Intel SGX

Andrew Paverd, Microsoft Research Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 15 January 2019, 14:00-15:00

Computer Laboratory NetOS Group Talklets

In-Network Computing

Noa Zilberman.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 15 January 2019, 13:15-13:45

CL-CompBio

Towards a novel multi-scale integration of social dynamics and metabolic issues through evolutionary game theory on multiplex networks

Alessandro Di Stefano, Dipartimento di Ingegneria Elettrica, Elettronica e Informatica (DIEEI) University of Catania.

Department of Computer Science and technology, sw01 .

Thursday 13 December 2018, 17:00-18:00

Computer Laboratory Systems Research Group Seminar

Dr Spin, or the Tao of Threes

Jon Crowcroft (Computer Lab).

SS03, Computer Laboratory, William Gates Building.

Thursday 13 December 2018, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

The nitty gritty of doing a PhD

Jon Crowcroft (Computer Lab).

FW26, Computer Laboratory, William Gates Building.

Thursday 06 December 2018, 15:00-16:00

Computer Laboratory Security Seminar

Function-Based Access Control

Yvo G. Desmedt, Department of Computer Science, University of Texas at Dallas.

FW11, Computer Laboratory, William Gates Building.

Tuesday 04 December 2018, 16:00-17:00

Computer Laboratory NetOS Group Talklets

Cambridge Digital Communications Model: Live software demonstration

Edward Oughton (Oxford).

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 04 December 2018, 13:15-13:45

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

Jonathan Protzenko, MSR Redmond.

FW26.

Friday 30 November 2018, 14:00-15:00

NLIP Seminar Series

Graph Neural Networks for Knowledge Base Question Answering

Room changed

Daniil Sorokin, Technische Universität Darmstadt.

FW11, Computer Laboratory.

Friday 30 November 2018, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Cross-modality Inference in Ubiquitous Human Identification

Chris Lu (Oxford).

SS03, Computer Laboratory, William Gates Building.

Thursday 29 November 2018, 15:00-16:00

Computer Laboratory Wednesday Seminars

From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies

Dr Li Su - Alzheimer’s Research UK Senior Research Fellow.

Lecture Theatre 2, Computer Laboratory.

Wednesday 28 November 2018, 16:15-17:00

Computer Laboratory Security Seminar

The ideal versus the real: A brief history of secure isolation in virtual machines and containers

Allison Randal, Computer Laboratory, University of Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 27 November 2018, 14:00-15:00

Computer Laboratory NetOS Group Talklets

CHERI: a step change in security at the hardware/software interface

Simon Moore (University of Cambridge).

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 27 November 2018, 13:15-13:45

Logic and Semantics Seminar (Computer Laboratory)

Verifying Concurrent Search Structure Templates

Siddharth Krishna, NYU.

SS03.

Monday 26 November 2018, 15:00-16:00

Computer Laboratory Tech Talks

What can the Rust Programming Language do for Embedded Systems development?

Jonathan Pallant, Cambridge Consultants.

FW26, Computer Laboratory.

Monday 26 November 2018, 13:30-14:30

Women@CL Events

Women@CL Talklet Event

Mohibi, Mahwish Arif, Aida Miralaei.

Computer Laboratory, William Gates Building, Room FW11.

Friday 23 November 2018, 13:00-14:00

CL-CompBio

Adversarial generation of gene expression data

Ramon Vinas Torne, UCL.

Department of Computer Science and technology, sw01 .

Thursday 22 November 2018, 17:00-18:00

Computer Laboratory Systems Research Group Seminar

Chromebooks, USB-C and Google PI/SI Research

Mark Hayter (Google).

FW26, Computer Laboratory, William Gates Building.

Thursday 22 November 2018, 15:00-16:00

Computer Laboratory Wednesday Seminars

Computational Imaging for Realistic Appearance Modelling

Abhijeet Ghosh, Imperial College London.

Lecture Theatre 2, Computer Laboratory.

Wednesday 21 November 2018, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

Bartek Klin, Warsaw University.

FW26.

Tuesday 20 November 2018, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Bounding data races in space and time

Stephen Dolan.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 20 November 2018, 13:15-13:45

Computer Laboratory Tech Talks

How search uses Machine Learning

Food provided

Fabrizio Silvestri, Facebook.

FW26, Computer Laboratory.

Monday 19 November 2018, 13:05-14:30

Logic and Semantics Seminar (Computer Laboratory)

Lower bound for arithmetic circuits via Hankel matrix

Pierre Ohlmann, IRIF, Université Paris 7.

SS03.

Friday 16 November 2018, 14:15-15:15

NLIP Seminar Series

The Ethics of Artificially Intelligent Communications Technology

Room changed

Marcus Tomalin, CUED, University of Cambridge.

FW11, Computer Laboratory.

Friday 16 November 2018, 12:00-13:00

Computer Laboratory Tech Talks

Computer Laboratory Recruitment Fair

Speaker to be confirmed.

The Street, Computer Laboratory.

Friday 16 November 2018, 11:30-16:00

Computer Laboratory Tech Talks

Computer Laboratory Recruitment Fair

Speaker to be confirmed.

The Street, Computer Laboratory.

Thursday 15 November 2018, 11:30-16:00

Computer Laboratory Wednesday Seminars

Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems

Professor Steve Benford, Mixed Reality Laboratory, School of Computer Science, The University of Nottingham.

Lecture Theatre 2, Computer Laboratory.

Wednesday 14 November 2018, 16:15-17:00

Computer Laboratory Tech Talks

Embracing the Volatility of AWS Spot Fleet

Food provided

Matthew Mead-Briggs, Yelp.

FW26, Computer Laboratory.

Wednesday 14 November 2018, 13:05-14:30

Computer Laboratory Security Seminar

Displacing big data: How cybercriminals cheat the system

Alice Hutchings, Computer Laboratory, University of Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 13 November 2018, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Rust for Systems Development

Marco Caballero Gutierrez.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 13 November 2018, 13:15-13:45

Computer Laboratory Security Group meeting presentations

Bribery, cryptocurrencies and smart contracts

Joseph Bonneau, New York University.

Computer Laboratory, William Gates Building, Room FW11.

Friday 09 November 2018, 16:00-16:30

Computer Laboratory Tech Talks

How to Break the Internet

Food and drinks provided

Simon Chatterjee, Ensoft Ltd .

FW11, Computer Laboratory.

Friday 09 November 2018, 13:05-14:05

NLIP Seminar Series

Knowledge Representation and Extraction at Scale

Christos Christodoulopoulos, Amazon.

FW26, Computer Laboratory.

Friday 09 November 2018, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

The Elusive Internet Flatening: 10 Years of IXP Growth

Ignacio Castro (Queen Mary).

FW26, Computer Laboratory, William Gates Building.

Thursday 08 November 2018, 15:00-16:00

Computer Laboratory Wednesday Seminars

Scalable Intelligent Systems by 2025

Carl Hewitt - Emeritus Professor at MIT.

Lecture Theatre 2, Computer Laboratory.

Wednesday 07 November 2018, 16:15-17:00

Computer Laboratory Tech Talks

The King ecosystem beyond games; a deep dive into solutions that scale

Food provided

Richard Palmer, Principal Engineer, King.

FW26, Computer Laboratory.

Wednesday 07 November 2018, 13:05-14:30

Computer Laboratory Security Seminar

You think you're not a target? A tale of three developers

Chris Lamb, Debian Project Leader.

FW26, Computer Laboratory, William Gates Building.

Tuesday 06 November 2018, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Q&A session

Chris Lamb, Debian Project Leader.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 06 November 2018, 13:15-13:45

Computer Laboratory Tech Talks

Declarative Software Design in Python

Lunch provided

Elmer Landaverde, Bloomberg Team Leader of Engineering Core Workflows .

FW26, Computer Laboratory.

Monday 05 November 2018, 13:05-14:05

Computer Laboratory Tech Talks

Goldman Sachs: Banking with Bots – Machine Learning and Natural Language Processing

Food provided

Niccolo Lamanna, Goldman Sachs.

FW11, Computer Laboratory.

Friday 02 November 2018, 13:05-14:30

Computer Laboratory Wednesday Seminars

Stylus input and the benefits of a standard

Mark Hayter - Sr Engineering Director in the Chrome OS Hardware team at Google, and is currently a visitor from industry with the Computer Architecture team in the Computer Lab .

Lecture Theatre 2, Computer Laboratory.

Wednesday 31 October 2018, 16:15-17:00

Computer Laboratory Tech Talks

Transforming Retail with Machine Learning

Food provided

Martin Gee, Principal Head of Software Engineering, Argos.

FW26, Computer Laboratory.

Wednesday 31 October 2018, 13:05-14:30

Computer Laboratory Security Seminar

The Guardian Council: Using many-core architectures to support programmable hardware security

Sam Ainsworth, Computer Laboratory, University of Cambridge.

LT2, Computer Laboratory, William Gates Building.

Tuesday 30 October 2018, 14:00-15:00

Computer Laboratory Tech Talks

Creating a Real Time data & ML pipeline for Smart Cities, Mobility & Infrastructure

Lunch provided

Pankaj Daga, Alchera Technologies.

FW26, Computer Laboratory.

Tuesday 30 October 2018, 13:15-14:15

Computer Laboratory Tech Talks

Preparing for a life that’s not just code

Food provided

Samantha Strauss and Grace Rowley, RealVNC.

FW11, Computer Laboratory.

Friday 26 October 2018, 13:05-14:05

NLIP Seminar Series

Deep learning for automatically assessing the pronunciation of non-native English speakers

Kostas Kyriakopoulos, CUED, University of Cambridge.

FW26, Computer Laboratory.

Friday 26 October 2018, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Privacy Trading in the Apps and IoT Age: Markets and Computation

Ranjan Pal (USC).

FW26, Computer Laboratory, William Gates Building.

Thursday 25 October 2018, 15:00-16:00

Computer Laboratory NetOS Group Talklets

The tao of conference organisation

Jon Crowcroft.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 23 October 2018, 13:15-13:45

Computer Laboratory Tech Talks

How to Build an Exchange

Food provided

Gabor Szarka, JaneStreet.

FW26, Computer Laboratory.

Tuesday 23 October 2018, 13:15-14:30

Computer Laboratory Tech Talks

Systemic Design (or Building Toys) in Games

Food provided

George Prosser and James Callin, Studio Gobo.

FW26, Computer Laboratory.

Monday 22 October 2018, 13:05-14:30

NLIP Seminar Series

Learning, Representing, and Understanding Language

Aida Nematzadeh, DeepMind.

FW26, Computer Laboratory.

Friday 19 October 2018, 12:00-13:00

Theory of Living Matter Group

Dynamics of Spinal Cord Development - Theory & Experiments

James Briscoe (Francis Crick Institute) & Karen Page (University College London).

Sainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

Thursday 18 October 2018, 18:00-20:00

Computer Laboratory Wednesday Seminars

A journey into interdisciplinary research

Derek McAuley - Professor of Digital Economy, University of Nottingham.

Lecture Theatre 2, Computer Laboratory.

Wednesday 17 October 2018, 16:15-17:00

Computer Laboratory Tech Talks

5G & ARTIFICIAL INTELLIGENCE - THE PERFECT MATCH ?

Food provided

Dr Cyril Valadon, MediaTek.

FW26, Computer Laboratory.

Wednesday 17 October 2018, 13:05-14:30

Computer Laboratory Tech Talks

JP Morgan Technology Showcase

Food provided

JP Morgan technologists.

FW26, Computer Laboratory.

Tuesday 16 October 2018, 15:00-17:00

Computer Laboratory NetOS Group Talklets

Resolving Consensus

Chris Jensen, Daniel Sääw.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 16 October 2018, 13:05-13:35

Computer Laboratory Tech Talks

All Things Data

Food provided

Joris Peeters, GSA Capital.

FW26, Computer Laboratory.

Monday 15 October 2018, 13:05-14:15

Computer Laboratory Tech Talks

HackerRank workshop

Lunch provided

Alistair McMaster and Jing Wu, Goldman Sachs.

FW11, Computer Laboratory.

Friday 12 October 2018, 13:05-14:30

NLIP Seminar Series

Some lessons learned in Multimodal Representations and Transfer

Pranava Madhyastha, Imperial College London.

FW26, Computer Laboratory.

Friday 12 October 2018, 12:00-13:00

Computer Laboratory Tech Talks

Bloomberg Lab Hangout & Cup Cake Challenge

Speaker to be confirmed.

Student Hangout area, 1st Floor, Computer Laboratory.

Friday 12 October 2018, 10:00-16:00

Computer Laboratory Systems Research Group Seminar

Using large-scale simulation for the national assessment of Fibre-To-The-Premises and 5G deployment

Edward Oughton (Oxford).

FW26, Computer Laboratory, William Gates Building.

Thursday 11 October 2018, 15:00-16:00

Computer Laboratory Wednesday Seminars

Machine learning for medicine: Predicting, pre-empting and treating disease

Professor Mihaela van der Schaar - John Humphrey Plummer Professor, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 10 October 2018, 16:15-17:00

Computer Laboratory Tech Talks

Artificial Intelligence in Healthcare

Food provided

Ed Salkeld, TPP.

FW26, Computer Laboratory.

Wednesday 10 October 2018, 13:05-14:15

Computer Laboratory NetOS Group Talklets

FPGAs? What are they good for?

Marcin Wojcik.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 09 October 2018, 13:15-13:45

Computer Laboratory Tech Talks

Facebook – Crush Your Coding Workshop

Lunch provided

Facebook.

FW26, Computer Laboratory.

Tuesday 09 October 2018, 13:15-14:30

Computer Laboratory Tech Talks

Hashing

Lunch provided

Dietmar Kuhl, Bloomberg.

FW26, Computer Laboratory.

Monday 08 October 2018, 13:05-14:15

NLIP Seminar Series

Imitation learning, zero-shot learning and automated fact checking

Andreas Vlachos, NLIP, University of Cambridge.

FW26, Computer Laboratory.

Friday 05 October 2018, 12:00-13:00

Computer Laboratory Tech Talks

Dev-Ops. what does it really mean?

Food provided

Cliff McCollum (Software Development Manager), Amazon.

FW26, Computer Laboratory.

Wednesday 03 October 2018, 13:05-14:15

Computer Laboratory NetOS Group Talklets

New Term! Introductions and Welcome

Speaker to be confirmed.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 02 October 2018, 13:15-13:45

Computer Laboratory NetOS Group Talklets

Centre for Digital Built Britain

Richard Mortier.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 25 September 2018, 13:15-13:45

Computer Laboratory NetOS Group Talklets

Privacy Markets

Ranjan Pal.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 18 September 2018, 13:15-13:45

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

Karoliina Lehtinen, Christian-Albrechts University of Kiel.

FW26.

Friday 14 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing

Paul Downen, University of Oregon.

FW26.

Tuesday 11 September 2018, 14:00-15:00

Rainbow Group Seminars

Visualisation and 'Pretty Pictures': Maths - entropy, self-similarity and the fundamental imaging equation

Martin Turner, the University of Manchester.

FW11 Meeting Room, Computer Laboratory.

Friday 31 August 2018, 14:15-15:00

Rainbow Group Seminars

RISE: Randomized Input Sampling for Explanation of Black-box Models

Vitali Petsiuk, Boston University.

FW11 Meeting Room, Computer Laboratory.

Thursday 30 August 2018, 14:15-15:00

Computer Laboratory NetOS Group Talklets

SIGCOMM 2018 Trip Report

Salvator Galea.

Computer Laboratory, William Gates Building, Room FW11.

Tuesday 28 August 2018, 13:15-13:45