University of Cambridge > Talks.cam > Computer Laboratory talks

Computer Laboratory talks

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Merged list of all talks taking place in the Computer Laboratory. This talk series can also be used to announce individual talks that do not fit into any of the established Lab seminars.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Dr Robert Harle; Caroline Stewart; Stewart Carswell. If you have a question about a specific talk, click on that talk to find its organiser.

9 upcoming talks and 3235 talks in the archive.

NLIP Seminar Series

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

Rescheduled

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

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

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

Computer Laboratory Security Seminar

Collaborative Deanonymization

UserRainer Böhme, University of Innsbruck.

HouseWebinar.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

Graph Representation Learning under Uncertainty (WIP)

UserCatalina Cangea and Ben Day (University of Cambridge).

HouseOnline on Teams.

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

Computer Laboratory Security Seminar

Understanding Privacy-Related Questions on Stack Overflow

UserKami Vaniea, University of Edinburgh.

HouseWebinar.

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

Rainbow Group Seminars

Path to Perceptual Realism

UserFangcheng Zhong (University of Cambridge).

HouseVirtual Zoom meeting.

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

Computer Laboratory Security Seminar

The politics of data-driven governance

UserLina Dencik, Data Justice Lab, Cardiff University.

HouseWebinar.

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

NLIP Seminar Series

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

Online Seminar

UserDanielle Saunders (University of Cambridge).

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

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

Computer Laboratory Security Seminar

SEAL: sealed-bid auction without auctioneers

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

HouseWebinar.

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

Computer Laboratory Security Seminar

Trustable Hardware as a TOCTOU Problem: Overview and Potential Remedies

UserDr. Andrew 'bunnie' Huang, Independent Researcher.

HouseWebinar.

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

Theory of Living Matter Group

Tension heterogeneity instructs morphogenesis and fate specification during heart development

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

A Syntactic View of Computational Adequacy

UserMarco Devesas Campos, University of Birmingham.

HouseComputer Lab, GC22.

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

Theory of Living Matter Group

Quantitative approaches of live single-cell transcriptomics

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

UserYakoub Nemouchi, University of York.

HouseComputer Lab, SS03.

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

LGBTQ+@CL Talks

Security, Privacy and Community in a Connected World

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

HouseFW26, William Gates Building, Computer Laboratory.

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

NLIP Seminar Series

Evaluating Deep Generative Models on Out-of-Distribution Inputs

UserEric Nalisnick (University of Cambridge).

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

A Quest for the Perfect Picture: Challenges and Research Opportunities

UserPanos Nasiopoulos, University of British Columbia.

HouseSS03 Meeting Room, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Aspects of my formal development work

UserBoris Djalal, OpenAirInterface Software Alliance.

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

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

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

HouseComputer Lab, FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Formal Foundations for Provably Safe Web Components

UserMichael Herzberg, University of Sheffield.

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Cerberus C semantics & pointer provenance

UserKayvan Memarian (University of Cambridge).

HouseComputer Laboratory, room SS03.

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

NLIP Seminar Series

Learning Tensors and Random Matrix Theory

UserMehrnoosh Sadrzadeh (UCL).

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Product Design, Liability, and Insecurity Engineering

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Computation via Substructures

UserRamanathan S. Thinniyam, MPI-SWS.

HouseComputer Laboratory, room SS03.

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

Computer Laboratory Wednesday Seminars

Soft Aerial Robotics for Digital Infrastructure Systems

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Green Custard Ltd: Innovating at pace in IoT

Food provided

UserZoltan Molnar and Gavin Dolling .

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Measuring Cryptocurrency Fraud

UserMarie Vasek, Department of Computer Science, UCL.

HouseLT2, Computer Laboratory, William Gates Building.

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

Rainbow Group Seminars

Science Visualisation

UserJason Riley.

HouseSS03 Meeting Room, Computer Laboratory.

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

Women@CL Events

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

Lunch provided

UserAndromachi Chatzieleftheriou (Microsoft Research).

HouseComputer Laboratory, William Gates Building, FW11.

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

Computer Laboratory Wednesday Seminars

Climate, Carbon, and Computer Science

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

HouseLecture Theatre 2, Computer Laboratory.

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

NLIP Seminar Series

Zero-shot Language Learning through Bayesian Neural Models

UserEdoardo Maria Ponti (University of Cambridge).

HouseFW26, Computer Laboratory.

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

Women@CL Events

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

Lunch provided

UserRosemary Francis (Ellexus).

HouseComputer Laboratory, William Gates Building, LT1.

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

Rainbow Group Seminars

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

UserMinjung Kim (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Tech Talks

Amazon Alexa Tech Talk

Food provided

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

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Security economics to inform behaviour change support

UserSimon Parkin, Information Security Group, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

Cambridge Design Partnership - Think Small: Embedded Software FTW!

Food provided

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

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

Predicting visible flicker in temporally changing images

UserGyorgy Denes, University of Cambridge.

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

Digital Modeling of Reality with Machine Learning

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

It's Damn Hard to Decentralise the Web

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

Diving into Decentralised communication with Matrix.org

Food provided

UserMatthew Hodgson, Project Lead.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Can we optimise fashion ecommerce using NLG?

Note: earlier time of 11am

UserRory Waite (Emotif.ai).

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Long Form Question Answering

UserAngela Fan (Facebook).

HouseFW26, Computer Laboratory.

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

Computer Laboratory NetOS Group Talklets

An Empirical Study of Lifelong Learning on Mobile Applications

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

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Women@CL Events

Women@CL Talklet Event

Lunch provided

UserEmma Rocheteau and Michal Rozenwald.

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Rainbow Group Seminars

Context in Robots

UserSinan Kalkan.

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Tech Talks

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

Food provided

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

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Unsupervised cross-lingual representation learning

Room Change: LT1

UserSebastian Ruder (DeepMind).

HouseLT1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Roku: Engineering Smart TVs for fun and profit

Food provided

UserTim Granger.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

CANCELLED Probabilistic models of graphs for meaning representations

Extra talk: note unusual day and time

UserAdam Lopez (University of Edinburgh).

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

UserNadish de Silva (University of Cambridge).

HouseSS03.

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

NLIP Seminar Series

Ethical considerations for responsible design

Room Change: LT1

UserShauna Concannon (University of Cambridge).

HouseLT1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Recruitment Fair

UserRecruitment Fair.

HouseThe Street, Computer Laboratory.

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

Computer Laboratory Tech Talks

Recruitment Fair

UserRecruitment Fair.

HouseThe Street, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

The Digital Architecture of Future Cities

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Netcraft: Credit card skimming for fun and profit

Food provided

UserGraham Edgecombe.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

UserRichard Eisenberg (Bryn Mawr College).

HouseFW26.

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

Computer Laboratory Tech Talks

Cisco: How to break the Internet

Food Provided

UserSimon Chatterjee.

HouseFW11, Computer Laboratory.

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

Rainbow Group Seminars

DiCE: Dichoptic Contrast Enhancement for VR and Stereo Displays

UserFangcheng Zhong (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

Deep learning on graphs and manifolds: going beyond Euclidean data

UserProfessor Michael Bronstein (Imperial College / Twitter).

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

StructureNet: Hierarchical Graph Networks for 3D Shape Generation

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

My Secure Bank - Morgan Stanley

Food provided

UserMorgan Stanley.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Automatically Dismantling Online Dating Fraud

UserMatthew Edwards, Faculty of Engineering, University of Bristol.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

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

Food provided

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

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Automatic Analysis of Affect and Personality Analysis in Multiperson Settings

UserHatice Gunes (University of Cambridge).

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

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

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

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Tech Talks

Read Less, Learn More: Extracting Key News Themes

Food provided

UserJoshua Bambrick, Bloomberg.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

JPMorgan Technology Showcase

Food provided

UserJP Morgan.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Multimodal natural language processing: when text is not enough

UserLucia Specia (Imperial College London).

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Interactive workshop with Goldman Sachs

Food provided

UserSpeaker to be confirmed.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Computer Architecture Group Meeting

The new clang constant interpreter

UserNandor Licker (University of Cambridge).

HouseGS15, Computer Laboratory.

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

Computer Laboratory Security Seminar

Reducing Metadata Leakage from Encrypted Files and Communication

UserNikitin Kirill, Decentralized/Distributed Systems Lab, EPFL.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

Accelerating Machine Learning on Arm

Food provided

User: Isabella Gottardi, Software Engineer, ARM.

HouseFW26, Computer Laboratory.

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

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.

UserDr Joris Peeters, GSA Capital.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

UserJean-Louis Lassez.

HouseFW26.

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

CL-CompBio

A Standard-Enabled Workflow for Synthetic Biology

UserProfessor Chris J. Myers University of Utah.

HouseDepartment of Computer Science and technology, Lecture Theatre 2.

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

Artificial Intelligence Research Group Talks (Computer Laboratory)

A human-oriented term rewriting system

UserEd Ayers (University of Cambridge).

HouseFC22.

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

Computer Laboratory Security Seminar

An analysis of the threats of the consumer spyware industry

UserDiarmaid Harkin, Alfred Deakin Institute, Deakin University.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Deploying Differential Privacy for the 2020 Census of Population and Housing

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

HouseLT2, Computer Laboratory, William Gates Building.

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

NLIP Seminar Series

Natural Language Generation in the Wild

UserDaniel Beck, University of Melbourne.

HouseFW26, Computer Laboratory.

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

Theory of Living Matter Group

Quantitative Approaches to Single Cell Epigenetics: Theory and Experiments

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

HouseSainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

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

NLIP Seminar Series

An Operation Sequence Model for Explainable Neural Machine Translation

UserFelix Stahlberg, CUED, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

Cuscus: An End User Programming Tool for Data Visualisation

UserMariana Marasoiu (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 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

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

HouseLecture Theatre 2, Computer Laboratory.

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

Rainbow Group Seminars

Where Ideas Take Shapes

UserYann Savoye, Robert Gordon University.

HouseSS03 Meeting Room, Computer Laboratory.

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

NLIP Seminar Series

Towards secure and efficient DNNs

UserAaron Zhao, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

UserVikraman Choudhury, Indiana University / Cambridge.

HouseFW26.

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

NLIP Seminar Series

Mitigating Gender Bias in Morphologically Rich Languages

UserRyan Cotterell, NLIP, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

Light field acquisition and spatio-angular tradeoff

UserZeshan Alam (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

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

The Wheeler Lectures in Computer Science

Combining Formal Methods and Machine Learning

UserProfessor Jane Hillston, University of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

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

Women@CL Events

Women@CL Talklet Event

UserMaria Bada, Andreea-Ioana Deac .

HouseComputer Laboratory, William Gates Building, Room FW11.

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

NLIP Seminar Series

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

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

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

Enhanced Reality Human Machine Interfaces

UserOzgur Yontem (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

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

NLIP Seminar Series

Factorising AMR generation through syntax

UserKris Cao, DeepMind.

HouseFW26, Computer Laboratory.

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

Rainbow Group Seminars

Behavioural analysis and modelling in HCI/HRI

UserIndu Bodala (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

UserMagnus Madsen, Aarhus University.

HouseFW26.

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

NLIP Seminar Series

Languages* in Formal Reasoning: Accessibility vs. Formality

UserZohreh Shams, AI Group, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Theory of Living Matter Group

Visualising Genome Folding Dynamics in Mammalian Cells - Theory and Experiments

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

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

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

Women@CL Events

Incentives and how to design them

UserSofia Ceppi, Senior Researcher, Prowler.

HouseComputer Laboratory, William Gates Building, Room FW26.

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

Computer Laboratory Security Seminar

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

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

HouseLT1, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

Disruptive Innovation at Ocado

Food provided

UserDr David Sharp, Head of Ocado Technology 10x.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Word Sense Disambiguation and Other Systems in Japanese

UserKanako Komiya, Ibaraki University, Japan.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

UserVilem Liepelt, University of Kent.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

UserJoshua Dunfield, Queen’s University, Canada.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

UserBen Simner, Computer Laboratory.

HouseFW26.

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

Computer Laboratory Security Seminar

Securing Systems with Insecure Hardware

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Wednesday Seminars

Representation Learning on Graphs

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Systems Research Group Seminar

Debugging and Repairing P4 Programs

UserCostin Raiciu (University Politehnica of Bucharest).

HouseFW26, Computer Laboratory, William Gates Building.

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

Computer Laboratory NetOS Group Talklets

Mobile Systems group research

UserCecilia Mascolo (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

UserDominique Devriese, Vrije Universiteit Brussel.

HouseFW26.

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

Rainbow Group Seminars

Untangling Interactive Systems

User Philip Tchernavskij, Université Paris-Saclay.

HouseSS03 Meeting Room, Computer Laboratory.

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

NLIP Seminar Series

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

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

HouseFW26, Computer Laboratory.

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

Theory of Living Matter Group

Natural Cooperation

UserProfessor Martin Nowak (Harvard University).

HouseSainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

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

NLIP Seminar Series

Learning multi-domain dialogues

UserPaweł Budzianowski, CUED, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

DevOps and Cloud Native development in the University of Cambridge

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

HouseLecture Theatre 2, Computer Laboratory.

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

NLIP Seminar Series

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

UserDong Nguyen, University of Edinburgh & Alan Turing Institute.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Machine Learning for the benefit of Engineering

Food provided

UserDr Stephan Waldert, Arm.

HouseFW11, Computer Laboratory.

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

Women@CL Events

Women@CL Talklet Event

UserKrittika D'Sliva, Xiao Zhou, Sian Gooding.

HouseComputer Laboratory, William Gates Building, Room FW11.

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

NLIP Seminar Series

Understanding Source Code using Natural Language and Graph Neural Networks

UserMiltos Allamanis, Microsoft Research.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Learning to navigate without a map (but with instructions)

UserPiotr Mirowski, DeepMind.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

Perpetual Computing: Technologies for Banishing Batteries

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Security Engineering @ nCipher

Food provided

UserPali Surdhar, nCipher.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Digital Technology & Personalised Medicine

Food provided

UserLouis Swain and Oliver Abbey, TPP.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Topic-Aware Convolutional Neural Networks for Extreme Summarization

UserShashi Narayan, University of Edinburgh / Google.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

IMC Tech Talk

Food provided

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

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

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

UserRyan Cotterell, NLIP, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Evil on the Internet

UserRichard Clayton, Computer Laboratory, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

Designing Electronics for low-latency Trading Systems

Food provided

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

HouseFW26, Computer Laboratory.

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

Women@CL Events

Machine Arguing: From Data and Rules to Argumentation Frameworks

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

HouseComputer Laboratory, William Gates Building, Room FW26.

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

CL-CompBio

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

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

HouseDepartment of Computer Science and technology, sw01 .

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

Computer Laboratory Security Seminar

Function-Based Access Control

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

HouseFW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

UserJonathan Protzenko, MSR Redmond.

HouseFW26.

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

NLIP Seminar Series

Graph Neural Networks for Knowledge Base Question Answering

Room changed

UserDaniil Sorokin, Technische Universität Darmstadt.

HouseFW11, Computer Laboratory.

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

Women@CL Events

Women@CL Talklet Event

UserMohibi, Mahwish Arif, Aida Miralaei.

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

UserBartek Klin, Warsaw University.

HouseFW26.

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

Computer Laboratory Tech Talks

How search uses Machine Learning

Food provided

UserFabrizio Silvestri, Facebook.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Lower bound for arithmetic circuits via Hankel matrix

UserPierre Ohlmann, IRIF, Université Paris 7.

HouseSS03.

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

NLIP Seminar Series

The Ethics of Artificially Intelligent Communications Technology

Room changed

UserMarcus Tomalin, CUED, University of Cambridge.

HouseFW11, Computer Laboratory.

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

Computer Laboratory Tech Talks

Computer Laboratory Recruitment Fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

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

Computer Laboratory Tech Talks

Computer Laboratory Recruitment Fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockThursday 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

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Embracing the Volatility of AWS Spot Fleet

Food provided

UserMatthew Mead-Briggs, Yelp.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

Displacing big data: How cybercriminals cheat the system

UserAlice Hutchings, Computer Laboratory, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Tech Talks

How to Break the Internet

Food and drinks provided

UserSimon Chatterjee, Ensoft Ltd .

HouseFW11, Computer Laboratory.

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

NLIP Seminar Series

Knowledge Representation and Extraction at Scale

UserChristos Christodoulopoulos, Amazon.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

Scalable Intelligent Systems by 2025

UserCarl Hewitt - Emeritus Professor at MIT.

HouseLecture Theatre 2, Computer Laboratory.

ClockWednesday 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

UserRichard Palmer, Principal Engineer, King.

HouseFW26, Computer Laboratory.

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

Computer Laboratory NetOS Group Talklets

Q&A session

UserChris Lamb, Debian Project Leader.

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Computer Laboratory Tech Talks

Declarative Software Design in Python

Lunch provided

UserElmer Landaverde, Bloomberg Team Leader of Engineering Core Workflows .

HouseFW26, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

Stylus input and the benefits of a standard

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Transforming Retail with Machine Learning

Food provided

UserMartin Gee, Principal Head of Software Engineering, Argos.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

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

Lunch provided

UserPankaj Daga, Alchera Technologies.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Preparing for a life that’s not just code

Food provided

UserSamantha Strauss and Grace Rowley, RealVNC.

HouseFW11, Computer Laboratory.

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

NLIP Seminar Series

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

UserKostas Kyriakopoulos, CUED, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

How to Build an Exchange

Food provided

UserGabor Szarka, JaneStreet.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Systemic Design (or Building Toys) in Games

Food provided

UserGeorge Prosser and James Callin, Studio Gobo.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Learning, Representing, and Understanding Language

UserAida Nematzadeh, DeepMind.

HouseFW26, Computer Laboratory.

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

Theory of Living Matter Group

Dynamics of Spinal Cord Development - Theory & Experiments

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

HouseSainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

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

Computer Laboratory Wednesday Seminars

A journey into interdisciplinary research

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

5G & ARTIFICIAL INTELLIGENCE - THE PERFECT MATCH ?

Food provided

UserDr Cyril Valadon, MediaTek.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

JP Morgan Technology Showcase

Food provided

UserJP Morgan technologists.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

All Things Data

Food provided

UserJoris Peeters, GSA Capital.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

HackerRank workshop

Lunch provided

UserAlistair McMaster and Jing Wu, Goldman Sachs.

HouseFW11, Computer Laboratory.

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

NLIP Seminar Series

Some lessons learned in Multimodal Representations and Transfer

UserPranava Madhyastha, Imperial College London.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

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

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Tech Talks

Artificial Intelligence in Healthcare

Food provided

UserEd Salkeld, TPP.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Facebook – Crush Your Coding Workshop

Lunch provided

UserFacebook.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Hashing

Lunch provided

UserDietmar Kuhl, Bloomberg.

HouseFW26, Computer Laboratory.

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

NLIP Seminar Series

Imitation learning, zero-shot learning and automated fact checking

UserAndreas Vlachos, NLIP, University of Cambridge.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Tech Talks

Dev-Ops. what does it really mean?

Food provided

UserCliff McCollum (Software Development Manager), Amazon.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

UserKaroliina Lehtinen, Christian-Albrechts University of Kiel.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Graphical Conjunctive Queries

UserPawel Sobocinski, University of Southampton.

HouseFW26.

ClockFriday 27 July 2018, 14:00-15:00

Computer Laboratory Security Seminar

Combating a hydra: Islamic State's digital jihad as a threat to international security

UserMiron Lakomy, Department of International Relations, University of Silesia.

HouseLT2, Computer Laboratory, William Gates Building.

ClockMonday 16 July 2018, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

UserTamara von Glehn (DPMMS).

HouseFW26.

ClockFriday 06 July 2018, 14:00-15:00

Computer Laboratory NetOS Group Talklets

TBC

UserLucas Pluvinage, student from ENS, France.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 03 July 2018, 13:15-13:45

Computer Laboratory Systems Research Group Seminar

Hardware-conscious data processing systems

This talk has been cancelled and will be rescheduled.

UserHolger Pirk (Imperial College London).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 28 June 2018, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

UserGuillaume Munch-Maccagnoni, INRIA.

HouseFW26.

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

Theory of Living Matter Group

Pub talk: Expression dynamics and positional information during Drosophila segment patterning

UserBerta Verd (University of Cambridge, Dept of Genetics) and Erik Clark (University of Cambridge, Dept of Zoology).

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

ClockTuesday 12 June 2018, 18:00-20:00

Rainbow Group Seminars

Perceptual Display: Apparent Enhancement of Scene Detail and Depth

UserKarol Myszkowski, Max-Planck-Institute for Computer Science.

HouseSS03 Meeting Room, Computer Laboratory.

ClockTuesday 12 June 2018, 16:15-17:00

CL-CompBio

Computer-Assisted Analysis of Biomedical Images

UserLeonardo Rundo, University of Milano-Bicocca, Italy.

HouseDepartment of Computer Science and technology, sw01 .

ClockFriday 08 June 2018, 14:00-15:00

NLIP Seminar Series

Learning hierarchical structure: strong learning of PCFGs

UserAlexander Clark, King's College London.

HouseFW26, Computer Laboratory.

ClockFriday 01 June 2018, 12:00-13:00

The Wheeler Lectures in Computer Science

The Wheeler Lecture In Computer Science: Language, Learning, and Creativity

UserProfessor Stephen Pulman - Department of Computer Science, University of Oxford..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 May 2018, 16:15-18:00

Women@CL Events

Women@CL Talklet Event

UserSandra Servia, Catalina Cangea, Angeliki Koutsoukou-Argyraki.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockFriday 25 May 2018, 13:00-14:00

NLIP Seminar Series

NAACL practice talks

UserSimon Baker (LTL) & Marek Rei (NLIP), University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 25 May 2018, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Quantitative equational reasoning

UserPrakash Panangaden, McGill University.

HouseFW26.

ClockThursday 24 May 2018, 13:45-14:45

Computer Laboratory Security Seminar

Detecting Spies in Sensor-Rich Environments using Cyber-Physical Correlation

UserBrent Lagesse, University of Washington Bothell (visiting Cambridge as a Fulbright Scholar).

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 22 May 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Scheduling Tasks for Reconfigurable Architecture

UserAmlan Chakrabarti, University of Calcutta.

HouseFW26.

ClockFriday 18 May 2018, 14:00-15:00

Rainbow Group Seminars

Psychometric Scaling of TID2013 Dataset

UserAliaksei Mikhailiuk (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 17 May 2018, 14:15-15:00

Computer Laboratory Wednesday Seminars

A New Era of Open-Source System-on-Chip Design

UserProf Christopher Batten - Cornell University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 May 2018, 16:15-17:15

Computer Laboratory Security Seminar

Ethical Issues in Network Measurement

UserShehar Bano, Dept. of Computer Science, University College London (UCL).

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 15 May 2018, 14:00-15:00

NLIP Seminar Series

Emergent Communication through Negotiation

UserKris Cao, NLIP, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 11 May 2018, 12:00-13:00

Computer Laboratory Security Seminar

Data science approaches to understanding key actors on online hacking forums

UserSergio Pastrana/Andrew Caines, Computer Laboratory, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 08 May 2018, 14:00-15:00

NLIP Seminar Series

Predictive Uncertainty in Deep Learning

UserAndrey Malinin, CUED, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 04 May 2018, 12:00-13:00

Computer Laboratory Wednesday Seminars

No Seminar Today

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 May 2018, 16:15-17:15

NLIP Seminar Series

Multilingual NLP via Cross-Lingual Word Embeddings

UserIvan Vulic, LTL, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 27 April 2018, 12:00-13:00

Computer Laboratory Computer Architecture Group Meeting

Green Cache

UserErik Hagersten, Uppsala University.

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 26 April 2018, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs

Note unusual time

UserDr . Christopher Batten, ECE, Cornell University (visiting scholar in Cambridge).

HouseFW11, Computer Laboratory.

ClockThursday 19 April 2018, 14:00-15:00

Theory of Living Matter Group

Developmental Dynamics: From Stem Cells to Organisms — Theory & Experiments

UserOlivier Pourquié (Harvard University) and Michael Stumpf (Imperial College London).

HousePalmerston Room, Fisher Building, St John's College, Cambridge CB2 1TP.

ClockWednesday 18 April 2018, 18:00-20:00

Rainbow Group Seminars

Towards reconstructing the visual world

User Christian Richardt, University of Bath.

HouseSS03 Meeting Room, Computer Laboratory.

ClockTuesday 10 April 2018, 13:00-14:00

NLIP Seminar Series

** cancelled **

UserJulian Perez, Naver Labs Europe.

HouseFW26, Computer Laboratory.

ClockFriday 23 March 2018, 12:00-13:00

Computer Laboratory Wednesday Seminars

Embedding Musical Codes into an Interactive Piano Composition

Sadly, today's seminar shall not take place owing to strike action.

UserProf Steve Benford - University of Nottingham, Mixed Reality Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 March 2018, 16:15-17:15

NLIP Seminar Series

Virtual bargaining as a micro-foundation for communication

Note unusual time

UserProfessor Nick Chater, University of Warwick.

HouseFW26, Computer Laboratory.

ClockFriday 09 March 2018, 16:30-17:30

Logic and Semantics Seminar (Computer Laboratory)

Left Exact Modalities in Type Theory

UserEric Finster, INRIA Rennes.

HouseFW26.

ClockFriday 09 March 2018, 14:00-15:00

Women@CL Events

Women @Cl Talklet Event

UserMariana Marasoiu, Maria Perez-Ortiz, Helena Andrés Terre.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 09 March 2018, 13:00-14:00

Computer Laboratory Wednesday Seminars

Part Ib Group Project Presentations

UserComputer Science Tripos 2nd Year Students.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 March 2018, 14:00-17:30

Computer Laboratory Programming Research Group Seminar

Executing C, C++ and Fortran Efficiently on the Java Virtual Machine via LLVM IR

PLEASE NOTE the unusual room and time. External attendees, please ask at reception or call 63780 to be let in

UserManuel Rigger, Johannes Kepler University, Linz.

HouseFS09, William Gates Building.

ClockFriday 02 March 2018, 15:00-16:00

NLIP Seminar Series

Jointly Learning Syntax and Semantics

UserJean Maillard, NLIP, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 02 March 2018, 12:00-13:00

Computer Laboratory Wednesday Seminars

The Exposome in Epidemiological Practice

Sadly today's seminar shall not take place owing to snowy travel conditions.

UserProf. Paolo Vineis - School of Public Health, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 February 2018, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

UserMichel Schellekens, University College Cork.

HouseFW26.

ClockFriday 23 February 2018, 14:00-15:00

NLIP Seminar Series

Constructing datasets for multi-hop reading comprehension across documents

UserJohannes Welbl, University College London.

HouseFW26, Computer Laboratory.

ClockFriday 23 February 2018, 12:00-13:00

Computer Laboratory Wednesday Seminars

Exploring the mechanisms of haematopoietic lineage progression at the single-cell level

UserDr Ana Cvejic - The Sanger Centre & Dept of Haematology, Cambridge..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 February 2018, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

UserChung-Kil Hur, Seoul National University.

HouseFW11.

ClockFriday 16 February 2018, 14:00-15:00

NLIP Seminar Series

Deep reinforcement learning for dialogue policy optimisation

UserDr Milica Gasic, Dept. Engineering, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 16 February 2018, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Energy landscape of multivariate time series data

starting time at 15:00! sorry for the confusion!

UserNaoki Masuda (University of Bristol).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 15 February 2018, 15:00-16:00

Computer Laboratory Wednesday Seminars

Kiwi Scientific Acceleration on FPGA

UserDr David J Greaves - University of Cambridge, Computer Laboratory..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 February 2018, 16:15-17:15

NLIP Seminar Series

Pruning and grafting syntactic trees for cross-lingual transfer tasks

UserEdoardo Ponti, TAL, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 09 February 2018, 12:00-13:00

Women@CL Events

Positioning and identification systems with wearable and infrastructure sensors

UserNiki Trigoni, Professor at the Oxford Department of Computer Science, heading the Sensor Networks Group..

HouseComputer Laboratory, William Gates Building, LT2.

ClockThursday 08 February 2018, 13:00-14:00

Theory of Living Matter Group

Pub tutorial: Machine Learning for ‘Genomical Data’

UserSudhakaran Prabakaran (Laboratory of Data Science & Systems Proteogenomics, Department of Genetics, University of Cambridge).

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

ClockWednesday 31 January 2018, 18:00-20:00

Computer Laboratory Wednesday Seminars

Amazon Alexa

UserDr Craig Saunders - Amazon .

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 31 January 2018, 16:15-17:15

Computer Laboratory Security Seminar

Anonymity in Cryptocurrencies

UserSarah Meiklejohn, Information Security Group, University College London (UCL).

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 30 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

UserBrijesh Dongol, Brunel University London.

HouseFW26.

ClockFriday 26 January 2018, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Energy Efficient Compilation of Irregular Task-Parallel Loops

UserKrishna Nandivada, IIT Madras, India.

HouseGS15.

ClockThursday 25 January 2018, 14:00-15:00

Computer Laboratory Wednesday Seminars

THEMIS: Fairness in Federated Stream Processing under Overload

UserDr Eva Kalyvianaki - The Computer Laboratory, Cambridge..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 January 2018, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

UserWilliam Byrd, University of Alabama at Birmingham.

HouseFW26.

ClockTuesday 23 January 2018, 11:00-12:00

Computer Laboratory Tech Talks

Writing Low Latency Code

UserMaciej Gajewski, Optiver.

HouseFW26, Computer Laboratory.

ClockMonday 22 January 2018, 13:05-14:00

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

UserTony Hoare, FRS FREng.

HouseFW26.

ClockFriday 19 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Linux Kernel Concurrency Model

UserAndrea Parri.

HouseFW26.

ClockThursday 07 December 2017, 11:00-12:00

Rainbow Group Seminars

Part-based Tracking with Cascaded Regression of Neighbours

UserXiaomeng Wang (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 30 November 2017, 14:15-15:15

Theory of Living Matter Group

Unravelling the Principles of Morphogenesis — Theory & Experiments

UserL Mahadevan (Harvard University) and Michael Akam (University of Cambridge).

HouseSainsbury Laboratory, Bateman Street, Cambridge CB2 1NN.

ClockWednesday 29 November 2017, 17:45-20:00

Computer Laboratory Wednesday Seminars

Hands-on Generative Programming: Write an Interpreter, Build a Compiler.

UserDr Nada Amin - University of Cambridge, Computer Laboratory..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 November 2017, 16:15-17:30

Computer Laboratory Security Seminar

Bayes, not Naive: Security Bounds on Website Fingerprinting Defenses

UserGiovanni Cherubin, Information Security Group (ISG), Royal Holloway, University of London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 28 November 2017, 14:00-15:00

Computer Laboratory Tech Talks

JSI - JVM SecDb Integration

UserJonathan Perry, Managing Director in Engineering, Goldman Sachs.

HouseFW26, Computer Laboratory.

ClockMonday 27 November 2017, 13:05-14:00

Women@CL Events

Women@CL talklet event

UserYousun Ko, Bihao Wang, Diana Andreea Popescu.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 24 November 2017, 13:00-14:00

NLIP Seminar Series

Imitation learning for structured prediction and automated fact checking

UserDr Andreas Vlachos, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 24 November 2017, 12:00-13:00

NLIP Seminar Series

Internal seminar - new PhD students

UserNew NLIP PhDs.

HouseFW11, Computer Laboratory.

ClockFriday 17 November 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control

UserDr Amanda Prorok - University of Cambridge, Computer Laboratory..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 November 2017, 16:15-17:30

Computer Laboratory Tech Talks

Non-stop real-time data delivery at Yelp

UserFederico Giraud, Yelp.

HouseFW26, Computer Laboratory.

ClockWednesday 15 November 2017, 13:05-14:00

Computer Laboratory Tech Talks

Safe at any speed

UserSebastian Funk, Jane Street.

HouseFW26, Computer Laboratory.

ClockMonday 13 November 2017, 13:05-14:00

Logic and Semantics Seminar (Computer Laboratory)

Reasoning beyond data-race freedom

UserStephen Dolan, Ocaml Labs, University of Cambridge.

HouseFW26.

ClockFriday 10 November 2017, 14:00-15:00

NLIP Seminar Series

Labelling Topics Using Neural Networks

UserNikolaos Aletras, Amazon Research Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 10 November 2017, 12:00-13:00

Computer Laboratory NetOS Group Talklets

Mining Large-Scale Internet Data to Find Stealthy Abuse

This is a full talk NOT a talklet.

UserMobin Javed, ICSI Berkeley.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 07 November 2017, 13:00-14:00

Computer Laboratory Tech Talks

The King reigns and the data governs

UserNima Hamedani-Raja, King.

HouseFW26, Computer Laboratory.

ClockMonday 06 November 2017, 13:05-14:00

Rainbow Group Seminars

Formulating Just-Noticeable Difference for Multimedia Signals

Note unusual time

UserWeisi Lin (Nanyang Technological University).

HouseSS03 Meeting Room, Computer Laboratory.

ClockFriday 03 November 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

Programming Computers Without Processors

UserDr Satnam Singh - X, The Moonshot Factory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 November 2017, 16:15-17:30

NLIP Seminar Series

Grounded language learning in simulated worlds

UserFelix Hill, DeepMind.

HouseFW26, Computer Laboratory.

ClockFriday 27 October 2017, 12:00-13:00

Rainbow Group Seminars

Prize lecture: What do we Think we are Doing?

UserAlan Blackwell (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 26 October 2017, 14:15-15:15

Computer Laboratory Wednesday Seminars

What if Computers Understood Physics?

UserDr Phillip Stanley-Marbell - University of Cambridge, Dept Engineering..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 October 2017, 16:15-17:30

Computer Laboratory Tech Talks

Real-time Ocean Simulation and Rendering for Console Game

UserAlastair Toft and James Callin, Studio Gobo.

HouseFW26, Computer Laboratory.

ClockWednesday 25 October 2017, 13:05-14:15

Computer Laboratory Tech Talks

Quicker Sorting

UserDietmar Kuhl, Bloomberg.

HouseFW26, Computer Laboratory.

ClockWednesday 18 October 2017, 13:05-14:15

Computer Laboratory Tech Talks

GRAKN.AI: The hyper-relational database for knowledge-oriented systems

UserHaikal Pribadi, Founder and CEO of GRAKN.AI.

HouseFW11, Computer Laboratory.

ClockMonday 16 October 2017, 13:05-14:00

Computer Laboratory Tech Talks

Break into a Hacker’s Mind

UserMorgan Stanley.

HouseFW11, Computer Laboratory.

ClockFriday 13 October 2017, 13:05-14:00

NLIP Seminar Series

Neural Models for Information Retrieval

UserBhaskar Mitra, Microsoft Research Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 13 October 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

Wireless community mesh networks: fresh connectivity for 7 billion people

UserProf Leandro Navarro - Universitat Politècnica de Catalunya.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 October 2017, 16:15-17:30

Computer Laboratory Security Seminar

Analysis and Classification of Android Malware

UserLorenzo Cavallaro, Information Security Group (ISG), Royal Holloway, University of London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 10 October 2017, 14:00-15:00

NLIP Seminar Series

Text-to-text Generation Beyond Machine Translation

UserShashi Narayan, University of Edinburgh.

HouseFW26, Computer Laboratory.

ClockFriday 06 October 2017, 12:00-13:00

Computer Laboratory Security Seminar

Conditional Linear Cryptanalysis

UserEli Biham, Computer Science Department, Technion - Israel Institute of Technology.

HouseLT2, Computer Laboratory, William Gates Building.

ClockWednesday 04 October 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 29 September 2017, 14:00-15:00

Computer Laboratory Security Seminar

Protecting Analog Sensor Security

UserKevin Fu, Associate Professor in Electrical Engineering and Computer Science, University of Michigan.

HouseLT2, Computer Laboratory, William Gates Building.

ClockThursday 28 September 2017, 14:00-15:00

NLIP Seminar Series

Finite-State Transducers as a Theory of Dependency Structured Natural Language

UserAnssi Yli-Jyrä, University of Helsinki.

HouseFW26, Computer Laboratory.

ClockFriday 22 September 2017, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Event Correlation with Algebraic Effects

UserOliver Bracevac, University of Darmstadt.

HouseFW26.

ClockFriday 15 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A promising semantics for relaxed-memory concurrency

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 08 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Semantics of Full Ground References

UserPaul Blain Levy (University of Birmingham).

HouseFW26.

ClockFriday 21 July 2017, 14:00-15:00

Theory of Living Matter Group

Pub tutorial: Real-time control of a genetic toggle switch

UserJean-Baptiste Lugagne, Laboratoire Matière et Systèmes Complexes (MSC), Université Paris Diderot & CNRS.

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

ClockWednesday 19 July 2017, 18:00-20:00

Computer Laboratory Security Seminar

abraCARDabra: understanding carding forums

UserJeremiah Onaolapo, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 27 June 2017, 14:00-15:00

NLIP Seminar Series

Deep NLP in language tutoring

UserFrancis Bond, Associate Professor at the Division of Linguistics and Multilingual Studies, Nanyang Technological University, Singapore.

HouseFW11, Computer Laboratory.

ClockFriday 16 June 2017, 15:00-16:00

NLIP Seminar Series

Predicting Rich Linguistic Structure with Neural Networks

UserJan Buys, University of Oxford.

HouseFW11, Computer Laboratory.

ClockTuesday 13 June 2017, 14:00-15:00

rdm34's list

The Biomaker Challenge: an introduction

UserJenny Molloy, Department of Plant Sciences.

HouseComputer Laboratory, room SS03.

ClockTuesday 13 June 2017, 12:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

UserMurdoch Gabbay, Heriot-Watt University.

HouseFW26.

ClockFriday 09 June 2017, 14:00-15:00

NLIP Seminar Series

Functional Distributional Semantics

UserGuy Edward Toh Emerson (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 09 June 2017, 12:00-13:00

NLIP Seminar Series

NLP, the perfect social (media) science?

UserDirk Hovy, University of Copenhagen.

HouseFW26, Computer Laboratory.

ClockWednesday 07 June 2017, 12:00-13:00

NLIP Seminar Series

Sentence-level Topic Models

UserKris Cao (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 02 June 2017, 12:00-13:00

Rainbow Group Seminars

The true story of the group now known as Pixar

Note venue

UserAlvy Ray Smith, Lucasfilm, Pixar, Altamira, Microsoft....

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockThursday 01 June 2017, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Disjoint Semirings for Fractional Permissions

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

UserAquinas Hobor, National University of Singapore.

HouseFW11.

ClockThursday 01 June 2017, 13:30-14:15

Logic and Semantics Seminar (Computer Laboratory)

Concurrent Kleene Algebras and Pomset Languages

UserGeorg Struth, University of Sheffield.

HouseFW26.

ClockFriday 26 May 2017, 14:00-15:00

NLIP Seminar Series

Text Simplification: Where are we now, and where are we headed?

UserGustavo Henrique Paetzold, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 26 May 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

Can we make people value IT security?

Wheeler Lecture – Please register for this session on separate web page.

UserM. Angela Sasse - UCL London..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 May 2017, 16:15-17:30

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

UserDavid Pearce, Victoria University of Wellington, New Zealand.

HouseFW26.

ClockFriday 19 May 2017, 14:00-15:00

NLIP Seminar Series

Neural Architectures for Sequence Labelling

UserMarek Rei, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 19 May 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

Ubiquitous Sensing with Light

UserXia Zhou - Dept of Computer Science Dartmouth College .

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 May 2017, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Higher Categorical Structures, Type-Theoretically

UserNicolai Kraus, University of Nottingham.

HouseFW26.

ClockFriday 12 May 2017, 14:00-15:00

Women@CL Events

Women@CL talklet event

UserOlesya Razuvayevskaya; Diana Popescu.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 11 May 2017, 13:00-14:00

Computer Laboratory Wednesday Seminars

Morphologically Computing Soft Robots toward Self-Organizing Machines

UserDr Fumiya Iida - Department of Engineering, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 May 2017, 16:15-17:15

Computer Laboratory Tech Talks

Finding Signals in Twitter with ML/NLP at Bloomberg

UserMinjie Xu - Bloomberg Software Engineer, Social Media Analytics.

HouseLT1, Computer Laboratory.

ClockTuesday 25 April 2017, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

P4-NetFPGA

UserStephen Ibanez (Stanford University).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 20 April 2017, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

UserJames Cheney, University of Edinburgh.

HouseFW26.

ClockFriday 07 April 2017, 14:00-15:00

Computer Laboratory Security Seminar

Free-Form Gesture Passwords: Security, Memorability, Usability

UserJanne Lindqvist, assistant professor of electrical and computer engineering, Rutgers University.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 28 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

UserDan Ghica, University of Birmingham.

HouseFW26.

ClockFriday 17 March 2017, 14:00-15:00

NLIP Seminar Series

Neural Variational Inference for NLP

UserYishu Miao, University of Oxford.

HouseFW26, Computer Laboratory.

ClockFriday 10 March 2017, 12:00-13:00

Rainbow Group Seminars

Intelligent Inclusive Interaction Design

UserPradipta Biswas, Indian Institute of Science.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 09 March 2017, 14:15-15:15

Women@CL Events

Women@CL talklet event

UserZohreh Shams; Luana Bulat; Guo Yu.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 09 March 2017, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

UserMagnus Myreen, Chalmers University.

HouseFW26.

ClockFriday 03 March 2017, 14:00-15:00

Computer Laboratory Wednesday Seminars

AI Meets Cancer

UserDr Jasmin Fisher - Department of Biochemistry, University of Cambridge & Microsoft Research.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 March 2017, 16:15-17:15

Research Students Lecture Series

Verified Programming in Agda

UserIan Orton (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 28 February 2017, 13:00-14:00

Computer Laboratory Tech Talks

Fast Models : How dynamic translation fits into ARM's story

User: LLoyd Reed - Staff Software Engineer & Team Lead, ARM.

HouseFW26, Computer Laboratory.

ClockMonday 27 February 2017, 13:05-14:05

Computer Laboratory Security Group meeting presentations

Hack the brain

UserFlorian Gondesen, Hamburg University of Technology.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 24 February 2017, 16:00-16:30

NLIP Seminar Series

EACL potpourri

UserNLIP PhDs and postdocs.

HouseFW26, Computer Laboratory.

ClockFriday 24 February 2017, 12:00-13:00

Women@CL Events

Engineering Software to Last

UserBecky Plummer, Bloomberg.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 23 February 2017, 13:00-14:00

Computer Laboratory Wednesday Seminars

CHERI - Architectural support for software memory protection and compartmentalisation

UserRobert N. M. Watson - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 22 February 2017, 16:15-17:15

Research Students Lecture Series

A trip down long short-term memory lane

UserPetar Veličković (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 21 February 2017, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

A monad for full ground reference cells

UserOhad Kammar, University of Oxford.

HouseFW26.

ClockFriday 17 February 2017, 14:00-15:00

Rainbow Group Seminars

Graphics and Interaction related Part II Project Presentations

UserGyuri Denes (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 16 February 2017, 14:15-15:15

Computer Laboratory Wednesday Seminars

Challenges in Human-Robot Interaction

UserProf. Kerstin Dautenhahn - University of Hertfordshire.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 February 2017, 16:15-17:15

NLIP Seminar Series

Imitation learning for language generation from unaligned data

UserGerasimos Lampouras, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 10 February 2017, 12:00-13:00

Computer Laboratory Wednesday Seminars

Data Science for the World of Moving Things

UserDr Damon Wischik - Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 February 2017, 16:15-17:15

Computer Laboratory Systems Research Group Seminar

Internet Monitoring at Scale

UserMichael Meisel (VP Engineering at ThousandEyes).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 02 February 2017, 15:00-16:00

Computer Laboratory Wednesday Seminars

GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE

UserJamie Vicary - Department of Computer Science, University of Oxford.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 February 2017, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

UserTheo Drane, Cadence Design Systems.

HouseFW11.

ClockFriday 27 January 2017, 14:00-15:00

Computer Laboratory Wednesday Seminars

Sequencing DNA Using Biological Nanopores

UserTim Massingham - Oxford Nanopore Technologies.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 January 2017, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

One-Dimensional Higher Inductive Types

UserPeter Dybjer, Chalmers University of Technology.

HouseFW26.

ClockFriday 20 January 2017, 14:00-15:00

NLIP Seminar Series

Learning Commonsense Event Schemas from Unlabeled Text

UserNate Chambers, US Naval Academy.

HouseFW26, Computer Laboratory.

ClockFriday 20 January 2017, 12:00-13:00

Computer Laboratory Security Seminar

Trends in Online Payment Security

UserMohammed Aamir Ali, Newcastle University.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 17 January 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polymorphism, subtyping and type inference in MLsub

UserStephen Dolan, University of Cambridge.

HouseFW26.

ClockFriday 16 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical perspective on type refinement systems

UserNoam Zeilberger, University of Birmingham.

HouseFW26.

ClockFriday 09 December 2016, 14:00-15:00

NLIP Seminar Series

Internal Seminar pt. 2

UserPhD students, NLIP group.

HouseFW26, Computer Laboratory.

ClockFriday 02 December 2016, 12:00-13:00

Computer Laboratory Wednesday Seminars

Architectural Impacts of the Silicon Performance Wall

UserDr Gavin Stark - Netronome and Visiting Industrial Fellow, Computer Laboratory..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 November 2016, 16:15-17:15

Computer Laboratory Computer Architecture Group Meeting

The Future of Computer Architecture

UserGavin Stark, Visiting Fellow, Computer Laboratory.

HouseSW01, Computer Laboratory.

ClockTuesday 29 November 2016, 15:00-16:30

Computer Laboratory Security Seminar

Reversing chip design for hardware security characterization

UserFranck Courbon, Security group, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 29 November 2016, 14:00-15:00

Women@CL Events

Women@CL talklet event

UserSheharbano Khattak, Youmna Farag, Anita Verő.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 24 November 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Making Reactive Programs Function

Note: Venue is LT2 (not LT1).

UserDr Neel Krishnaswami - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 2, Computer Laboratory.

ClockWednesday 23 November 2016, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

A compositional account of Herbrand's theorem via concurrent games

NOTE NON-STANDARD ROOM BOOKING

UserPierre Clairambault, ENS Lyon.

HouseSS03.

ClockFriday 18 November 2016, 14:00-15:00

NLIP Seminar Series

Learning to Detect Stance and Represent Emojis

UserIsabelle Augenstein, University College London.

HouseFW26, Computer Laboratory.

ClockFriday 18 November 2016, 12:00-13:00

Computer Laboratory Tech Talks

Recruitment fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockFriday 18 November 2016, 11:30-16:00

Rainbow Group Seminars

Display algorithms for high dynamic range video

UserGabriel Eilertsen (Linköping University).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 17 November 2016, 14:15-15:15

Computer Laboratory Tech Talks

Recruitment fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockThursday 17 November 2016, 11:30-16:00

Computer Laboratory Tech Talks

Palantir and PCL (Privacy & Civil Liberties)

UserWilliam Morland, Civil Liberties Engineer.

HouseFW26, Computer Laboratory.

ClockMonday 14 November 2016, 13:05-14:05

Logic and Semantics Seminar (Computer Laboratory)

Fencing off Go: Liveness and Safety for Channel-based Programming

UserNicholas Ng and Bernardo Toninho, Imperial College.

HouseFW26.

ClockFriday 11 November 2016, 14:00-15:00

Computer Laboratory Tech Talks

How to Break the Internet

UserSimon Chatterjee, Ensoft Ltd.

HouseFW11, Computer Laboratory.

ClockFriday 11 November 2016, 13:00-14:00

NLIP Seminar Series

Recommending relevant citations using CoreSC and Argumentative Zoning

UserDaniel Duma, University of Edinburgh.

HouseFW26, Computer Laboratory.

ClockFriday 11 November 2016, 12:00-13:00

Computer Laboratory Tech Talks

"Improving your CV” Careers Workshop

UserSusan Gatell, Cambridge University Careers Service.

HouseLT1, Computer Laboratory.

ClockThursday 10 November 2016, 13:00-14:00

Open Source for NLP

Open Source and NLP

A special one day workshop.

UserAnn Copestake (Cambridge), Aurelie Herbelot (Trento), Diana Maynard (Sheffield), Behrang QasemiZadeh (Düsseldorf), Nandaja Varma, Esther Seyffarth (Düsseldorf), Hrishikesh K.B. (Swathanthra Malayalam Computing).

HouseSeminar Room FW11, Computer Laboratory.

ClockThursday 10 November 2016, 09:00-17:00

Computer Laboratory Wednesday Seminars

Web search in an AI world: small, cute, distributed.

UserDr Aurelie Herbelot - University of Trento.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 November 2016, 16:15-17:15

Computer Laboratory Tech Talks

Building a Secure Bank

UserDaniel Chatfield, Security Engineer, Monzo.

HouseFW26, Computer Laboratory.

ClockWednesday 09 November 2016, 13:05-14:05

Computer Laboratory Tech Talks

Amazon Alexa: building AI at scale

UserDavid Hardcastle, Senior Manager, Software Development, Amazon.

HouseFW26, Computer Laboratory.

ClockTuesday 08 November 2016, 13:15-14:15

Rainbow Group Seminars

Title to be confirmed

UserNanyang Ye.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 03 November 2016, 14:15-15:15

Women@CL Events

Career panel

UserTina Fallah, Hatice Gunes, Camilla Longden, Yoli Shavit.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 03 November 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Graduate Studies Open Day

This is not a regular seminar. Please see separate programme.

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 November 2016, 16:15-17:15

Computer Laboratory Tech Talks

G-Research Coding Challenge 2016

UserSpeaker to be confirmed.

HouseFW26, Computer Laboratory.

ClockWednesday 02 November 2016, 13:05-15:30

Computer Laboratory Tech Talks

State machine replication and the modern exchange

UserSebastian Funk, JaneStreet.

HouseFW26, Computer Laboratory.

ClockTuesday 01 November 2016, 13:15-14:05

Computer Laboratory Tech Talks

What can you do with data at the speed of 10x million events per second

Please register at: https://www.eventbrite.com/e/microsoft-tech-talk-university-of-cambridge-tickets-28514095427

UserIrina Frumkin, a Principal Software Engineering Lead, Microsoft.

HouseFW11, Computer Laboratory.

ClockFriday 28 October 2016, 13:05-14:05

Rainbow Group Seminars

Personality Perception of Robot Avatar Teleoperators

UserOya Celiktutan (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 27 October 2016, 14:15-15:15

Computer Laboratory Wednesday Seminars

End-to-end encryption: Behind the scenes

UserD Vasile, M Kleppmann & D Thomas - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 October 2016, 16:15-17:15

Computer Laboratory Tech Talks

Title to be confirmed

Sign up at Fb.me/Cambridgetechtalk16

UserDaniel Bernhardt, Facebook.

HouseLT1, Computer Laboratory.

ClockTuesday 25 October 2016, 13:00-14:00

Computer Laboratory Tech Talks

Scala: How to sneak Haskell design patterns into industry code

Please RSVP to recruitment@gsacapital.com as we need to gauge numbers for catering purposes

UserWill Sonnex, GSA Capital.

HouseFW26, Computer Laboratory.

ClockMonday 24 October 2016, 13:05-14:05

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

UserUgo Dal Lago, University of Bologna.

HouseFW26.

ClockFriday 21 October 2016, 14:00-15:00

Computer Laboratory Tech Talks

What's the big deal about Big Data?

UserMorgan Stanley’s Data Strategy group.

HouseFW11, Computer Laboratory.

ClockFriday 21 October 2016, 13:15-14:30

NLIP Seminar Series

Numerically Grounded Language Models

UserGeorge Spithourakis (UCL).

HouseFW26, Computer Laboratory.

ClockFriday 21 October 2016, 12:00-13:00

Rainbow Group Seminars

Towards a User-Centric In-Vehicle Navigational System

UserMarwa Mahmoud (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 20 October 2016, 14:15-15:15

Computer Laboratory Wednesday Seminars

From Idea to Startup

UserDavid Chan - Entrepreneur-in-Residence, CyLon Accelerator.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 October 2016, 16:15-17:15

CL-CompBio

Exploiting spatial features in the analysis of ChIP- and BS-Seq data

User Guido Sanguinetti - School of Informatics & SynthSys, Edinburgh.

HouseLecture Theatre 2, Computer Laboratory.

ClockWednesday 19 October 2016, 13:15-14:15

Computer Laboratory Tech Talks

Netcraft wokshop

UserRobert Duncan, Netcraft.

HouseFW26, Computer Laboratory.

ClockWednesday 19 October 2016, 13:05-15:30

Computer Laboratory Tech Talks

Data processing @ Google & Interviews 101

UserLewis Hemens, Google.

HouseLT1, Computer Laboratory.

ClockTuesday 18 October 2016, 13:00-14:30

Computer Laboratory Tech Talks

5G - The Revolution

UserCyril Valadon , MediaTek.

HouseFW26, Computer Laboratory.

ClockMonday 17 October 2016, 13:05-14:05

NLIP Seminar Series

Internal Seminar pt. 1

UserNLIP Postdocs and PhDs.

HouseFW26, Computer Laboratory.

ClockFriday 14 October 2016, 12:00-13:00

Rainbow Group Seminars

Introduction to the Rainbow Group

UserPeter Robinson (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 13 October 2016, 14:15-15:15

Computer Laboratory Wednesday Seminars

Rethinking Auto-Parallelisation

Please note: All seminars in this series now start at 16:15

UserProf Michael O'Boyle - School of Informatics, Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 October 2016, 16:15-17:15

Computer Laboratory Tech Talks

An introduction to games programming

UserAlastair Toft and Hale Harding, Studio Gobo.

HouseFW26, Computer Laboratory.

ClockWednesday 12 October 2016, 13:05-14:05

Computer Laboratory Tech Talks

Security Through Maturity

UserScott Alexander, JPMorgan mobile team.

HouseFW26, Computer Laboratory.

ClockMonday 10 October 2016, 13:05-14:05

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

UserAndy Pitts, Computer Laboratory.

HouseFW26.

ClockFriday 07 October 2016, 14:00-15:00

CL-CompBio

Stochastic hybrid systems: modelling cancer and psoriasis

UserFedor Shmarov, Newcastle, UK.

HouseLecture Theatre 2, Computer Laboratory.

ClockTuesday 20 September 2016, 16:45-17:30

CL-CompBio

Delta-complete decision procedures and hands-on tutorial

UserDamien Zufferey, MIT, USA.

HouseLecture Theatre 2, Computer Laboratory.

ClockTuesday 20 September 2016, 15:45-16:30

CL-CompBio

Nonlinear real arithmetic and delta-satisfiability

International Workshop on Automated Reasoning for Systems Biology and Medicine (ARSBM 2016)

UserPaolo Zuliani, Newcastle, UK.

HouseLecture Theatre 2, Computer Laboratory.

ClockTuesday 20 September 2016, 14:30-15:45

Logic and Semantics Seminar (Computer Laboratory)

Analysing Goedel’s T by means of ordinal assignment and collapsing

NOTE NON-STANDARD ROOM BOOKING

UserGunnar Wilken, Okinawa Institute of Science and Technology.

HouseSS03.

ClockFriday 16 September 2016, 14:00-15:00

Rainbow Group Seminars

What is code?

UserFelienne Hermans, T. U. Delft.

HouseSW01, Computer Laboratory, William Gates Building.

ClockFriday 16 September 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

UserNeel Krishnaswami, University of Cambridge.

HouseFW26.

ClockFriday 09 September 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

**NOTE NON-STANDARD DATE, TIME, AND ROOM**

UserMagnus Myreen, Chalmers University, Sweden.

HouseFW11.

ClockThursday 18 August 2016, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Design for Security Test against Fault Injection Attack, and Fast Test with Compressive Sensing

Note unusual time and venue. Talk follows 14:00 to 14:45 talk.

UserProf Huiyun Li, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

ClockTuesday 02 August 2016, 14:45-15:30

Computer Laboratory Computer Architecture Group Meeting

Barrier-Aware Warp Scheduling for Throughput Processors

Note unusual time

UserProf Yu Zhibin, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

ClockTuesday 02 August 2016, 14:00-14:45

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

UserRobert Atkey, University of Strathclyde.

HouseFW26.

ClockFriday 29 July 2016, 14:00-15:00

Computer Laboratory Wednesday Seminars

From EDA to NDA: Treating Networks like Hardware Circuits

(Out-of-term, one-off extra seminar.)

UserGeorge Varghese - Microsoft Research.

HouseLecture Theatre 2, Computer Laboratory.

ClockTuesday 12 July 2016, 13:30-14:30

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

UserRyan Newton, University of Indiana.

HouseFW26.

ClockFriday 01 July 2016, 14:00-15:00

NLIP Seminar Series

Text Readability Assessment for Second Language Learners

UserMenglin Xia (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 01 July 2016, 12:00-13:00

Computer Laboratory Computer Architecture Group Meeting

OpenPiton

UserJonathan Balkind, Princeton University.

HouseFW11, Computer Laboratory.

ClockThursday 30 June 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

UserJohn Wickerson, Imperial College.

HouseFW26.

ClockFriday 24 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.

HouseFW26.

ClockFriday 17 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

UserJasper Lee, Brown University.

HouseFW26.

ClockFriday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.

HouseFW26.

ClockFriday 03 June 2016, 14:00-15:00

Rainbow Group Seminars

Clarifying hypotheses by sketching data

UserMariana Marasoiu (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 02 June 2016, 11:15-12:15

NLIP Seminar Series

Incremental CCG parsing and its applications

UserBharat Ram Ambati, University of Edinburgh/Apple.

HouseFW26, Computer Laboratory.

ClockFriday 27 May 2016, 12:00-13:00

Women@CL Events

women@CL talklet -- NetOS, Security, and NLP group

UserDesislava Hristova, Sheharbano Khattak, Menglin Xia.

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockThursday 26 May 2016, 13:00-14:00

The Wheeler Lectures in Computer Science

A History of Virtualisation in Operating Systems.

[14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]

UserDr Andrew Herbert OBE, FREng...

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 May 2016, 14:30-18:00

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

UserEkaterina Komendantskaya, Heriot-Watt University, Edinburgh.

HouseFW26.

ClockFriday 20 May 2016, 14:00-15:00

Rainbow Group Seminars

How do users develop trust in ehealth services?

UserTanja Schomann (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 19 May 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

No Littering!

Please note: Unusual day of week and time.

UserBjarne Stroustrup - Morgan Stanley and Columbia University.

HouseLecture Theatre 1, Computer Laboratory.

ClockFriday 13 May 2016, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

UserRobbert Krebbers, Aarhus University.

HouseFW26.

ClockFriday 13 May 2016, 14:00-15:00

Computer Laboratory Tech Talks

A Career In Ethical Hacking

UserAlex King, Director, LD Capital Services..

HouseSeminar Room 3, Hauser Forum.

ClockFriday 13 May 2016, 13:05-14:05

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

UserMartin Berger, University of Sussex.

HouseFW26.

ClockFriday 06 May 2016, 14:00-15:00

Women@CL Events

women@CL 2015/16 AGM

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, FW11.

ClockThursday 05 May 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

UserIlias Garnier, ENS Paris.

HouseFW26.

ClockFriday 29 April 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

UserMatthew Danish (University of Cambridge).

HouseFW26.

ClockThursday 28 April 2016, 13:00-14:00

Rainbow Group Seminars

Lightfield Media Production Systems for Enhanced Creativity in Post-Production

UserFrederik Zilly (Fraunhofer IIS, Erlangen, Germany).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 28 April 2016, 11:15-12:15

Computer Laboratory Tech Talks

Data-driven Retail

UserDhruv Kumar,The Hut Group.

HouseFW26, Computer Laboratory.

ClockWednesday 27 April 2016, 13:05-14:05

Computer Laboratory Tech Talks

Bitcoin – Design Demystified

UserAlexey Akhunov, JPMorgan.

HouseFW26, Computer Laboratory.

ClockMonday 25 April 2016, 13:05-14:15

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

UserPaulo Oliva, Queen Mary, University of London.

HouseFW26.

ClockFriday 22 April 2016, 14:00-15:00

Women@CL Events

Microsoft talk -- cancelled

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 21 April 2016, 13:00-14:00

NLIP Seminar Series

From passive to interactive (multimodal) language learning

UserAngeliki Lazaridou, University of Trento.

HouseFW26, Computer Laboratory.

ClockFriday 15 April 2016, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

UserJeremy Siek, Indiana University.

HouseFW26.

ClockFriday 08 April 2016, 14:00-15:00

NLIP Seminar Series

Where Can I Buy a Boulder? Searching for Offline Retail Locations

UserSandro Bauer (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 08 April 2016, 12:00-13:00

Computer Laboratory Security Seminar

Understanding, Characterizing, and Detecting Facebook Like Farms

UserDr. Emiliano De Cristofaro, Senior Lecturer (Associate Professor), University College London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 22 March 2016, 14:00-15:00

NLIP Seminar Series

Texts Come from People - How Demographic Factors Influence NLP Models

UserDirk Hovy, University of Copenhagen.

HouseFW26, Computer Laboratory.

ClockFriday 18 March 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

UserFredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.

HouseFW26.

ClockFriday 11 March 2016, 14:00-15:00

NLIP Seminar Series

Tracing concepts through time

UserGabriel Recchia (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 11 March 2016, 12:00-13:00

Computer Laboratory Tech Talks

Personal Program Analysis

UserDr Julian Tibble, VP Applications Engineering at Semmle Ltd.

HouseFW26, Computer Laboratory.

ClockTuesday 08 March 2016, 13:15-14:15

NLIP Seminar Series

General-Purpose Representation Learning from Words to Sentences

***PLEASE NOTE CHANGED (DIFFERENT) TIME***

UserFelix Hill (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 04 March 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

THIS TALK HAS BEEN CANCELLED/POSTPONED

THIS TALK HAS BEEN CANCELLED/POSTPONED

UserMartín Escardó, School of Computer Science, University of Birmingham.

HouseSS03.

ClockThursday 03 March 2016, 14:00-15:00

Computer Laboratory Wednesday Seminars

CST Part Ib, Group Project Presentations

UserPart Ib students of the Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 March 2016, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

A call-by-value realizability model for PML

NOTE UNUSUAL VENUE

UserRodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.

HouseSS03.

ClockFriday 26 February 2016, 14:00-15:00

NLIP Seminar Series

Understanding generative learning in the individual brain

UserZoe Kourtzi (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 26 February 2016, 12:00-13:00

CL-CompBio

Bayesian factorization of multiple data sources

UserProfessor Samuel Kaski, Professor of Computer Science, Aalto University.

HouseLecture Theatre 2, Computer Laboratory.

ClockThursday 25 February 2016, 15:00-16:00

Rainbow Group Seminars

Rainbow Group Part II project presentations

UserSpeaker to be confirmed.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 25 February 2016, 13:00-14:00

NLIP Seminar Series

Data Science at The Guardian

UserFelix Sanchez-Garcia, The Guardian.

HouseSW01, Computer Laboratory.

ClockWednesday 24 February 2016, 15:00-16:00

Computer Laboratory Wednesday Seminars

Data Science at The Guardian

There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.

UserFelix Sanchez-Garcia, The Guardian.

HouseSW 01, Computer Laboratory.

ClockWednesday 24 February 2016, 15:00-16:00

Computer Laboratory Tech Talks

Why Big Data & Games go hand in hand

UserChris Smith, Jagex.

HouseFW26, Computer Laboratory.

ClockTuesday 23 February 2016, 13:35-14:05

Computer Laboratory Tech Talks

The Real Villains in Online Games

UserPhilip Bielby, Jagex.

HouseFW26, Computer Laboratory.

ClockTuesday 23 February 2016, 13:05-13:35

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

UserConor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.

HouseFW26.

ClockFriday 19 February 2016, 14:00-15:00

NLIP Seminar Series

What Happens Next? Event Prediction Using a Compositional Neural Network Model

UserMark Granroth-Wilding, Computer Laboratory.

HouseFW26, Computer Laboratory.

ClockFriday 19 February 2016, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Exploring the Web Frontier

UserGareth Tyson (Queen Mary University of London).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 18 February 2016, 15:00-16:00

Women@CL Events

Talklet -- DTG and AI group

UserDiana A. Vasile, Naruemon Pratanwanich (Ploy).

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 18 February 2016, 13:00-14:00

Rainbow Group Seminars

Rainbow Group Part II project presentations

UserSpeaker to be confirmed.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 18 February 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Communication with Artificial Intelligences

UserProf. Ann Copestake - University of Cambridge, Computer Laboratory..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 February 2016, 14:00-15:00

Computer Laboratory Tech Talks

Kotlin: What it takes to make a programming language

UserAndrey Breslav, Lead Language Designer and Project Manager, JetBrains.

HouseFW26, Computer Laboratory.

ClockWednesday 17 February 2016, 13:05-14:10

REMS lunch

Compiling algebraic effects to Javascript in js_of_ocaml

UserArmaël Guéneau, ENS Lyon (visiting OCamllabs).

HouseFW11.

ClockWednesday 17 February 2016, 13:00-14:00

Computer Laboratory Tech Talks

Real Processors for Real-time

UserAntony John Penton, Senior Principal Engineer, CPU Group, ARM Holdings, Cambridge, UK.

HouseFW26, Computer Laboratory.

ClockMonday 15 February 2016, 13:05-14:10

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

UserAndrew Swan, The Logic Group, School of Mathematics, University of Leeds.

HouseFW11.

ClockFriday 12 February 2016, 14:00-15:00

NLIP Seminar Series

Modern Deep Learning through Bayesian Eyes

UserYarin Gal, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 12 February 2016, 12:00-13:00

Rainbow Group Seminars

A Model of Local Adaptation

UserRafal Mantiuk (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 11 February 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

Predicting Psychology from Social Media Data

UserDr David Stillwell - Judge Management School, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 February 2016, 14:00-15:00

REMS lunch

Not-quite-so-broken TLS 1.3 mechanised conformance checking

UserHannes Mehnert.

HouseFW11.

ClockWednesday 10 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

What is an Algorithm?

NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)

UserYuri Gurevich, Microsoft Research Redmond, USA.

HouseSW01.

ClockTuesday 09 February 2016, 16:00-17:00

Computer Laboratory Security Seminar

The Unfalsifiability of security claims

UserCormac Herley, Microsoft Research, Redmond.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 09 February 2016, 14:00-15:00

REMS lunch

Cache Storage Channels: Alias-Driven Attacks

NON-STANDARD DAY: NEXT MONDAY

UserRoberto Guanciale, KTH.

HouseFW26.

ClockMonday 08 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

UserDominic Orchard, Computer Laboratory.

HouseSS03.

ClockFriday 05 February 2016, 14:00-15:00

NLIP Seminar Series

Multilingual Image Description with Neural Sequence Models

UserEva Hasler, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 05 February 2016, 12:00-13:00

Rainbow Group Seminars

Deep Learning on geometric data

UserDavide Boscaini, Università della Svizzera Italiana.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 04 February 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

The Supercloud: Opportunities and Challenges

UserProf Hakim Weatherspoon - Cornell University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 February 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interacting Hopf monoids: the algebra of signal flow diagrams

NOTE UNUSUAL VENUE

UserFabio Zanasi, Radboud University of Nijmegen, Netherlands.

HouseSS03.

ClockFriday 29 January 2016, 14:00-15:00

Women@CL Events

SwiftKey Keyboard: Language Modelling and Beyond

UserCaroline Gasperin, Language Team Lead, SwiftKey.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 28 January 2016, 13:00-14:00

Rainbow Group Seminars

Objects or Data: Alternative interaction models to OOP

UserLuke Church (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 28 January 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

Synthetic Biology

User Dr. Jim Haseloff - Department of Plant Sciences, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 January 2016, 14:00-15:00

Computer Laboratory Tech Talks

Why do I need to keep recharging my smart phone?

UserSimon George-Kelso, MediaTek.

HouseFW26, Computer Laboratory.

ClockMonday 25 January 2016, 13:05-14:00

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

UserDanel Ahman, University of Edinburgh, Scotland.

HouseFW26.

ClockFriday 22 January 2016, 14:00-15:00

Rainbow Group Seminars

Are Machine Learning Systems Unethical?

UserAlan Blackwell (Cambridge: Computer Laboratory and Crucible).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 21 January 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

Finding what is invisible through computation

User Dr Rafal Mantiuk - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 January 2016, 14:00-15:00

Computer Laboratory Tech Talks

Shaping Energy with Technology

UserOliver Burstall CTO, Origami Energy.

HouseFW26, Computer Laboratory.

ClockWednesday 20 January 2016, 13:05-14:00

Computer Laboratory Tech Talks

Building a Trading System (How we really do it…)

UserJohan Ditmar, Head of Investment Operations Technology, Winton Capital.

HouseFW11, Computer Laboratory.

ClockMonday 18 January 2016, 13:05-14:10

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

UserPawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

HouseFW26.

ClockFriday 15 January 2016, 14:00-15:00

Women@CL Events

Queuing Theory and Scale

UserCara Donnelly, Google.

HouseComputer Laboratory, William Gates Building, LT2.

ClockThursday 14 January 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

A continuation passing translation for functional session types

UserSam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.

HouseFW26.

ClockFriday 04 December 2015, 14:00-15:00

Rainbow Group Seminars

Rainbow Seminar - A Model of Local Adaptation

UserDr Rafal Mantiuk, Graphics and Interaction Group, Computer Laboratory.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 03 December 2015, 14:15-15:15

Computer Laboratory Wednesday Seminars

Understanding and Verifying Javascript Programs.

User Prof Philippa Gardner - Imperial College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 December 2015, 14:00-15:00

Computer Laboratory Tech Talks

Making sense of 20 billion data points a day

Food provided so please register for the talk so that we can gauge numbers.

UserVince Darley – Chief Scientist, King.

HouseFW26, Computer Laboratory.

ClockWednesday 02 December 2015, 13:00-14:00

Computer Laboratory Tech Talks

Cybersecurity framework: a deep dive

UserHarry Biddle – Quality Engineer at Palantir, Mathematician turned Software Engineer.

HouseFW26, Computer Laboratory.

ClockMonday 30 November 2015, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Typed realizability for first-order classical analysis

UserValentin Blot, Mathematical foundations group, computer science department, University of Bath.

HouseFW26.

ClockFriday 27 November 2015, 14:00-15:00

NLIP Seminar Series

Lacking Integrity: HPSG as a Morphosyntactic Theory

UserGuy Edward Toh Emerson (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 27 November 2015, 12:00-13:00

Women@CL Events

Mentoring Workshop

UserSharon Saunders.

HouseComputer Laboratory, William Gates Building, Room FW11.

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

Computer Laboratory Wednesday Seminars

Communication Technologies Research at the NPL

UserDr Tian-Hong LOH - National Physical Laboratory UK.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 November 2015, 14:00-15:00

Computer Laboratory Tech Talks

"Coding your way out of a paper bag"

UserFrances Buontempo, Bloomberg.

HouseFW26, Computer Laboratory.

ClockWednesday 25 November 2015, 13:00-14:15

Computer Laboratory Tech Talks

What do you do with 10 million unlabelled images?

UserAlexandre Dalyac, Tractable.

HouseFW26, Computer Laboratory.

ClockMonday 23 November 2015, 13:00-14:00

Computer Laboratory Tech Talks

Computer Science Collides With Reality

UserTom Rathborne (senior developer at Booking.com) and Steffen Mueller (Senior Manager Technology Infrastructure and Developer/Admin at Comprehensive Perl Archive Network).

HouseFW11, Computer Laboratory.

ClockFriday 20 November 2015, 13:00-14:00

Rainbow Group Seminars

Deep Learning in Facial Analysis

UserRainbow Group, Computer Laboratory, Univeristy of Cambridge.

HouseSS03 Meeting Room, Computer Laboratory.

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

Computer Laboratory Tech Talks

Supporters Club recruitment fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockThursday 19 November 2015, 11:30-16:00

Computer Laboratory Wednesday Seminars

Talk Cancelled (was 'Synthetic Biology')

This talk is cancelled.

UserDr. Jim Haseloff - Department of Plant Sciences, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 November 2015, 14:00-15:00

Research Students Lecture Series

Introduction to Bayesian inference

UserThomas Brouwer (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 17 November 2015, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Online Space Complexity

UserNathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7.

HouseFW26.

ClockFriday 13 November 2015, 14:00-15:00

Computer Laboratory Tech Talks

Code DNA

UserDimitrios Staikos, Bloomberg.

HouseFW26, Computer Laboratory.

ClockWednesday 11 November 2015, 13:00-14:15

Computer Laboratory NetOS Group Talklets

ACM IMC Trip Report

UserDiana Andreea Popescu (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 10 November 2015, 13:15-13:45

Research Students Lecture Series

Introduction to Social Choice Theory

UserGuy Edward Toh Emerson (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 10 November 2015, 13:00-14:00

Computer Laboratory Tech Talks

Stealing App Credentials for Fun & Profit

Register for the event at: https://docs.google.com/forms/d/1ttyw9JDMqa2tRF4lFKOH3ppiigreMISi2sWXl1Nut88/viewform

UserRobert Duncan, Netcraft.

HouseFW26, Computer Laboratory.

ClockMonday 09 November 2015, 13:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Global Realisations of Local Specifications

UserMartin Otto, Technische Universität Darmstadt, Germany.

HouseFW26.

ClockFriday 06 November 2015, 14:00-15:00

Computer Laboratory Tech Talks

Demystifying a Technology career in Finance Q&A

UserPanel of Cambridge Alumni in a variety of roles and seniorities in Technology at Morgan Stanley.

HouseFW11, Computer Laboratory.

ClockFriday 06 November 2015, 13:00-14:00

NLIP Seminar Series

How much linguistics is needed for NLP?

UserEdward Grefenstette.

HouseFW26, Computer Laboratory.

ClockFriday 06 November 2015, 12:00-13:00

Computer Laboratory Security Group meeting presentations

About the (in)security of CAPTCHAs

UserCarlos Javier Hernández-Castro, Complutense University, Madrid, Spain.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 30 October 2015, 16:00-16:20

NLIP Seminar Series

Internal Seminar

UserSpeaker to be confirmed.

HouseFW26, Computer Laboratory.

ClockFriday 30 October 2015, 12:00-13:00

Computer Laboratory Wednesday Seminars

Today’s and Tomorrow’s Camera Processing Pipelines

UserProf Graham Finlayson - University of East Anglia.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 October 2015, 14:00-15:00

Computer Laboratory Tech Talks

Adding Security Activities to Agile

Food provided so please register for the talk so that we can gauge numbers.

UserClara Juanes-Vallejo and Pali Surdhar, Thales.

HouseFW26, Computer Laboratory.

ClockMonday 26 October 2015, 13:30-14:00

Computer Laboratory Tech Talks

nShield HSMs

Food provided so please register for the talk so that we can gauge numbers.

UserRichard Kettlewell, Thales.

HouseFW26, Computer Laboratory.

ClockMonday 26 October 2015, 13:00-13:30

Computer Laboratory Programming Research Group Seminar

Towards a dynamic object model within Unix processes

UserStephen Kell (University of Cambridge).

HouseGS15.

ClockFriday 23 October 2015, 14:00-15:00

Computer Laboratory Tech Talks

Break into a hacker’s mind

UserAldwin Saugere (Vice President, IT Security Architecture, Morgan Stanley).

HouseFW11, Computer Laboratory.

ClockFriday 23 October 2015, 13:00-14:00

NLIP Seminar Series

Internal Seminar

UserNLIP Postdocs and PhDs.

HouseFW26, Computer Laboratory.

ClockFriday 23 October 2015, 12:00-13:00

Computer Laboratory Tech Talks

Building location-based services

UserSalvatore Scellato, Senior Software Engineer, Google.

HouseLT2, Computer Laboratory.

ClockWednesday 21 October 2015, 13:15-14:15

REMS lunch

Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

REMS lunch *with lunch*. Back in Room FW11 (not SS03)

UserStephen Kell.

HouseFW11.

ClockWednesday 21 October 2015, 13:00-14:00

Computer Laboratory Security Group meeting presentations

Behavioral Decision Making in Interdependent Security Games

UserAshish R. Hota, PhD Student, School of Electrical and Computer Engineering Purdue University.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 20 October 2015, 16:00-17:00

Research Students Lecture Series

Programming in Haskell

UserMichael B. Gale (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 20 October 2015, 13:00-14:00

REMS lunch

REMS lunch - sync meeting

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 14 October 2015, 13:00-14:00

NLIP Seminar Series

Understanding Word Embeddings

UserOmer Levy, Bar-Ilan University.

HouseFW11, Computer Laboratory.

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

Computer Laboratory Tech Talks

How the studio environment and processes foster innovation

UserHuw Bowles and Hale Harding, Research Scientists & programmers at Studio Gobo.

HouseFW26, Computer Laboratory.

ClockTuesday 13 October 2015, 13:15-14:30

NLIP Seminar Series

Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics

We only have LT2 for the hour, so please don't enter before 1pm and don't be late for the talk, as it will start promptly at 1:05 and we'll have to leave before 2pm.

UserTony Veale, University College Dublin.

HouseLT2, Computer Laboratory.

ClockThursday 08 October 2015, 13:00-14:00

NLIP Seminar Series

Game of Tropes: Exploring the Placebo Effect in Computational Creativity

UserTony Veale, University College Dublin.

HouseFW26, Computer Laboratory.

ClockWednesday 07 October 2015, 16:00-17:00

REMS lunch

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseFW26.

ClockTuesday 06 October 2015, 13:00-14:00

NLIP Seminar Series

Joint A* Syntactic and Semantic Parsing for CCG

UserMike Lewis, University of Washington.

HouseFW26, Computer Laboratory.

ClockFriday 25 September 2015, 12:00-13:00

REMS lunch

Algebraic Principles for Program Verification and Refinement Tools

UserVictor Gomes.

HouseFW11.

ClockThursday 17 September 2015, 14:30-15:30

REMS lunch

POSTPONED: Abstract machines and certified compilers

UserMaciej Piróg.

HouseFW26.

ClockThursday 17 September 2015, 10:00-11:00

REMS lunch

Rozzle: De-Cloaking Internet Malware

UserBen Livshits.

HouseFW11.

ClockWednesday 16 September 2015, 13:00-14:00

REMS lunch

Hardware Support for Compartmentalisation

UserRobert Norton.

HouseFW26.

ClockTuesday 15 September 2015, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

The Gamma: Programming tools for data journalism

UserTomas Petricek (University of Cambridge).

HouseGS15.

ClockFriday 11 September 2015, 14:00-15:00

NLIP Seminar Series

Learning Structural Kernels for Natural Language Processing

UserDaniel Beck, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 11 September 2015, 12:00-12:30

REMS lunch

Checking very long ARM traces - An informal introduction

UserAli Sezgin, University of Cambridge.

HouseFW11.

ClockWednesday 09 September 2015, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserNoa Zilberman (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 08 September 2015, 13:15-13:45

REMS lunch

Modelling pcap expressions

UserNik Sultana.

HouseFW11.

ClockWednesday 26 August 2015, 13:00-14:00

NLIP Seminar Series

Cross-lingual transfer of a semantic parser via parallel data

UserKilian Evang, University of Gronigen.

HouseFW26, Computer Laboratory.

ClockFriday 07 August 2015, 12:00-13:00

Computer Laboratory NetOS Group Talklets

<<see netos mailing list>>

UserNik Sultana (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 04 August 2015, 13:15-13:45

Computer Laboratory Security Seminar

Massively Parallel Hardware Security Platform

UserPetr Svenda, Masaryk University, Czech Republic.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 28 July 2015, 14:00-15:00

REMS lunch

Understanding Memory Model Performance

UserCarl Ritson (University of Kent).

HouseFW11.

ClockWednesday 22 July 2015, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Brand Objects and Gradual Contracts

UserTimothy Jones (Victoria University of Wellington).

HouseSS03.

ClockTuesday 21 July 2015, 12:00-13:00

Rainbow Group Seminars

Advances in Robust Deformable Object Alignment

UserStefanos Zafeiriou, Imperial College.

HouseLecture Theatre 2, Computer Laboratory.

ClockMonday 20 July 2015, 10:45-11:45

Rainbow Group Seminars

From high dynamic range to perceptual realism

UserRafal Mantiuk, Bangor University.

HouseLecture Theatre 2, Computer Laboratory.

ClockMonday 20 July 2015, 09:30-10:30

Computer Laboratory Wednesday Seminars

Interaction + Graphics: Four Lectures By Computer Laboratory Visitors

This is a cross posting from the Rainbow Group.

User(Four Guest Lecturers).

HouseLecture Theatre 1, Computer Laboratory.

ClockMonday 20 July 2015, 09:30-11:45

Computer Laboratory NetOS Group Talklets

Trip report

UserNik Sultana (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 14 July 2015, 13:15-13:45

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserNik Sultana (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 30 June 2015, 13:15-13:45

Computer Laboratory Security Seminar

Making Better Privacy Decisions in Ubiquitous Computing Environments

UserSerge Egelman, International Computer Science Institute (ICSI) and Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 26 June 2015, 14:00-15:00

NLIP Seminar Series

Improving & Better Understanding Word Vector Representations

UserManaal Faruqui, Carnegie Mellon University.

HouseFW26, Computer Laboratory.

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

REMS lunch

Kneecap: model-based generation and analysis of network traffic

UserNik Sultana, Computer Lab.

HouseFW11.

ClockWednesday 17 June 2015, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserNik Sultana (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 16 June 2015, 13:15-13:45

Computer Laboratory Programming Research Group Seminar

Improving Implicit Parallelism

UserJose Calderon, University of York.

HouseSS03.

ClockFriday 12 June 2015, 14:00-15:00

NLIP Seminar Series

Crowdsourcing the annotation of rumours in social media

UserMaria Liakata, University of Warwick.

HouseFW26, Computer Laboratory.

ClockFriday 12 June 2015, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

The vision for a Data Transparency Lab

UserNikolaos Laoutaris (Telefonica Research in Barcelona).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockFriday 05 June 2015, 14:00-15:00

REMS lunch

Verification Research + X = Impact

nonstandard room: FW26

UserDr John O’Leary.

HouseFW26.

ClockWednesday 03 June 2015, 13:00-14:00

Computer Laboratory Security Seminar

Massively Parallel Hardware Security Platform

UserPetr Svenda, Masaryk University, Czech Republic.

HouseLT2, Computer Laboratory, William Gates Building.

ClockThursday 28 May 2015, 14:00-15:00

Computer Laboratory Wednesday Seminars

Probabilistic Programming; Ways Forward

UserDr Frank Wood - Dept Engineering Science, Oxford.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 May 2015, 14:00-15:00

NLIP Seminar Series

Open System Categorical Quantum Semantics in Natural Language Processing

UserDimitri Kartsaklis, Queen Mary University of London.

HouseFW26, Computer Laboratory.

ClockFriday 22 May 2015, 12:00-13:00

Rainbow Group Seminars

Computer Vision Systems for Real-World Use

UserCecily Morrison, Microsoft Research Cambridge.

HouseRainbow Seminar Room (SS03), Computer Laboratory.

ClockThursday 21 May 2015, 11:15-12:15

Computer Laboratory Wednesday Seminars

Cancelled : Full reduction in the face of absurdity.

Talk cancelled for today - speaker cannot make it.

UserDidier Remy - Inria.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 May 2015, 14:00-15:00

NLIP Seminar Series

Model Theory and the Semantics of Natural Languages

UserStanley Peters, Stanford University.

HouseFW26, Computer Laboratory.

ClockFriday 15 May 2015, 12:00-13:00

Women@CL Events

women@CL Talklets (Session 3) - SRG

UserComputer Laboratory, University of Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 14 May 2015, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Why isn't IoT here yet?

Note unusual time

UserPilgrim Beart .

HouseFW11, Computer Laboratory.

ClockThursday 14 May 2015, 12:00-13:00

REMS lunch

Title to be confirmed

nonstandard room: FW26

UserSpeaker to be confirmed.

HouseFW26.

ClockWednesday 06 May 2015, 13:00-14:00

NLIP Seminar Series

Disfluency detection in spoken learner English

UserAndrew Caines, DTAL, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 01 May 2015, 12:30-13:00

NLIP Seminar Series

Modelling implicit language learning with distributional semantics

UserDimitris Alikaniotis, DTAL, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 01 May 2015, 12:00-12:30

Computer Laboratory Wednesday Seminars

Toward Causal Machine Learning

UserProf. Dr. Bernhard Schölkopf - Max Planck Institute for Intelligent Systems.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 April 2015, 14:00-15:00

Computer Laboratory Security Seminar

Captchas - the state of play

UserDr Jeff Yan, Newcastle University.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 28 April 2015, 14:00-15:00

NLIP Seminar Series

Statistical modelling of metaphor

UserEkatarina Shutova, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 24 April 2015, 12:00-13:00

Women@CL Events

Egypt's Contentious Media: Transnational Dimensions

UserAnne Alexander, University of Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 23 April 2015, 13:00-14:00

Computer Laboratory Security Seminar

Understanding and Fighting Malicious Activity on Online Social Networks

UserGianluca Stringhini, Assistant Professor, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 21 April 2015, 14:00-15:00

NLIP Seminar Series

The Geometry of Machine Translation

UserRory Waite, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 17 April 2015, 12:00-13:00

Computer Laboratory Wednesday Seminars

Deep Learning of Natural Language Semantics

Extrodinary (out-of-term) Babbage Seminar

UserProf Yoshua Bengio - Université de Montréal.

HouseLecture Theatre 1, Computer Laboratory.

ClockMonday 13 April 2015, 14:00-15:00

REMS lunch

The Problem of Programming Language Concurrency Semantics

UserJean Pichon-Pharabod.

HouseFW11.

ClockWednesday 08 April 2015, 13:00-14:00

Computer Laboratory Security Seminar

Chupja--PHY Covert Channels: Can you see the Idles?

UserHakim Weatherspoon, assistant professor, Department of Computer Science, Cornell University.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 31 March 2015, 14:00-15:00

Computer Laboratory NetOS Group Talklets

What is C anyway?

note that this weeks talklet will be longer than usual

UserKayvan Memarian and Peter Sewell.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 31 March 2015, 13:15-14:00

REMS lunch

Processor Memory System Verification using DOGReL

UserDaryl Stewart, ARM.

HouseFW11.

ClockWednesday 25 March 2015, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserKC Sivaramakrishnan (Purdue University, University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 17 March 2015, 13:15-13:45

Women@CL Events

2nd Oxbridge Women in Computer Science Conference

UserInvited speaker to be confirmed.

HouseOxford.

ClockMonday 16 March 2015, 09:00-21:00