rhm31's list

House Webinar, Computer Laboratory, William Gates Building..

Cyber security and privacy issues raised by mobile data extraction for evidential purposes.

User Anna-Maria Piskopani, Chris Hargreaves.

Tuesday 26 November 2024, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Bluesky and the AT Protocol: Usable Decentralized Social Media

User Martin Kleppmann (University of Cambridge).

Friday 22 November 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Sensing human activities: from the lab to the home of the elderly

User Professor Claudio Bettini - Department of Computer Science, University of Milan, Italy.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

On the critical path to implant backdoors and the effectiveness of potential mitigation techniques: Learnings from XZ

User Mario Lins, Johannes Kepler University Linz.

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

House Webinar & FW11, Computer Laboratory, William Gates Building..

Design and Verification of Byzantine Fault Tolerant CRDTs

User Liangrun Da, Technical University of Munich.

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

Wednesday Seminars - Department of Computer Science and Technology

Computing for Climate Science and Programming for the Planet

User Dr Dominic Orchard - Department of Computer Science and Technology, University of Cambridge. Co-director of the Institute of Computing for Climate Science (ICCS).

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

Federated Deep Learning for Intrusion Detection in Smart Critical Infrastructure

User Segun Popoola, Anglia Ruskin University.

Tuesday 12 November 2024, 14:00-15:00

House Webinar & FW26, Computer Laboratory, William Gates Building..

Tracking the Takes and Trajectories of News Narratives from Trustworthy and Worrisome Websites

User Hans Hanley, Stanford University.

Friday 08 November 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education

User Dr Robert Chatley - Director, Software Engineering Practice and Director, DoC EdTech Lab, Imperial College London.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

Decision-making in cybercriminal underground spaces. Where to go, and why?

User Luca Allodi, Eindhoven University of Technology.

Tuesday 05 November 2024, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Developing Technical Interventions for Technical Abuse

User Kieron Ivy Turk, University of Cambridge.

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

Wheeler Lecture 2024: Supercharging the Human Mind With AI

User Professor Yvonne Rogers - Professor of Interaction Design, Director of UCL Interaction Centre, Deputy Head of the Computer Science Department UCL.

Wednesday 23 October 2024, 15:00-17:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

The Curious Case of Big Phishes in The Netherlands

User Hugo Bijmans, TNO & TU Delft.

Tuesday 08 October 2024, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Latency-aware routing in mix networks

User Mahdi Rahimi, KU Leuven.

Friday 20 September 2024, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Data-Agnostic Model Poisoning to Manipulating Federated Learning

User Kai (Lukas) Li, CISTER research centre, Portugal.

Tuesday 16 July 2024, 14:00-15:00

House TBC - probably SS03, Computer Laboratory.

Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

User Magnus Myreen ( Chalmers University, Sweden).

Friday 21 June 2024, 14:00-15:00

House Computer Lab, FW11.

How Misinformation Creators (Ab)use Generative AI Tools

User Amelia (Mia) Hassoun, University of Cambridge.

Tuesday 11 June 2024, 14:00-15:00

House GS15, Computer Laboratory, William Gates Building.

The end of world as we know it

User Arturo Bejar.

Friday 07 June 2024, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics

User Dr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 15 May 2024, 15:05-15:55

A selective and biased choice of techniques for building a distributed data store

User Paweł T. Wojciechowski, Poznan University of Technology.

Tuesday 14 May 2024, 12:00-13:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Automated detection of cryptocurrency investment scams at scale

User Jose Gilberto Atondo Siu (University of Cambridge).

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

Wednesday Seminars - Department of Computer Science and Technology

Exploring novel (bio)molecular spaces by design – a dialogue between representation and generation

User Professor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 May 2024, 15:05-15:55

Comodule representations of Second-order functionals

Note the unusual date and time.

User Andrej Bauer, University of Ljubljana.

Wednesday 01 May 2024, 10:00-11:00

House Online & LT2, Computer Laboratory, William Gates Building..

A biography of Tor - a cultural and technological history of power, privacy, and global politics at the internet's core

User Ben Collier, University of Edinburgh.

Friday 26 April 2024, 17:00-18:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Applications of proofs to network security

User Joseph Bonneau, New York University.

Tuesday 23 April 2024, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Legal Concepts in Cybersecurity and Privacy for Digital & Smart Environments

User Raj Sachdev, Cornell University & Plymouth State.

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

House Webinar & LT2, Computer Laboratory, William Gates Building..

Data Poisoning and Fakes in Mobile, Web and Cyber Physical Systems

User Soteris Demetriou, Imperial College London.

Tuesday 19 March 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Private Data Analysis over Large Populations

User Professor Graham Cormode - Research Scientist, Facebook and professor in the Department of Computer Science, University of Warwick.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 13 March 2024, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Mysticeti: Low-Latency DAG Consensus with Fast Commit Path

User Alberto Sonnino, Mysten Labs.

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

Choice Principles in Observational Type Theory

User Loïc Pujet (University of Stockholm).

Wednesday Seminars - Department of Computer Science and Technology

Friday 08 March 2024, 14:00-15:00

Distribution Shifts in Human-Centered Representation Learning

User Dr Ali Etemad - Associate Professor at Queen’s University, Canada. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 06 March 2024, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

How to Catch an AI Liar: Lie Detection in Black-Box LLMs by Asking Unrelated Questions

User Lorenzo Pacchiardi, University of Cambridge.

Tuesday 05 March 2024, 14:00-15:00

Epimorphisms and Acyclic Types in Univalent Mathematics

User Tom de Jong, University of Nottingham.

Friday 01 March 2024, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Characterizing Machine Unlearning through Definitions and Implementations

User Nicolas Papernot, University of Toronto and Vector Institute.

Thursday 29 February 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

A Data-Free, Universal Prior Distribution for Syntactic Structures

User Dr Fermin Moscoso del Prado Martin - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 28 February 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Making Large Language Models Safe: A Case Study of Llama2

User Pushkar Mishra - Lead AI Research Engineer, Meta and Computer Science Part 1B Supervisor, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 21 February 2024, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Owl - an augmented password-authenticated key exchange protocol

User Feng Hao, University of Warwick.

Tuesday 20 February 2024, 14:00-15:00

Synthesis modulo oracles

User Elizabeth Polgreen, University of Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 16 February 2024, 14:00-15:00

Graph Neural Networks for skillful weather forecasting

User Dr Ferran Alet - Research Scientist, Google DeepMind.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 14 February 2024, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Securing the WebPKI in Practice: A tour of the technologies, politics and open problems

User Dennis Jackson, Mozilla.

Tuesday 13 February 2024, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification

User Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 07 February 2024, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data

User Will Shackleton, Meta.

Tuesday 06 February 2024, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

One Protocol to Rule Them All? On Securing Interoperable Messaging

User Jenny Blessing (University of Cambridge).

Friday 26 January 2024, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

Today we have two Logic and Semantics talks, with a small gap for coffee in between.

User Lionel Parreaux, HKUST (Hong Kong University of Science and Technology).

Friday 26 January 2024, 15:15-16:15

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

User HKUST (Hong Kong University of Science and Technology).

Friday 26 January 2024, 15:15-16:15

Towards Secure Distributed Choreographies

User Andrew K. Hirsch (Buffalo).

Wednesday Seminars - Department of Computer Science and Technology

Friday 26 January 2024, 14:00-15:00

Quantum computing via the lens of additive combinatorics

User Dr Tom Gur - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 24 January 2024, 15:05-15:55

House Webinar & SS03, Computer Laboratory, William Gates Building..

A Comprehensive Study of the Extremist Narratives and the Role of Alternative Social Networks that Facilitate Radical Discourse

User Antonis Papasavva, University College London.

Tuesday 23 January 2024, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Two Sides of the Same Crime

User Michael Dewar, Vice President for Data Science at Mastercard.

Friday 19 January 2024, 16:00-17:00

Testing GPU Memory Consistency at Large

User Reese Levine, University of California Santa Cruz.

Friday 12 January 2024, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Differential Privacy: Theory to Practice for the 2020 US Census

User Simson Garfinkel.

Monday 18 December 2023, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Securing Supply Chains with Compilers

User Nicholas Boucher, University of Cambridge.

Tuesday 05 December 2023, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

25 years of crypto wars and privacy tussles – where next?

User Ross Anderson, Duncan Campbell, Ben Collier, Ahana Datta, Merlin Erroll, Gus Hosein, Julian Huppert, Jim Killock, Jen Persson, Sam Smith and Martyn Thomas.

Thursday 30 November 2023, 16:00-18:00

Wednesday Seminars - Department of Computer Science and Technology

A brief introduction to causal inference

User Dr Apinan Hasthanasombat - Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 29 November 2023, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Human-producible Adversarial Examples

User David Khachaturov, University of Cambridge.

Tuesday 28 November 2023, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Machine Learning needs Better Randomness Standards: Randomised Smoothing and PRNG-based attacks

User Pranav Dahiya, University of Cambridge.

Friday 24 November 2023, 16:00-17:00

A categorical semantics for neural networks

User Charlotte Aten, University of Denver.

Wednesday Seminars - Department of Computer Science and Technology

Friday 24 November 2023, 14:00-15:00

Cross-lingual transfer learning with multilingual masked language models

User Professor Mamoru Komachi - Research Professor, Tokyo Metropolitan University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 22 November 2023, 15:05-15:55

Wheeler Lecture 2023: Beyond functional programming: a taste of Verse

User Professor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge.

Wednesday 15 November 2023, 15:00-16:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Red teaming privacy-preserving systems using AI

User Yves-Alexandre de Montjoye, Imperial College London.

Tuesday 14 November 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Coherence Attacks and Defenses in 2.5D Integrated Systems

User Professor Paul Gratz - Professor in the Department of Electrical and Computer Engineering, Texas A&M University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge .

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 08 November 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Pathfinding for 10k agents

User Dr Keisuke Okumura - Visiting scholar at the Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 November 2023, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Data, Identity and Governance: Evolution and Trajectory of Digital Public Infrastructure in India

User Aakansha Natani, IIIT Hyderabad, India.

Tuesday 31 October 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

An invitation to univalent foundations of mathematics

User Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 25 October 2023, 15:05-15:55

Coherence by Normalization for Linear Multicategorical Structures

User Federico Olimpieri, University of Leeds.

Friday 20 October 2023, 14:00-15:00

House LT1, Computer Laboratory.

Software for Compositional Modeling

User John Baez, University of California Riverside.

Wednesday 18 October 2023, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

CIA to AIC: Why Cyber Must Enable the Business

User Keith A Price, Chief Security Officer, National Highways.

Tuesday 17 October 2023, 14:00-15:00

How to prove - hopefully - that polynomial time is not choiceless

User Benedikt Pago.

Wednesday Seminars - Department of Computer Science and Technology

Friday 13 October 2023, 14:00-15:00

How can we make trustworthy AI?

User Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 11 October 2023, 15:05-15:55

House Webinar & FW26, Computer Laboratory, William Gates Building..

A Tale of Two Internet (In)Security Problems

User Michael Schapira, Hebrew University of Jerusalem.

Tuesday 10 October 2023, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

On the Insecurity of PLC Systems

User Eli Biham, Technion.

Tuesday 19 September 2023, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

EviHunter: Identifying Digital Forensic Artifacts from Android Apps/Devices via Static & Dynamic Analysis + Android™ App Forensic Artifacts Database

User Yong Guan, Iowa State University.

Friday 21 July 2023, 16:00-17:00

Optimizations in a formally verified compiler

User David Monniaux, CNRS/VERIMAG and École Polytechnique.

Thursday 20 July 2023, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

A View of the Dark Web through the Lens of NLP and Language Modeling

User Youngjin Jin, Korea Advanced Institute of Science & Technology (KAIST).

Tuesday 27 June 2023, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

The Unlearning Problem(s)

User Anvith Thudi, University of Toronto.

Tuesday 20 June 2023, 14:00-15:00

Formalizing General Calculi with Binders in Rewriting Logic

User Jose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.

Friday 16 June 2023, 14:00-15:00

RoboCert: A Formal Specification Notation for Robotic Software

User Matthew Windsor, University of York.

Friday 09 June 2023, 14:00-15:00

House Webinar & SS03, Computer Laboratory, William Gates Building..

The Nym mixnet: Design and Evaluation

User Harry Halpin & Ania Piotrowska, Nym Technologies.

Tuesday 06 June 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy in mobility measurements

User Professor Jörg Ott - Technische Universität München.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 31 May 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Bayes in the age of intelligent machines

User Professor Tom Griffiths - Princeton University.

Wednesday 24 May 2023, 15:05-15:55

Making concurrency functional

User Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

Friday 19 May 2023, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

The INCEL Movement: A New Form of Technology-Facilitated Abuse

User Melissa Hamilton, University of Surrey.

Tuesday 16 May 2023, 14:00-15:00

Compound Memory Models

User Andrés Goens, University of Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 12 May 2023, 14:00-15:00

Learning the topology of complex systems from their dynamics

User Professor Ginestra Bianconi - Queen Mary University of London.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 10 May 2023, 15:05-15:55

House Webinar & LT2, Computer Laboratory, William Gates Building..

Testing the Effectiveness of Targeted Financial Sanctions on Russia: Law or War?

User Jason Sharman, University of Cambridge.

Tuesday 09 May 2023, 14:00-15:00

Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic

User Andrei Popescu, University of Sheffield.

Wednesday Seminars - Department of Computer Science and Technology

Friday 05 May 2023, 14:00-15:00

From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today

User Professor Richard Harper - Lancaster University.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 03 May 2023, 15:05-15:55

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

User Giannos Stamoulis, University of Montpellier.

Wednesday Seminars - Department of Computer Science and Technology

Friday 28 April 2023, 14:00-15:00

TALK CANCELLED: Explicit Weakening (A Functional Pearl)

User Professor Philip Wadler - Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 15 March 2023, 15:05-15:55

Graduality and Parametricity - Together again for the first time, for the second time

User Philip Wadler, University of Edinburgh.

Tuesday 14 March 2023, 14:00-15:00

Stochastic games and strategy complexity

User Mahsa Shirmohammadi, University of Oxford.

Friday 10 March 2023, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Algorithms and the criminal justice system: promises and challenges in deployment and research

User Miri Zilka, University of Cambridge.

Tuesday 07 March 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Backdoors in Machine Learning Models

User Dr Ilia Shumailov - Christ Church, University of Oxford.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 March 2023, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

On the motivations and challenges of affiliates involved in cybercrime

User Masarah Paquet-Clouston, Université de Montréal.

Tuesday 28 February 2023, 14:00-15:00

The Functional Machine Calculus

User Chris Barrett, University of Birmingham.

Wednesday Seminars - Department of Computer Science and Technology

Friday 24 February 2023, 14:00-15:00

Data Science and Machine Learning in Context

User Dr. Alfred Z. Spector Visiting Scholar, MIT EECS.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 22 February 2023, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

No One to Blame, but... : Fear and Failure in Securing Large Organisations

User Ahana Datta, University College London.

Tuesday 21 February 2023, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Memorial Event for Alexander 'Sandy' Fraser

User Various.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 15 February 2023, 16:00-18:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Binary Stars: How Crime Shapes Insurance and Insurance Shapes Crime

User Anja Shortland, King's College London.

Tuesday 14 February 2023, 14:00-15:00

Bidirectional typing is not just an implementation technique

User Meven Lennon-Bertrand, University of Cambridge.

Friday 03 February 2023, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

Influence Policing: Mapping the Rise of Strategic Communications and Digital Behaviour Change within UK Law Enforcement and Security Services

Note unusual time

User Ben Collier, University Of Edinburgh.

Tuesday 31 January 2023, 16:00-17:00

When Concurrency Strikes

User Matthew Parkinson, Microsoft Research.

Friday 27 January 2023, 14:00-15:00

Functional Programming with an Incremental Datalog

User Sebastian Erdweg, Johannes Gutenberg University Mainz.

Monday 19 December 2022, 11:00-12:00

Functional Programming with an Incremental Datalog

User Sebastian Erdweg, Johannes Gutenberg University Mainz.

Monday 19 December 2022, 11:00-12:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

A Sociotechnical Audit: Assessing Police use of Facial Recognition

Note unusual time

User Evani Radiya-Dixit, Minderoo Centre for Tech & Democracy.

Tuesday 13 December 2022, 16:00-17:00

String diagrams for semistrict n-categories

User Manuel Araujo, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Friday 02 December 2022, 14:00-15:00

Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations

User Professor Anind Dey - Dean and Professor of the Information School at the University of Washington.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 30 November 2022, 15:30-16:20

House Webinar & FW11, Computer Laboratory, William Gates Building..

The Security of Post-Quantum Telco Networks, or changing 10 billion door-locks in 197 countries

User Zygmunt A Lozinski, IBM.

Tuesday 29 November 2022, 14:00-15:00

The linear operator semantics of probabilistic programs

User Fredrik Dahlqvist, UCL.

Wednesday Seminars - Department of Computer Science and Technology

Friday 25 November 2022, 14:00-15:00

Formalised Mathematics: Obstacles and Achievements

User Professor Lawrence Paulson - Department of Computer Science and Technology.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 23 November 2022, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Bad men, good men, and loving women: Gender Constructions in the UK’s Online Action Counters Terrorism (ACT) Campaign

User Harmonie Toros, University of Kent.

Tuesday 22 November 2022, 14:00-15:00

Linear Logic and the Semantics of Concurrent Computation

User Alex Kavvos, University of Bristol.

Wednesday Seminars - Department of Computer Science and Technology

Friday 18 November 2022, 14:00-15:00

Financing Forests: A Credible Approach towards Halting Tropical Deforestation

User Professor Anil Madhavapeddy - Department of Computer Science and Technology.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 16 November 2022, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Towards Meaningful Stochastic Defences in Machine Learning

User Ilia Shumailov, University of Oxford.

Tuesday 15 November 2022, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Picking on locks: early security, cybersecurity, and the sophisticated criminal trope.

User Yanna Papadodimitraki, University of Cambridge.

Friday 11 November 2022, 16:00-17:00

On bilinearity of Whitehead products in Homotopy Type Theory

User Ulrik Buchholtz, University of Nottingham.

Wednesday Seminars - Department of Computer Science and Technology

Friday 11 November 2022, 14:00-15:00

CANCELLED: Turning the metaverse from myth to reality

User Herman Narula - CEO of Improbable.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 09 November 2022, 15:05-15:55

Subcubic certificates for CFL reachability

User Dmitry Chistikov, University of Warwick.

Friday 04 November 2022, 14:00-15:00

Coherent differentiation makes the differential lambda-calculus deterministic

User Thomas Ehrhard, University of Paris.

Friday 28 October 2022, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Secure and efficient networks

User Oleh Stupak, University of Cambridge.

Tuesday 25 October 2022, 14:00-15:00

Generic pattern unification: a categorical approach

User Ambroise Lafont, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Friday 21 October 2022, 14:00-15:00

Developing an artificial heart

User Dr Mark Goldberg - Camp Lowell Cardiology.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 19 October 2022, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

Technology-Facilitated Abuse: The Role of Tech in the Context of Intimate Partner Violence

User Leonie Tanczer, University College London.

Tuesday 18 October 2022, 14:00-15:00

∞-type theories and coherence problems

User Taichi Uemura, University of Stockholm.

Wednesday Seminars - Department of Computer Science and Technology

Friday 14 October 2022, 14:00-15:00

Would you trust a cybercriminal?

User Dr Alice Hutchings - Department of Computer Science and Technology.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 12 October 2022, 15:05-15:55

House Webinar & LT1, Computer Laboratory, William Gates Building..

Generative Language Model, Deepfake, and Fake News 2.0: Scenarios and Implications

User Dongwon Lee, Penn State University.

Tuesday 11 October 2022, 14:00-15:00

Mixing finite and infinite structure

User Michael Benedikt, University of Oxford.

Monday 10 October 2022, 16:00-17:00

Verification for free: using K to build a theorem prover for any language

User Bruce Collie, Runtime Verification.

Friday 07 October 2022, 14:00-15:00

The Expressive Power of CSP Quantifiers

User Lauri Hella, Tampere University.

Thursday 29 September 2022, 14:00-15:00

Title to be confirmed

User Lauri Hella, University of Helsinki.

Thursday 29 September 2022, 14:00-15:00

Algebraic type theory

User Steve Awodey, Carnegie Mellon University.

Tuesday 30 August 2022, 14:00-15:00

Staged Compilation with Two-Level Type Theory

User András Kovács, Eötvös Loránd University.

Monday 22 August 2022, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Analog vs. Digital Epsilons: Implementation Considerations for Differential Privacy

User Olya Ohrimenko, University of Melbourne.

Friday 19 August 2022, 16:00-17:00

Decoding Nets: A Formal Take on Address Translation

User Ben Fiedler, ETH.

Thursday 28 July 2022, 16:00-17:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Mapping the Geography of Cybercrime - findings from an expert survey

User Miranda Bruce, University of Oxford.

Friday 15 July 2022, 16:00-17:00

Finite-state polynomial computation

User Mikołaj Bojanczyk, University of Warsaw.

Friday 17 June 2022, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis

User Arwa Al Alsadi, Delft University of Technology.

Tuesday 14 June 2022, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Exploring Internet services mis-configuration at scale

User Danny Willems and Gregory Boddin, LeakIX; Raphael Proust, Nomadic Labs.

Friday 10 June 2022, 16:00-17:00

Symmetries in quantitative semantics

User Hugo Paquet, University of Oxford.

Wednesday Seminars - Department of Computer Science and Technology

Friday 10 June 2022, 14:00-15:00

Computational Inverse Design of Deployable Structures

User Professor Mark Pauly - Geometric Computing Laboratory, EPFL Swiss Federal Institute of Technology, Lausanne.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 08 June 2022, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

Reward Sharing for Mixnets

User Claudia Diaz, KU Leuven.

Tuesday 07 June 2022, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Balanced Allocations: The Power of Choice versus Noise

User Dr Thomas Sauerwald - Department of Computer Science and Technology.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 June 2022, 15:05-15:55

House Webinar & FW11, Computer Laboratory, William Gates Building..

PostCog: A “Search Engine” Enabling Interdisciplinary Research into Underground Forums at Scale

User Anh V. Vu, University of Cambridge.

Friday 27 May 2022, 16:00-17:00

Symmetries in Reversible Programming

User Vikraman Choudhury, University of Indiana.

Friday 27 May 2022, 14:00-15:00

Title to be confirmed

User Vikraman Choudhury, University of Indiana.

Wednesday Seminars - Department of Computer Science and Technology

Friday 27 May 2022, 14:00-15:00

AI Hardware and Real-World AI

User Andrew Fitzgibbon - Distinguished Engineer, Graphcore.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 25 May 2022, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

Are You Really Muted?: A Privacy Analysis of Mute Buttons in Video Conferencing Apps

User Kassem Fawaz, University of Wisconsin-Madison.

Tuesday 24 May 2022, 14:00-15:00

CANCELLED: Wheeler Lecture 2022

User David Silver, Principal Research Scientist at DeepMind.

Wednesday 18 May 2022, 15:15-16:45

House Webinar - link on talks.cam page after 12 noon Tuesday.

VerLoc: Verifiable Localization in Decentralized Systems

User Katharina Kohls, Radboud University.

Tuesday 17 May 2022, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

“You’re never left alone:” the use of digital technologies in domestic abuse

User Lisa Sugiura, Jason R.C. Nurse, Jacki Tapley and Chloe Hawkins.

Tuesday 10 May 2022, 14:00-15:00

Game comonads, FVM theorems, and bilinear maps

User Dan Marsden, University of Oxford.

Wednesday Seminars - Department of Computer Science and Technology

Friday 06 May 2022, 14:00-15:00

Safe and accurate satellite navigation with non-Gaussian models

User Dr Ian Sheret - Polymath Insight Limited.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 04 May 2022, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

The gap between research and practice in authentication

User Arvind Narayanan, Princeton University.

Tuesday 03 May 2022, 14:00-15:00

The complexity of counting problems

User David Richerby, University of Essex.

Friday 29 April 2022, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

Attacking and Fixing the Bitcoin Network

User Muoi Tran, National University of Singapore.

Tuesday 26 April 2022, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

Risk and Resilience: Promoting Adolescent Online Safety and Privacy through Human-Centered Computing

User Pamela Wisniewski, University of Central Florida.

Tuesday 22 March 2022, 14:00-15:00

House Webinar & FW11, Computer Laboratory, William Gates Building..

Design rules and Maxims for insecurity engineering for lock designs

Note unusual time and location

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

Friday 18 March 2022, 16:00-17:00

Cyclic Implicit Complexity

User Anupam Das, University of Birmingham.

Wednesday Seminars - Department of Computer Science and Technology

Friday 11 March 2022, 14:00-15:00

Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs

User Professor Michael Bronstein - Department of Computer Science, University of Oxford.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 09 March 2022, 15:05-15:55

House Webinar - link on talks.cam page from Monday afternoon.

Sex, money, and the mating market: How big data helps us understand sexual politics

Note unusual time

User Khandis Blake, University of Melbourne.

Tuesday 08 March 2022, 10:00-11:00

How undecidable are HyperLTL and HyperCTL*?

User Marie Fortin, University of Liverpool.

Wednesday Seminars - Department of Computer Science and Technology

Friday 04 March 2022, 14:00-15:00

Intelligent Systems of the People, by the People, for the People

User Xiaofan (Fred) Jiang - Associate Professor of Electrical Engineering and Computer Engineering, Columbia University.

Wednesday 02 March 2022, 15:05-15:55

A categorical view of conditional expectation

User Prakash Panangaden, McGill University and University of Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 25 February 2022, 14:00-15:00

AI x Mathematics

User Dr Alex Davies - DeepMind and Dr Petar Veličković - DeepMind / University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 23 February 2022, 15:05-15:55

CANCELLED -- The complexity of counting problems

User David Richerby, University of Essex.

Friday 18 February 2022, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Machine Learning in context of Computer Security

User Ilia Shumailov, University of Cambridge.

Tuesday 15 February 2022, 14:00-15:00

Relational databases versus relational models

User Alex Gurney, WebFlow.

Friday 11 February 2022, 14:00-15:00

House Webinar & LT2, Computer Laboratory, William Gates Building..

Trojan Source: Invisible Vulnerabilities

User Nicholas Boucher, University of Cambridge.

Tuesday 08 February 2022, 14:00-15:00

Categorical Foundations of Gradient-Based Learning

User Fabio Zanasi, UCL.

Wednesday Seminars - Department of Computer Science and Technology

Friday 04 February 2022, 14:00-15:00

Improving Quality of Experience for Video Users in Cellular Networks

User Professor Cormac J. Sreenan - Professor of Computer Science at University College Cork.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 02 February 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

The Quarks of Attention

User Professor Pierre Baldi - Distinguished Professor, Department of Computer Science Director, Institute for Genomics and Bioinformatics Associate Director, Center for Machine Learning and Intelligent Systems, University of California, Irvine.

Wednesday 26 January 2022, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

Incident Response as a Lawyers' Service

User Daniel Woods, University of Innsbruck, Austria.

Tuesday 25 January 2022, 14:00-15:00

Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software

User Mukesh Tiwari, University of Cambridge.

House tba.

Friday 21 January 2022, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

Transcending Transcend: Revisiting Malware Classification with Conformal Evaluation

User Federico Barbero, University of Cambridge.

Tuesday 18 January 2022, 14:00-15:00

Hansa Market, Cyberbunker, and Encrochat: The Security Practices of Organized Crime

User Erik van de Sandt, Dutch National Police and University of Bristol.

Friday 14 January 2022, 15:00-16:00

Why Johnny doesn’t write secure software?

User Awais Rashid, University of Bristol.

Tuesday 07 December 2021, 15:00-16:00

Comparing general definitions of type theories

User Peter LeFanu Lumsdaine, Stockholm University.

Friday 03 December 2021, 14:00-15:00

Securing the Future: Futures Literacy in Cyber Security

User Genevieve Liveley, University of Bristol.

Tuesday 30 November 2021, 14:00-15:00

A computational method for left adjointness

User Simon Forest, University of Aix-Marseille.

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

House LT1, Computer Laboratory, William Gates Building..

Teardown of encrypted USB Flash drives

User Sergei Skorobogatov, University of Cambridge.

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

Towards a geometry for syntax

User Jon Sterling, University of Aarhus.

Friday 19 November 2021, 14:00-15:00

Cybersecurity for Democracy: Providing Independent Auditing Frameworks for Platform Accountability

User Damon McCoy, New York University.

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

Enriched categories for optimal transport

User Simon Willerton, University of Sheffield.

Friday 12 November 2021, 14:00-15:00

Blind Backdoors in Deep Learning

User Eugene Bagdasaryan, Cornell Tech.

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

A formal context for metric semantics

User Radu Mardare, University of Strathclyde.

Wednesday Seminars - Department of Computer Science and Technology

Friday 05 November 2021, 14:00-15:00

Self-Organization of Lifelike Behaviors

User Dr Jeremy England - Georgia Institute of Technology, School of Physics .

Wednesday 03 November 2021, 15:05-15:55

Computational Methods to Measure and Mitigate Weaponized Online Information

User Gianluca Stringhini, Boston University.

Monday 01 November 2021, 14:00-15:00

The Semantics of Shared Memory in Intel CPU/FPGA Systems

User Dan Iorga, Imperial College London.

Wednesday Seminars - Department of Computer Science and Technology

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

Remote sensing and computer vision – just analysis of images from different sensors?

User Professor Clement Atzberger - BOKU University, Austria & Mantle Labs Ltd., UK.

Wednesday 27 October 2021, 15:05-15:55

House Webinar - link on talks.cam page after 12 noon Tuesday.

Resilient Machine Learning: A Systems-Security Perspective

User Roei Schuster, Cornell Tech.

Tuesday 26 October 2021, 14:00-15:00

CaTT, a type-theory to describe weak omega-categories

User Thibaut Benjamin, CEA Tech.

Wednesday Seminars - Department of Computer Science and Technology

Friday 22 October 2021, 14:00-15:00

CO2 Monitoring in the Department

User Ian Lewis - Department of Computer Science and Technology, University of Cambridge.

Wednesday 20 October 2021, 15:05-15:55

Quantum Software in 2021: Patterns and Problems

User Ross Duncan, Cambridge Quantum Computing.

Friday 15 October 2021, 14:00-15:00

House Webinar - link on talks.cam page after 12 noon Tuesday.

Super-Posters in Extremist Forums

User Stephane Baele, University of Exeter .

Tuesday 12 October 2021, 14:00-15:00

It's not only the dark web: Distributed surface web marketplaces

User Constantinos Patsakis, University of Piraeus.

Wednesday Seminars - Department of Computer Science and Technology

Tuesday 20 July 2021, 14:00-15:00

A Retrospective on the 2014 NeurIPS Experiment

User Professor Neil Lawrence - Department of Computer Science and Technology, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 16 June 2021, 15:00-16:00

The Statistical Finite Element Method

User Professor Mark Girolami - Department of Engineering, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 09 June 2021, 15:00-16:00

Morello - Arm's research prototype using Capabilities

User Richard Grisenthwaite - SVP, Chief Architect & Fellow, Arm.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 02 June 2021, 15:00-16:00

Computation, Composition

User Dr Jamie Vicary - Department of Computer Science and Technology, University of Cambridge.

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

Apple, App Tracking Transparency, and the Hidden Costs of More Privacy

User Sam Gilbert, University of Cambridge.

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

Wheeler Lecture 2021: Reimagining Robots

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

Wednesday Seminars - Department of Computer Science and Technology

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

Programming languages for humans

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

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

FastPay: High-Performance Byzantine Fault Tolerant Settlement

User Alberto Sonnino, UCL.

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

House Webinar - link in abstract.

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

User Aggelos Kiayias, University of Edinburgh.

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

Unfinity Categories

User Andrew Pitts, University of Cambridge.

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

Dark web marketplaces and COVID-19: Flexible and resilient

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

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

Understanding Modern Phishing

User Brad Wardman and Adam Oest, PayPal.

Wednesday Seminars - Department of Computer Science and Technology

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

Modelling syntactico-semantic composition for natural language understanding and generation

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

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

Deep Learning Assisted Side-Channel Attacks

User Elena Dubrova, KTH Royal Institute of Technology.

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

Crowdsourcing Security Research: A case study of AdObserver

User Laura Edelson and Damon McCoy, New York University.

Wednesday Seminars - Department of Computer Science and Technology

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

Data driven design for sustainable future cities: incorporating the intangible

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

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

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

User Luca Allodi, Eindhoven University of Technology.

Wednesday Seminars - Department of Computer Science and Technology

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

Theoretical Foundations of Graph Neural Networks

User Dr Petar Veličković - DeepMind.

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

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

User Sophie van der Zee, Erasmus University Rotterdam.

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

Cybersecurity Risk to Hospitals from Building Services

User Sheryn Gillin, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

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

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

User Dr Fahim Kawsar - Nokia Bell Labs.

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

Promising ARMv8/RISC-V relaxed memory

User Christopher Pulte, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

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

Reconciling Temporalities in Relating Different Worlds

User Professor Nicola Bidwell - International University of Management, Namibia.

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

Towards Provable Physical Safety Against False Actuation Attacks in CPS

User Alvaro Cardenas, University of California, Santa Cruz.

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

User Privacy Concerns and Preferences in Smart Buildings

User Maryam Mehrnezhad, Newcastle University.

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

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

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

User René Mayrhofer (Johannes Kepler University Linz).

House Virtual (see abstract for Zoom link).

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

Wednesday Seminars - Department of Computer Science and Technology

Graph Neural Networks for Biomedical Data

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

User Marinka Zitnik, Harvard University.

House Zoom.

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

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

User Rutger Leukfeldt, NSCR.

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

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

User Philip Saville, University of Edinburgh.

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

Cultural Convergence in the time of COVID

User Alicia Bargar and Erin McAweeney, Graphika.

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

Lovász' Theorem and Comonads in Finite Model Theory

User Tomas Jakl, University of Cambridge.

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

Hardware and Software Fingerprinting of Mobile Devices

User Jiexin (Stan) Zhang, University of Cambridge.

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

Free Commutative Monoids in Homotopy Type Theory

User Vikraman Choudhury, University of Indiana.

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

SHB Seminar

User Multiple Speakers.

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

Eavesdropping at Scale: Shifting the Threat Model in Satellite Broadband

User James Pavur, University of Oxford.

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

Symmetric Arithmetic Circuits

User Gregory Wilsenach, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

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

Haar Graph Pooling

User Dr Yu Guang Wang - University of New South Wales.

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

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

User Kit Murdock, University of Birmingham.

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

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

User Alasdair Armstrong, University of Cambridge.

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

Sponge Examples: Energy-Latency Attacks on Neural Networks

User Ilia Shumailov, University of Cambridge.

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

Incrementality xor currency for monotone fixed points

User Michael Arntzenius, University of Cambridge.

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

Higher Algebra in Computer Science

User Eric Finster, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

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

Addressing Imbalance in Object Detection

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

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

TRRespass: Exploiting the Many Sides of Target Row Refresh

User Kaveh Razavi, ETH Zurich.

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

Collaborative Deanonymization

User Rainer Böhme, University of Innsbruck.

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

Wheeler Lecture 2020: The Future of Microprocessors

User Dr Sophie Wilson.

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

Understanding Privacy-Related Questions on Stack Overflow

User Kami Vaniea, University of Edinburgh.

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

The politics of data-driven governance

User Lina Dencik, Data Justice Lab, Cardiff University.

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

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

User Damon McCoy, New York University.

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

SEAL: sealed-bid auction without auctioneers

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

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

Trustable Hardware as a TOCTOU Problem: Overview and Potential Remedies

User Dr. Andrew 'bunnie' Huang, Independent Researcher.

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

House Computer Lab, GC22.

A Syntactic View of Computational Adequacy

User Marco Devesas Campos, University of Birmingham.

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

House Computer Lab, SS03.

Tests and Proofs in Isabelle

User Yakoub Nemouchi, University of York.

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

House Computer Lab, FW26.

Aspects of my formal development work

User Boris Djalal, OpenAirInterface Software Alliance.

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

House Computer Lab, FW11.

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

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

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

House Computer Lab, FW26.

Formal Foundations for Provably Safe Web Components

User Michael Herzberg, University of Sheffield.

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

House Computer Laboratory, room SS03.

A duality theoretic view on limits of finite structures

User Tomáš Jakl, Computer Lab.

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

House Computer Laboratory, room SS03.

Cerberus C semantics & pointer provenance

User Kayvan Memarian (University of Cambridge).

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

House LT2, Computer Laboratory, William Gates Building.

Product Design, Liability, and Insecurity Engineering

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

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

House Computer Laboratory, room SS03.

Computation via Substructures

User Ramanathan S. Thinniyam, MPI-SWS.

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

House Computer Lab, FW26.

A Profunctorial Finiteness Semantics

User Zeinab Galal.

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

Wednesday Seminars - Department of Computer Science and Technology

Soft Aerial Robotics for Digital Infrastructure Systems

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

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

House LT2, Computer Laboratory, William Gates Building.

Measuring Cryptocurrency Fraud

User Marie Vasek, Department of Computer Science, UCL.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Dr Sadia Afroz, ICSI, UC Berkeley, Avast.

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

Wednesday Seminars - Department of Computer Science and Technology

Climate, Carbon, and Computer Science

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

Wednesday Seminars - Department of Computer Science and Technology

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

Machine Learning at the Extreme Edge - an Open Platform Approach

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

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

House LT2, Computer Laboratory, William Gates Building.

Security economics to inform behaviour change support

User Simon Parkin, Information Security Group, University College London.

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

Wednesday Seminars - Department of Computer Science and Technology

Digital Modeling of Reality with Machine Learning

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

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

House LT2, Computer Laboratory, William Gates Building.

It's Damn Hard to Decentralise the Web

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

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

House Computer Laboratory, Room FW26.

Quantum things 3 - Resources and Co-resources

User Anuj Dawar (University of Cambridge).

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

Modular Relaxed Dependencies in Weak Memory Concurrency

User Marco Paviotti.

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

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

Earphones: The Next Significant Platform after Smartphones

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

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

House LT2, Computer Laboratory, William Gates Building.

Radio Protocol Vulnerabilities in 5G Networks

User Ravishankar Borgaonkar, SINTEF Digital.

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

Quantum Things 2 - The quantum monad on relational structures

User Nadish de Silva (University of Cambridge).

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

House MR9 Centre for Mathematical Sciences.

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

User Adam ó Conghaile (University of Cambridge).

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

Wednesday Seminars - Department of Computer Science and Technology

The Digital Architecture of Future Cities

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

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

House LT2, Computer Laboratory, William Gates Building.

Realistic Adversarial Machine Learning

User Nicholas Carlini, Google Brain.

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

Haskelly things

User Richard Eisenberg (Bryn Mawr College).

Wednesday Seminars - Department of Computer Science and Technology

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

Deep learning on graphs and manifolds: going beyond Euclidean data

User Professor Michael Bronstein (Imperial College / Twitter).

Wednesday Seminars - Department of Computer Science and Technology

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

StructureNet: Hierarchical Graph Networks for 3D Shape Generation

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

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

House LT2, Computer Laboratory, William Gates Building.

Automatically Dismantling Online Dating Fraud

User Matthew Edwards, Faculty of Engineering, University of Bristol.

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

House LT2, Computer Laboratory, William Gates Building.

Reducing Metadata Leakage from Encrypted Files and Communication

User Nikitin Kirill, Decentralized/Distributed Systems Lab, EPFL.

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

The way of the empty proof

User Jean-Louis Lassez.

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

House LT2, Computer Laboratory, William Gates Building.

An analysis of the threats of the consumer spyware industry

User Diarmaid Harkin, Alfred Deakin Institute, Deakin University.

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

Local reasoning for robust observational equivalence

User Koko Muroya.

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

House LT2, Computer Laboratory, William Gates Building.

Deploying Differential Privacy for the 2020 Census of Population and Housing

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

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

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

User Jean-Baptiste Jeannin, University of Michigan.

Wednesday Seminars - Department of Computer Science and Technology

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

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

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

Wednesday Seminars - Department of Computer Science and Technology

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

The Principle of Least Cognitive Action

User Professor Marco Gori.

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

Retrofitting Purity with Comonads and Capabilities

User Vikraman Choudhury, Indiana University / Cambridge.

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

Combining Formal Methods and Machine Learning

User Professor Jane Hillston, University of Edinburgh.

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

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

User Jan Pich, Oxford.

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

An Overview of the Flix Programming Language

User Magnus Madsen, Aarhus University.

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

House LT2, Computer Laboratory, William Gates Building.

rust-vmm: Building the Virtualization Stack of the Future

User Andreea Florescu, Amazon.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Diana Popa, Amazon.

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

Wednesday Seminars - Department of Computer Science and Technology

How to design a programming language

User Professor Alan Blackwell.

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

House LT1, Computer Laboratory, William Gates Building.

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

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

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

Wednesday Seminars - Department of Computer Science and Technology

Hand Tracking on HoloLens 2

User Dr Erroll Wood.

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

Resource-oriented programming with graded modal types

User Vilem Liepelt, University of Kent.

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

Uncertainty is hope: towards a unified foundation of gradual typing

User Joshua Dunfield, Queen’s University, Canada.

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

Push versus Pull-Based Loop Fusion in Query Engines

User Amir Shaikhha, Oxford.

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

Stacked Borrows: An Aliasing Model for Rust

User Ralf Jung, MPI-SWS.

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

Excel Formulae: a PL perspective

User Ben Simner, Computer Laboratory.

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

House LT2, Computer Laboratory, William Gates Building.

Securing Systems with Insecure Hardware

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

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

Wednesday Seminars - Department of Computer Science and Technology

Representation Learning on Graphs

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

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

Linear Capabilities: an overview

User Dominique Devriese, Vrije Universiteit Brussel.

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

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

User Thomas Van Strydonck, KU Leuven.

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

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

User Lau Skorstengaard, Aarhus University.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Andy Phippen, University of Plymouth.

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

Wednesday Seminars - Department of Computer Science and Technology

DevOps and Cloud Native development in the University of Cambridge

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

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

A domain theory for statistical probabilistic programming

User Ohad Kammar, Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

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

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

User Dr Paolo Zuliani - School of Computing, Newcastle University.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Theo Markettos, Computer Laboratory, University of Cambridge.

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

Wednesday Seminars - Department of Computer Science and Technology

Make Switches Simple Again!

User Dr Noa Zilberman.

Wednesday Seminars - Department of Computer Science and Technology

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

Perpetual Computing: Technologies for Banishing Batteries

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

Wednesday Seminars - Department of Computer Science and Technology

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

The Magic of Machine Learning and Classifier ensembles

User Ludmila Kuncheva,Bangor University.

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

House LT2, Computer Laboratory, William Gates Building.

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

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

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

Wednesday Seminars - Department of Computer Science and Technology

Imitation learning for structured prediction

User Dr Andreas Vlachos.

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

House LT2, Computer Laboratory, William Gates Building.

Evil on the Internet

User Richard Clayton, Computer Laboratory, University of Cambridge.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Andrew Paverd, Microsoft Research Cambridge.

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

House FW11, Computer Laboratory, William Gates Building.

Function-Based Access Control

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

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

Project Everest: towards a verified TLS ecosystem

User Jonathan Protzenko, MSR Redmond.

Wednesday Seminars - Department of Computer Science and Technology

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

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

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

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

House LT2, Computer Laboratory, William Gates Building.

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

User Allison Randal, Computer Laboratory, University of Cambridge.

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

Verifying Concurrent Search Structure Templates

User Siddharth Krishna, NYU.

Wednesday Seminars - Department of Computer Science and Technology

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

Computational Imaging for Realistic Appearance Modelling

User Abhijeet Ghosh, Imperial College London.

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

PP is not a monad

User Bartek Klin, Warsaw University.

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

Lower bound for arithmetic circuits via Hankel matrix

User Pierre Ohlmann, IRIF, Université Paris 7.

Wednesday Seminars - Department of Computer Science and Technology

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

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

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

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

House LT2, Computer Laboratory, William Gates Building.

Displacing big data: How cybercriminals cheat the system

User Alice Hutchings, Computer Laboratory, University of Cambridge.

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

Wednesday Seminars - Department of Computer Science and Technology

Scalable Intelligent Systems by 2025

User Carl Hewitt - Emeritus Professor at MIT.

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

House FW26, Computer Laboratory, William Gates Building.

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

User Chris Lamb, Debian Project Leader.

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

Wednesday Seminars - Department of Computer Science and Technology

Stylus input and the benefits of a standard

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

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

House LT2, Computer Laboratory, William Gates Building.

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

User Sam Ainsworth, Computer Laboratory, University of Cambridge.

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

Wednesday Seminars - Department of Computer Science and Technology

A journey into interdisciplinary research

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

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

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

Quasi-polynomial solutions for parity games and other problems

User Karoliina Lehtinen, Christian-Albrechts University of Kiel.

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

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

User Paul Downen, University of Oregon.

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

Graphical Conjunctive Queries

User Pawel Sobocinski, University of Southampton.

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

Automated Full-Stack Memory Model Verification with the Check suite

User Yatin Manerkar, Princeton University.

Thursday 19 July 2018, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

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

User Miron Lakomy, Department of International Relations, University of Silesia.

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

Polynomial models of type theory

User Tamara von Glehn (DPMMS).

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

Types and Safety of Lock-free Data Structures

User Elias Castegren, MSR.

Friday 29 June 2018, 14:00-15:00

The direct approach to evaluation order

User Guillaume Munch-Maccagnoni, INRIA.

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

Compositional Compiler Verification for a Multi-Language World

User Amal Ahmed, Northeastern University.

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

From global to local state in game semantics via the sequoid

User James Laird, University of Bath.

Friday 01 June 2018, 14:00-15:00

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

User Professor Stephen Pulman - Department of Computer Science, University of Oxford..

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

Quantitative equational reasoning

User Prakash Panangaden, McGill University.

Wednesday Seminars - Department of Computer Science and Technology

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

Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents

User Keith Clark - Imperial College London.

Wednesday 23 May 2018, 16:15-17:15

House LT2, Computer Laboratory, William Gates Building.

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

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

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

Scheduling Tasks for Reconfigurable Architecture

User Amlan Chakrabarti, University of Calcutta.

Wednesday Seminars - Department of Computer Science and Technology

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

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

User Prof Christopher Batten - Cornell University.

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

House LT2, Computer Laboratory, William Gates Building.

Ethical Issues in Network Measurement

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

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

Wednesday Seminars - Department of Computer Science and Technology

Latent Variable Model, Matrix Estimation and Collaborative Filtering

User Prof Devavrat Shah - MIT.

Wednesday 09 May 2018, 16:15-17:15

House LT2, Computer Laboratory, William Gates Building.

Data science approaches to understanding key actors on online hacking forums

User Sergio Pastrana/Andrew Caines, Computer Laboratory, University of Cambridge.

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

Lecture 3: Logic for Program Development, Verification and Implementation.

User Tony Hoare, FRS FREng.

Wednesday Seminars - Department of Computer Science and Technology

Friday 04 May 2018, 14:00-15:00

No Seminar Today

User Speaker to be confirmed.

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

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

User Hubert Chen, Birkbeck University of London.

Friday 27 April 2018, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

Wireless Physical-layer Security: Fundamentals and Jamming with Coding for Secrecy

User João P. Vilela, Informatics Engineering, University of Coimbra.

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

Wednesday Seminars - Department of Computer Science and Technology

Embedding Musical Codes into an Interactive Piano Composition

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

User Prof Steve Benford - University of Nottingham, Mixed Reality Laboratory.

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

Left Exact Modalities in Type Theory

User Eric Finster, INRIA Rennes.

Wednesday Seminars - Department of Computer Science and Technology

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

Part Ib Group Project Presentations

User Computer Science Tripos 2nd Year Students.

Computer Laboratory Programming Research Group Seminar

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

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

User Manuel Rigger, Johannes Kepler University, Linz.

House FS09, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

The Exposome in Epidemiological Practice

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

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

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

Modular Algorithm Analysis

User Michel Schellekens, University College Cork.

Wednesday Seminars - Department of Computer Science and Technology

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

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

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

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

House LT2, Computer Laboratory, William Gates Building.

Large Scale Ubiquitous Data Sources for Crime Prediction

User Cristina Kadar, ETH Zurich.

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

Lightweight verification of separate compilation

User Chung-Kil Hur, Seoul National University.

Wednesday Seminars - Department of Computer Science and Technology

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

Kiwi Scientific Acceleration on FPGA

User Dr David J Greaves - University of Cambridge, Computer Laboratory..

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

Lecture 2: Algebraic Theory of Program Transformation

User Tony Hoare, FRS FREng.

Wednesday Seminars - Department of Computer Science and Technology

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

Private Statistics and Their Applications to Distributed Learning: Tools and Challenges

User Dr Emiliano De Cristofaro - University College London.

Wednesday 07 February 2018, 16:15-17:15

House LT2, Computer Laboratory, William Gates Building.

Psychological predictors of risky online behaviour: The cases of online piracy and privacy

User Piers Fleming, School of Psychology, University of East Anglia.

Tuesday 06 February 2018, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Amazon Alexa

User Dr Craig Saunders - Amazon .

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

House LT2, Computer Laboratory, William Gates Building.

Anonymity in Cryptocurrencies

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

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

Atomicity Abstractions in Relaxed Memory Architectures

User Brijesh Dongol, Brunel University London.

Computer Laboratory Programming Research Group Seminar

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

Energy Efficient Compilation of Irregular Task-Parallel Loops

User Krishna Nandivada, IIT Madras, India.

Wednesday Seminars - Department of Computer Science and Technology

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

THEMIS: Fairness in Federated Stream Processing under Overload

User Dr Eva Kalyvianaki - The Computer Laboratory, Cambridge..

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

House LT2, Computer Laboratory, William Gates Building.

The impact of cybercrime on businesses: A new conceptual framework and its application to Belgium

User Letizia Paoli, Faculty of Law, University of Leuven.

Tuesday 23 January 2018, 14:00-15:00

Logic Programming, Semantics, and a Bit of Cleverness

User William Byrd, University of Alabama at Birmingham.

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

A Geometric Theory of Program Testing.

User Tony Hoare, FRS FREng.

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

The Linux Kernel Concurrency Model

User Andrea Parri.

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

Effective Stateless Model Checking for C/C++ Concurrency

User Viktor Vafeiadis, MPI-SWS.

Tuesday 05 December 2017, 10:30-11:30

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

User Sam Lindley, University of Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 01 December 2017, 14:00-15:00

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

User Dr Nada Amin - University of Cambridge, Computer Laboratory..

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

House LT2, Computer Laboratory, William Gates Building.

Bayes, not Naive: Security Bounds on Website Fingerprinting Defenses

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

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

Wednesday Seminars - Department of Computer Science and Technology

Using Modern C++ - stepping up to C++14/17

User Dr Bjarne Stroustrup.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 22 November 2017, 16:15-17:30

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

User Dr Amanda Prorok - University of Cambridge, Computer Laboratory..

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

Reasoning beyond data-race freedom

User Stephen Dolan, Ocaml Labs, University of Cambridge.

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

Designing Verifiable Cache Coherence Protocols

User Daniel Sorin, Duke University.

Wednesday Seminars - Department of Computer Science and Technology

Friday 10 November 2017, 13:00-14:00

Open source – 19th C. capitalism re-invented ?

User Dr Lee Smith - ARM .

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 08 November 2017, 16:15-17:30

Programming Computers Without Processors

User Dr Satnam Singh - X, The Moonshot Factory.

Wednesday Seminars - Department of Computer Science and Technology

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

What if Computers Understood Physics?

User Dr Phillip Stanley-Marbell - University of Cambridge, Dept Engineering..

Wednesday Seminars - Department of Computer Science and Technology

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

(No Seminar Today)

User Mr Nobody.

Wednesday 18 October 2017, 16:15-17:30

House LT2, Computer Laboratory, William Gates Building.

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

User Changyu Dong, School of Computing, Newcastle University.

Tuesday 17 October 2017, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Wireless community mesh networks: fresh connectivity for 7 billion people

User Prof Leandro Navarro - Universitat Politècnica de Catalunya.

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

House LT2, Computer Laboratory, William Gates Building.

Analysis and Classification of Android Malware

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

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

House LT2, Computer Laboratory, William Gates Building.

Conditional Linear Cryptanalysis

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

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

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

User Chung-Kil Hur, Seoul National University.

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

House LT2, Computer Laboratory, William Gates Building.

Protecting Analog Sensor Security

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

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

Event Correlation with Algebraic Effects

User Oliver Bracevac, University of Darmstadt.

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

A promising semantics for relaxed-memory concurrency

User Chung-Kil Hur, Seoul National University.

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

Semantics of Full Ground References

User Paul Blain Levy (University of Birmingham).

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

House LT2, Computer Laboratory, William Gates Building.

abraCARDabra: understanding carding forums

User Jeremiah Onaolapo, University College London.

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

House LT2, Computer Laboratory, William Gates Building.

Anti-surveillance: Can Applied Cryptography, Law Enforcement, and Formal Methods be Friends?

User Dr. Markulf Kohlweiss, Microsoft Research, Cambridge.

Tuesday 20 June 2017, 14:00-15:00

Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity

User Wied Pakusa, University of Oxford.

Friday 16 June 2017, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

What could we actually do about radicalisation, both online and offline?

User Lydia Wilson, University of Oxford.

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

Interleaved scope for games and automata

User Murdoch Gabbay, Heriot-Watt University.

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

Syntax and Handlers for Operations with Scopes

User Maciej Piróg.

Friday 02 June 2017, 14:00-15:00

Disjoint Semirings for Fractional Permissions

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

User Aquinas Hobor, National University of Singapore.

Wednesday Seminars - Department of Computer Science and Technology

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

Reigniting Innovation in the Hardware Industry

User Krste Asanovic - UC Berkeley.

Wednesday 31 May 2017, 16:15-17:15

Concurrent Kleene Algebras and Pomset Languages

User Georg Struth, University of Sheffield.

Wednesday Seminars - Department of Computer Science and Technology

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

Can we make people value IT security?

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

User M. Angela Sasse - UCL London..

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

House LT2, Computer Laboratory, William Gates Building.

Improving the Impact of Smartphone Apps

User Vincent Taylor, University of Oxford.

Tuesday 23 May 2017, 14:00-15:00

What does the Future of Programming Look Like?

User David Pearce, Victoria University of Wellington, New Zealand.

Wednesday Seminars - Department of Computer Science and Technology

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

Ubiquitous Sensing with Light

User Xia Zhou - Dept of Computer Science Dartmouth College .

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

Higher Categorical Structures, Type-Theoretically

User Nicolai Kraus, University of Nottingham.

Wednesday Seminars - Department of Computer Science and Technology

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

Pervasive Sensing for Lifestyle Monitoring and Urban Applications

User Prof Archan Misra - SMU Singapore.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 10 May 2017, 16:15-17:15

Morphologically Computing Soft Robots toward Self-Organizing Machines

User Dr Fumiya Iida - Department of Engineering, University of Cambridge.

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

Monads and Lenses

User James Cheney, University of Edinburgh.

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

House LT2, Computer Laboratory, William Gates Building.

Free-Form Gesture Passwords: Security, Memorability, Usability

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

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

Diagrammatic Operational Semantics for Digital Circuits

User Dan Ghica, University of Birmingham.

Wednesday Seminars - Department of Computer Science and Technology

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

Are Sensor Networks a first step towards the Diamond Age?

User Prof Julie McCann - Imperial College London.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 15 March 2017, 16:15-17:15

Part Ib Computer Science Group Project Presentations

User Part Ib CST Group Leaders.

Wednesday 08 March 2017, 14:00-17:00

Verified Characteristic Formulae for CakeML

User Magnus Myreen, Chalmers University.

Wednesday Seminars - Department of Computer Science and Technology

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

AI Meets Cancer

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

Wednesday Seminars - Department of Computer Science and Technology

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

CHERI - Architectural support for software memory protection and compartmentalisation

User Robert N. M. Watson - University of Cambridge, Computer Laboratory.

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

House LT2, Computer Laboratory, William Gates Building.

On the Privacy and Security of the Ultrasound Ecosystem

User Vasilios Mavroudis, University College London.

Tuesday 21 February 2017, 14:00-15:00

A monad for full ground reference cells

User Ohad Kammar, University of Oxford.

Wednesday Seminars - Department of Computer Science and Technology

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

Challenges in Human-Robot Interaction

User Prof. Kerstin Dautenhahn - University of Hertfordshire.

Wednesday Seminars - Department of Computer Science and Technology

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

Data Science for the World of Moving Things

User Dr Damon Wischik - Computer Laboratory, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

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

GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE

User Jamie Vicary - Department of Computer Science, University of Oxford.

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

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

User Theo Drane, Cadence Design Systems.

Wednesday Seminars - Department of Computer Science and Technology

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

Sequencing DNA Using Biological Nanopores

User Tim Massingham - Oxford Nanopore Technologies.

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

One-Dimensional Higher Inductive Types

User Peter Dybjer, Chalmers University of Technology.

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

House LT2, Computer Laboratory, William Gates Building.

Trends in Online Payment Security

User Mohammed Aamir Ali, Newcastle University.

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

Polymorphism, subtyping and type inference in MLsub

User Stephen Dolan, University of Cambridge.

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

A categorical perspective on type refinement systems

User Noam Zeilberger, University of Birmingham.

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

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming

User Alexandra Silva ( University College London).

Wednesday Seminars - Department of Computer Science and Technology

Friday 02 December 2016, 14:00-15:00

Architectural Impacts of the Silicon Performance Wall

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

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

House LT2, Computer Laboratory, William Gates Building.

Reversing chip design for hardware security characterization

User Franck Courbon, Security group, University of Cambridge.

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

Wednesday Seminars - Department of Computer Science and Technology

Making Reactive Programs Function

Note: Venue is LT2 (not LT1).

User Dr Neel Krishnaswami - University of Cambridge, Computer Laboratory.

Computer Laboratory Programming Research Group Seminar

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

Automatic Identification and Parallelisation of General Reduction Operations

User Philip Ginsbach, University of Edinburgh.

Wednesday 23 November 2016, 15:15-16:15

A compositional account of Herbrand's theorem via concurrent games

NOTE NON-STANDARD ROOM BOOKING

User Pierre Clairambault, ENS Lyon.

Wednesday Seminars - Department of Computer Science and Technology

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

PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs

User Peter Ogden - Xilinx Inc.

Wednesday 16 November 2016, 16:15-17:15

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

User Nicholas Ng and Bernardo Toninho, Imperial College.

Wednesday Seminars - Department of Computer Science and Technology

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

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

User Dr Aurelie Herbelot - University of Trento.

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

House Room SS03, Computer Laboratory, William Gates Building.

Drammer: Deterministic Rowhammer Attacks on Mobile Platforms

User Kaveh Razavi, Vrije Universiteit Amsterdam.

Friday 04 November 2016, 13:15-14:15

Wednesday Seminars - Department of Computer Science and Technology

Graduate Studies Open Day

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

User Speaker to be confirmed.

Wednesday Seminars - Department of Computer Science and Technology

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

End-to-end encryption: Behind the scenes

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

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

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

User Ugo Dal Lago, University of Bologna.

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

House LT2, Computer Laboratory, William Gates Building.

Putting wireless signal security in a system security context

note unusual date

User Wade Trappe, Rutgers University.

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

Wednesday Seminars - Department of Computer Science and Technology

From Idea to Startup

User David Chan - Entrepreneur-in-Residence, CyLon Accelerator.

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

House LT2, Computer Laboratory, William Gates Building.

The Million-Key Question : Investigating the Origins of RSA Public Keys (Best Paper Award @ USENIX Security 2016)

User Petr Svenda, Masaryk University, Brno, Czech Republic.

Tuesday 18 October 2016, 14:00-15:00

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

User Marcelo Fiore, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Friday 14 October 2016, 14:00-15:00

Rethinking Auto-Parallelisation

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

User Prof Michael O'Boyle - School of Informatics, Edinburgh.

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

House LT2, Computer Laboratory, William Gates Building.

Semantics derived automatically from language corpora necessarily contain human biases

User Arvind Narayanan, Princeton University.

Tuesday 11 October 2016, 14:00-15:00

On Proofs of Equality as Paths

User Andy Pitts, Computer Laboratory.

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

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

NOTE NON-STANDARD ROOM BOOKING

User Gunnar Wilken, Okinawa Institute of Science and Technology.

Computer Laboratory Programming Research Group Seminar

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

Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs

User Pritam Gharat, IIT Bombay.

Tuesday 13 September 2016, 14:00-15:00

Making Reactive Programs Function

User Neel Krishnaswami, University of Cambridge.

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

A new verified compiler backend for CakeML

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

User Magnus Myreen, Chalmers University, Sweden.

Computer Laboratory Computer Architecture Group Meeting

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

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.

User Prof Huiyun Li, Shenzhen Institutes of Advanced Technology.

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

Classical Linear Logic considered as a programming language

User Robert Atkey, University of Strathclyde.

Wednesday Seminars - Department of Computer Science and Technology

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

From EDA to NDA: Treating Networks like Hardware Circuits

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

User George Varghese - Microsoft Research.

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

A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data

User Sandrine Blazy, University of Rennes 1.

Friday 08 July 2016, 14:00-15:00

Practical Statically-checked Deterministic Parallelism

User Ryan Newton, University of Indiana.

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

Automatically comparing memory consistency models

User John Wickerson, Imperial College.

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

House Room FW26, Computer Laboratory, William Gates Building.

Cyberinsurance: good for your company, bad for your country?

User Fabio Massacci - University of Trento.

Tuesday 21 June 2016, 14:00-15:00

Programming and Proving with Concurrent Resources

User Ilya Sergey, University College London.

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

Optimising star-convex functions

User Jasper Lee, Brown University.

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

Automated Reasoning and AI for Large Formal Mathematics

User Josef Urban, Czech Technical University in Prague.

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

A History of Virtualisation in Operating Systems.

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

User Dr Andrew Herbert OBE, FREng...

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

Certified automated theorem proving for types

User Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh.

Computer Laboratory Programming Research Group Seminar

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

Program Verification Using Cyclic Proof

User Reuben Rowe, UCL.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 19 May 2016, 13:00-14:00

What does the operating system ever do for me? - Systems Challenges in Graph Analytics

User Dr Tim Harris - Oracle Research Laboratories (Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 18 May 2016, 14:00-15:00

No Littering!

Please note: Unusual day of week and time.

User Bjarne Stroustrup - Morgan Stanley and Columbia University.

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

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

User Robbert Krebbers, Aarhus University.

Wednesday Seminars - Department of Computer Science and Technology

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

Imaginary Engines: Lovelace, Babbage and the Analytical Engine.

User Sydney Padua.

Computer Laboratory Programming Research Group Seminar

Wednesday 11 May 2016, 14:00-15:00

Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU Compiler

Note unusual day and time

User Troels Henriksen (DIKU).

Wednesday 11 May 2016, 11:30-12:30

A rational reconstruction of homogeneous meta-programming

User Martin Berger, University of Sussex.

House SS03 Meeting Room, Computer Laboratory.

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

Rainbow Group Seminars

A Live, Multiple-Representation Probabilistic Programming Environment for Novices

User Maria Gorinova (University of Cambridge).

Thursday 05 May 2016, 11:15-12:15

Wednesday Seminars - Department of Computer Science and Technology

Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems

Note revised date.

User Dr Grant Allen - Google.

Wednesday 04 May 2016, 14:00-15:00

Giry and the Machine

User Ilias Garnier, ENS Paris.

Computer Laboratory Programming Research Group Seminar

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

Dependent types, linear types and operating systems

User Matthew Danish (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

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

From Human Affect and Personality to Social Robots: Affective and Social Signal Processing

User Dr Hatice Gunes - University of Cambridge, Computer Laboratory.

Wednesday 27 April 2016, 14:00-15:00

Logical dependence via functional dependence

User Paulo Oliva, Queen Mary, University of London.

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

Generating Gradual Typing Systems with the Gradualizer

User Jeremy Siek, Indiana University.

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

House LT2, Computer Laboratory, William Gates Building.

Understanding, Characterizing, and Detecting Facebook Like Farms

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

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

Computer Laboratory Programming Research Group Seminar

Meeting on Testing and Verification for Computational Science

User Multiple speakers.

Tuesday 15 March 2016, 12:30-18:00

Comprehensive Parametric Polymorphism

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

Wednesday Seminars - Department of Computer Science and Technology

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

Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics

User Nathan Matias - MIT Media Laboratory Centre For Civic Media.

Wednesday 09 March 2016, 14:00-15:00

THIS TALK HAS BEEN CANCELLED/POSTPONED

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

Wednesday Seminars - Department of Computer Science and Technology

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

CST Part Ib, Group Project Presentations

User Part Ib students of the Computer Laboratory.

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

A call-by-value realizability model for PML

NOTE UNUSUAL VENUE

User Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.

Wednesday Seminars - Department of Computer Science and Technology

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

Data Science at The Guardian

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

User Felix Sanchez-Garcia, The Guardian.

House SW 01, Computer Laboratory.

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

Excuse My Extrusion

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

Wednesday Seminars - Department of Computer Science and Technology

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

Communication with Artificial Intelligences

User Prof. Ann Copestake - University of Cambridge, Computer Laboratory..

Computer Laboratory Programming Research Group Seminar

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

Biggest Challenges for Kotlin: Interoperability and Tooling

User Andrey Breslav.

Wednesday 17 February 2016, 11:00-12:00

House LT2, Computer Laboratory, William Gates Building.

Do You See What I See? Differential Treatment of Anonymous Users

User Sheharbano Khattak, University of Cambridge.

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

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

User Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.

Wednesday Seminars - Department of Computer Science and Technology

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

Predicting Psychology from Social Media Data

User Dr David Stillwell - Judge Management School, University of Cambridge.

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

What is an Algorithm?

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

User Yuri Gurevich, Microsoft Research Redmond, USA.

House SW01.

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

House LT2, Computer Laboratory, William Gates Building.

The Unfalsifiability of security claims

User Cormac Herley, Microsoft Research, Redmond.

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

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

User Dominic Orchard, Computer Laboratory.

Wednesday Seminars - Department of Computer Science and Technology

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

The Supercloud: Opportunities and Challenges

User Prof Hakim Weatherspoon - Cornell University.

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

Interacting Hopf monoids: the algebra of signal flow diagrams

NOTE UNUSUAL VENUE

User Fabio Zanasi, Radboud University of Nijmegen, Netherlands.

Wednesday Seminars - Department of Computer Science and Technology

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

Synthetic Biology

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

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

Dependent Types and Fibred Computational Effects

User Danel Ahman, University of Edinburgh, Scotland.

Wednesday Seminars - Department of Computer Science and Technology

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

Finding what is invisible through computation

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

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

Graphical linear algebra and applications

User Pawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

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

A continuation passing translation for functional session types

User Sam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.

Wednesday Seminars - Department of Computer Science and Technology

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

Understanding and Verifying Javascript Programs.

User Prof Philippa Gardner - Imperial College London.

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

Typed realizability for first-order classical analysis

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

Wednesday Seminars - Department of Computer Science and Technology

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

Communication Technologies Research at the NPL

User Dr Tian-Hong LOH - National Physical Laboratory UK.

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

House LT2, Computer Laboratory, William Gates Building.

Android security: Protecting users, a billion at a time

User Adrian Ludwig, Android Security Team.

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

Wednesday Seminars - Department of Computer Science and Technology

Talk Cancelled (was 'Synthetic Biology')

This talk is cancelled.

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

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

Online Space Complexity

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

Wednesday Seminars - Department of Computer Science and Technology

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

Unpatchable: Living with a Vulnerable Implanted Device

User Marie Moe - SINTEF Norway.

Wednesday 11 November 2015, 14:00-15:00

Global Realisations of Local Specifications

User Martin Otto, Technische Universität Darmstadt, Germany.

Wednesday Seminars - Department of Computer Science and Technology

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

Image-triage, Brain Computer Interaction and Deception Detection using EEG

User Prof Howard Bowman - Univs Kent & Birmingham.

Wednesday 04 November 2015, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Identification and Investigation of Cyber Risk Hotspots in a Large Computer Network

User Shahzad Awan, Cardiff University.

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

House Room FW26, Computer Laboratory, William Gates Building.

Decertifying the Worst Voting Machine in the US: Lessons Learned and Looking Forward

User Jeremy Epstein, SRI International.

Wednesday 28 October 2015, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Today’s and Tomorrow’s Camera Processing Pipelines

User Prof Graham Finlayson - University of East Anglia.

Technical Talks - Department of Computer Science and Technology

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

nShield HSMs

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

User Richard Kettlewell, Thales.

Computer Laboratory Programming Research Group Seminar

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

Towards a dynamic object model within Unix processes

User Stephen Kell (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

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

Cluster Management with Kubernetes

User Dr Satnam Singh - Facebook.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 21 October 2015, 14:00-15:00

Clouds, Things and Robots: the need for innovation in Architecture and Software

User Prof David May - University of Bristol.

Wednesday 14 October 2015, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer

User Flavio Garcia, University of Birmingham.

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

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.

User Tony Veale, University College Dublin.

House LT2, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

The Gamma: Programming tools for data journalism

User Tomas Petricek (University of Cambridge).

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

House LT2, Computer Laboratory, William Gates Building.

Massively Parallel Hardware Security Platform

User Petr Svenda, Masaryk University, Czech Republic.

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

Computer Laboratory Programming Research Group Seminar

Brand Objects and Gradual Contracts

User Timothy Jones (Victoria University of Wellington).

Wednesday Seminars - Department of Computer Science and Technology

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

Interaction + Graphics: Four Lectures By Computer Laboratory Visitors

This is a cross posting from the Rainbow Group.

User (Four Guest Lecturers).

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

House Room FW26, Computer Laboratory, William Gates Building.

Making Better Privacy Decisions in Ubiquitous Computing Environments

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

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

Computer Laboratory Programming Research Group Seminar

Improving Implicit Parallelism

User Jose Calderon, University of York.

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

Heat kernels in graphs: A journey from random walks to geometry, and back

User He Sun, University of Bristol.

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

House Room FW26, Computer Laboratory, William Gates Building.

Insecure processing of cookies in modern web applications and browsers

User Dawid Czagan, Silesia Security Lab.

Tuesday 02 June 2015, 14:30-15:30

House Computer Laboratory, William Gates Building, Room FW11.

Consistency of Quine's NF using nominal techniques

User Jamie Gabbay, Heriot-Watt .

Friday 29 May 2015, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

Massively Parallel Hardware Security Platform

User Petr Svenda, Masaryk University, Czech Republic.

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

Wednesday Seminars - Department of Computer Science and Technology

Probabilistic Programming; Ways Forward

User Dr Frank Wood - Dept Engineering Science, Oxford.

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

Hints and Principles for Computer System Design

User Butler Lampson - Microsoft Research + MIT.

Tuesday 26 May 2015, 16:15-18:30

House Computer Laboratory, William Gates Building, Room FW11.

From Communicating Machines to Graphical Choreographies

User Nobuko Yoshida and Julien Lange.

Friday 22 May 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Cancelled : Full reduction in the face of absurdity.

Talk cancelled for today - speaker cannot make it.

User Didier Remy - Inria.

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

House Room FW26, Computer Laboratory, William Gates Building.

Generic Computational Models

User Nachum Dershowitz, Tel Aviv University.

Wednesday 20 May 2015, 11:00-12:00

House LT2, Computer Laboratory, William Gates Building.

Information-flow tracking for web technologies

User Luciano Bello.

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

House Computer Laboratory, William Gates Building, Room FW11.

Locally Finite Constraint Satisfaction Problems

User Joanna Ochremiak, University of Warsaw.

Friday 15 May 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Cellular Systems Biology of Chromosome Dynamics

User Dr Karen Lipkow - Barbraham Institute.

Wednesday 13 May 2015, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

On the power of techniques for defeating code reuse attacks + some retrospective reflection on the DARPA CRASH program

User Prof Howie Shrobe (MIT).

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

House FW11, Computer Laboratory, William Gates Building.

The Dutch electronic patient record system and beyond - towards physician-controlled decentralized medical record exchange.

User Guido van 't Noordende, University of Amsterdam.

Monday 04 May 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Toward Causal Machine Learning

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

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

House LT2, Computer Laboratory, William Gates Building.

Captchas - the state of play

User Dr Jeff Yan, Newcastle University.

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

House LT2, Computer Laboratory, William Gates Building.

Understanding and Fighting Malicious Activity on Online Social Networks

User Gianluca Stringhini, Assistant Professor, University College London.

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

Computer Laboratory Programming Research Group Seminar

Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages

User Neil Toronto, University of Maryland.

Wednesday Seminars - Department of Computer Science and Technology

Friday 17 April 2015, 10:00-11:00

Deep Learning of Natural Language Semantics

Extrodinary (out-of-term) Babbage Seminar

User Prof Yoshua Bengio - Université de Montréal.

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

House LT2, Computer Laboratory, William Gates Building.

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

User Hakim Weatherspoon, assistant professor, Department of Computer Science, Cornell University.

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

House Computer Laboratory, William Gates Building, Room FW11.

Linear numeral systems

User Ian Mackie, University of Sussex.

Friday 20 March 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The Automatic Statistician - an AI for Data Science

User Zoubin Ghahramani - Department of Engineering, University of Cambridge.

Wednesday 11 March 2015, 14:00-15:00

House LT2, Computer Laboratory, William Gates Building.

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation

User Nathan Dautenhahn, University of Illinois at Urbana-Champaign.

Tuesday 10 March 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Group Project Presentations

User Computer Laboratory 2nd Year Undergraduates.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 04 March 2015, 14:00-15:00

Digital by Default - A Paradigm Shift in Government

User Stephen Allott - Crown Representative for Small and Medium Enterprises in the Cabinet Office.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 25 February 2015, 14:00-15:00

The Evolution of Sophos

User Dr Jan Hruska - Sophos Ltd..

Wednesday 18 February 2015, 14:15-15:15

House Computer Laboratory, William Gates Building, Lecture Theatre 2.

Game Semantics for Interface Middleweight Java

User Andrzej Murawski, University of Warwick.

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

Wednesday Seminars - Department of Computer Science and Technology

Compressed sensing in the real world - Why and what actually works

User Dr Bogdan Roman - DAMPT, University of Cambridge.

Computer Laboratory Programming Research Group Seminar

Wednesday 11 February 2015, 14:00-15:00

Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection

User Oleg Kiselyov.

Monday 09 February 2015, 15:00-16:00

House LT2, Computer Laboratory, William Gates Building.

Human factors and missed solutions to WWII Enigma design weaknesses

User Prof. Harold Thimbleby CEng FIET FRCPE FLSW HonFRSA HonFRCP.

Thursday 05 February 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Non-Photorealistic Rendering of Images

User Prof. Paul Rosin - Cardiff University.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 04 February 2015, 14:00-15:00

Interacting with Infrastructure: Home Networking and Beyond

User Dr Richard Mortier - University of Cambridge Computer Laboratory.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 28 January 2015, 14:00-15:00

The UK National Cyber Security Programme

User Natalie Black - UK National Office of Cyber Security.

Wednesday 21 January 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Computational Privacy: On the privacy-conscientious use of metadata

User Yves-Alexandre de Montyoye (MIT Media Lab).

Tuesday 20 January 2015, 15:00-16:00

House Room FW26, Computer Laboratory, William Gates Building.

New reasoning techniques for monoidal algebras

User Aleks Kissinger, University of Oxford.

Friday 16 January 2015, 16:00-17:00

House FW11, Computer Laboratory, William Gates Building.

Single Password Authentication

User Alptekin Küpçü, Assistant Professor, Cryptography, Security & Privacy Research Group, Koç University.

Tuesday 13 January 2015, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Rigid Graphs for Adaptive Networks, with Data

User Reiko Heckel, University of Leicester.

Friday 05 December 2014, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

QuLog: A modern logic-based agent-implementation language

User Professor Keith L Clark, Imperial College.

Wednesday Seminars - Department of Computer Science and Technology

Friday 05 December 2014, 14:00-15:00

Transitive leap frogging: how to avoid queuing up for work

User Dr Karl-Filip Faxén - SICS, Sweden..

Wednesday 03 December 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Transition systems over games

User Paul Levy, University of Birmingham.

Friday 28 November 2014, 16:00-17:00

House FW11, Computer Laboratory, William Gates Building.

Cloud-centric assured information sharing

User Dr. Bhavani Thuraisingham, Executive Director of the Cyber Security Research Institute, The University of Texas at Dallas.

Thursday 27 November 2014, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Text Analysis of Social Media Beyond Twitterdome

User Prof Tim Baldwin - Melbourne University.

Wednesday 26 November 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Senescent Ground Tree Rewrite Systems

User Matthew Hague, Royal Holloway.

Friday 21 November 2014, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Hacking is not random: a case-control study of webserver-compromise risk

User Marie Vasek, PhD student in the Computer Science and Engineering department, Southern Methodist University (SMU).

Wednesday 19 November 2014, 15:05-16:05

Wednesday Seminars - Department of Computer Science and Technology

Scientific Data Management

User Dr Thomas Heinis - Imperial College London.

Wednesday 19 November 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Verification of quantum protocols using Coq

User Jaap Boender, Middlesex University.

Friday 14 November 2014, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Kafka and Samza: distributed stream processing in practice

User Martin Kleppmann - LinkedIn.

Wednesday 12 November 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

An Algorithmic Metatheorem for Directed Treewidth

User Mateus de Oliveria Oliveira, KTH, Stockholm.

Friday 07 November 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Payment System Security - Attacks and Defences

User Dr Steven Murdoch - University College London.

Wednesday 05 November 2014, 14:00-15:00

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Taming GPU threads with F# and Alea.GPU

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending

User Dr Daniel Egloff, QuantAlea AG.

Monday 03 November 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Structure and Dynamics of Mutlilayer Networks

User Ginestra Bianconi - Queen Mary University London.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 29 October 2014, 14:00-15:00

Science Data Processor for the Square Kilometre Array Telescope

User Bojan Nikolic - University of Cambridge MRAO.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 22 October 2014, 14:00-15:00

Fuzzy Optimisation of Reverse Logistics Networks

User Prof Dobrila Petrovic - Coventry University.

Computer Laboratory Programming Research Group Seminar

Wednesday 15 October 2014, 14:00-15:00

Logic programming beyond Prolog

This is an MSR Seminar (Station Road), duplicated on the CPRG list

User Maarten van Emden, University of Victoria, Canada.

House Seminar Room, Microsoft Research, Station Road, Cambridge.

Thursday 09 October 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bitcoin as a source of verifiable public randomness

User Joseph Bonneau, Center For Information Technology Policy, Princeton.

Tuesday 30 September 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

DP5: Privacy-preserving Presence Protocols

User Ian Goldberg, University of Waterloo [currently on sabbatical at the University of Cambridge].

Tuesday 23 September 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Micro-Policies: A Framework for Tag-Based Security Monitors

User Benjamin C. Pierce, University of Pennsylvania.

Wednesday 10 September 2014, 13:00-14:00

House FW26, Computer Laboratory, William Gates Building.

Micro-Policies: A Framework for Tag-Based Security Monitors

User Benjamin C. Pierce, University of Pennsylvania.

Wednesday 10 September 2014, 13:00-14:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

From TLS to secure websites: the HTTPS landmine

User Antoine Delignat-Lavaud, Inria Paris, team Prosecco (Programming Securely with Cryptography.

Tuesday 09 September 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Embedding effect systems in Haskell

User Dominic Orchard (University of Cambridge).

Friday 29 August 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction

User Alexey Bakhirkin, MSR/University of Leicester.

Friday 22 August 2014, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Safe Shell Scripting with Capabilities and Contracts

User Scott Moore, PhD student, Harvard.

Tuesday 29 July 2014, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

User Professor Keith Clark, Department of Computing, Imperial College, London.

Computer Laboratory Programming Research Group Seminar

Monday 14 July 2014, 14:00-15:00

Points-To and Alias Analysis -- the precision vs efficiency dilemma

User Professor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. .

Tuesday 08 July 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Why Isn’t Verification Standard Practice?

User Steve Crocker, ICANN.

Tuesday 01 July 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Formally Verified Security Micro Policies

User Arthur Azevedo de Amorim (Upenn).

House FW26, Computer Laboratory, William Gates Building.

Friday 06 June 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Trust, Religion, and Tribalism: Reflections on the Sociological Data from the Balkans

User Gorazd Andrejč, Junior Research Fellow, Woolf Institute, Cambridge.

Tuesday 03 June 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship

User Professor Nikita Borisov - University of Illinois at Urbana-Champaign.

Wednesday 28 May 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection

User Matthew Flatt, University of Utah.

Friday 23 May 2014, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Higher-kinded programming in ML

User Jeremy Yallop, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Friday 23 May 2014, 14:00-15:00

Theory into Practice: the story of Incremental

User Yaron Minsky - Jane Street.

Wednesday 21 May 2014, 14:00-15:00

Computational Thinking

User Prof Jeannette M. Wing - Microsoft Research & Carnegie Mellon University.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 14 May 2014, 16:00-18:30

No Babbage Seminar today owing to the Wheeler Lecture

User Speaker to be confirmed.

Wednesday 14 May 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Security, Reliability and Backdoors

User Dr Sergei Skorobogatov, Security Group, University of Cambridge Computer Laboratory.

Tuesday 13 May 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Multitask Learning

User Prof Massimiliano Pontil - University College London.

Wednesday 07 May 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Psychology of malware warnings

User David Modic, Cambridge University.

Tuesday 06 May 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

User Marco Gaboardi (University of Dundee).

Computer Laboratory Programming Research Group Seminar

Monday 05 May 2014, 11:00-12:00

A Core Quantitative Coeffect Calculus

User Marco Gaboardi (University of Dundee).

Wednesday Seminars - Department of Computer Science and Technology

Monday 05 May 2014, 11:00-12:00

Computing Cancer

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

Wednesday 30 April 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Protecting Programs During Resource Retrieval

User Professor Trent Jaeger, CSE Department, Pennsylvania State University.

Tuesday 29 April 2014, 15:00-16:00

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

On-the-fly garbage collection: issues and opportunities

User Richard Jones, University of Kent.

Friday 25 April 2014, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

* The Weight of Gravity *

(Additional Talk: Week 0, Extended Duration 1.5 hrs)

User Hills, Graham and Blain - Framestore Visual Effects, London.

Wednesday 23 April 2014, 14:00-15:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Website Fingerprinting

User Nikita Borisov, University of Illinois.

Tuesday 22 April 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Solving an existential crisis in Haskell

User Michael Gale (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Friday 04 April 2014, 14:00-15:00

What can Programming Language Research Learn from the Philosophy of Science?

User Tomas Petricek (University of Cambridge).

House GC22.

Friday 28 March 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bitcoin: A Full Employment Act for security engineers?

User Joseph Bonneau, Center For Information Technology Policy, Princeton.

Tuesday 18 March 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Competitive Contagion in Networks

User Moez Draief - Imperial College London.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 12 March 2014, 14:00-15:00

Part Ib Group Project Presentations

User Computer Laboratory Part Ib Students.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 05 March 2014, 14:00-15:00

What We Talk About When We Talk About Types

User Dr Nick Benton - Microsoft Research Cambridge.

Wednesday 26 February 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Introduction to DNSSEC

User Tony Finch, University of Cambridge Computing Service.

Tuesday 25 February 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Interactive Configuration Problems

User Henrik Reif Andersen - Configit.Com, Copenhagen..

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 19 February 2014, 14:00-15:00

Safer Healthcare by Better Computer Science

User Prof. Harold Thimbleby - Swansea University, Wales..

Wednesday 12 February 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

On the (in)security of widely-used RFID access control systems

User Dr. Flavio D. Garcia, University of Birmingham.

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

Wednesday Seminars - Department of Computer Science and Technology

Talking About Shapes

User MALCOLM SABIN .

Wednesday 05 February 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The effect of decentralized behavioral decision making on system-level risk

User Kim Kaivanto, Lancaster University.

Tuesday 04 February 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Randomised Load Balancing For Networks

User Thomas Sauerwald - University of Cambridge, Computer Laboratory.

Wednesday 29 January 2014, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Representing conditional independence in probabilistic programming

User Daniel Roy, Engineering Department, University of Cambridge.

Friday 24 January 2014, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Towards Language Composition

User Laurence Tratt, King's College London.

Wednesday Seminars - Department of Computer Science and Technology

Friday 24 January 2014, 14:00-15:00

Evaluation Metrics and Learning to Rank for Information Retrieval

Please note new seminar start time of 2:00pm this term.

User Emine Yilmaz - University College London.

Wednesday 22 January 2014, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Eavesdropping near field contactless payments: A quantitative analysis

User Thomas P. Diakos, University of Surrey.

Tuesday 21 January 2014, 15:00-16:00

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Automating reasoning tasks for separation logic

User Juan A. Navarro Pérez, UCL.

Friday 17 January 2014, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy/Proxy/Perfidy – what criminals (and others) put in domain whois

User Dr Richard Clayton, University of Cambridge.

Tuesday 14 January 2014, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Lawful Hacking: Using Existing Vulnerabilities for Wiretapping on the Internet.

User Prof. Steven M. Bellovin, Columbia University.

Monday 23 December 2013, 16:15-17:15

House Room FW26, Computer Laboratory, William Gates Building.

An algebraic theory of type-and-effect systems

User Ohad Kammar (University of Cambridge).

Friday 13 December 2013, 13:00-14:00

House Room FW26, Computer Laboratory, William Gates Building.

Relational Programming in miniKanren

User William E. Byrd, University of Utah.

Friday 06 December 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

MirageOS: compiling a functional cloud

User Anil Madhavapeddy - University of Cambridge Computer Laboratory.

Wednesday 04 December 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Reviewing Cybercrime; Epistemology, Political Economy and Models

User Dr Michael McGuire, University of Surrey.

Tuesday 03 December 2013, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Julia: A Fast Dynamic Language for Technical Computing

User Stefan Karpinski, MIT.

House LT2, Computer Laboratory, William Gates Building.

Monday 02 December 2013, 13:00-14:00

House Room FW26, Computer Laboratory, William Gates Building.

Decision Problems for Linear Recurrence Sequences

User Joel Ouaknine, University of Oxford.

Friday 29 November 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Compressed sensing and the art of subsampling

User Anders Hansen - DAMTP, Centre for Mathematical Sciences, University of Cambridge.

Wednesday 27 November 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

TESLA: Temporally-enhanced security logic assertions

User Jonathan Anderson, University of Cambridge.

Tuesday 26 November 2013, 16:15-17:15

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Language based web security: the operational semantics approach

User Sergio Maffeis, Imperial College, London.

Friday 22 November 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Research Issues in Computer Support for Collaborative Problem Solving

User Steve Tanimoto - University of Washington, Seattle..

Wednesday 20 November 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

SCION: Scalability, Control, and Isolation On Next-Generation Networks

User Prof. Adrian Perrig, Department of Computer Science at the Swiss Federal Institute of Technology (ETH).

Monday 18 November 2013, 14:00-15:00

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Weighted relational models of typed lambda-calculi

User Guy McCusker, University of Bath.

Friday 15 November 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Towards Do-It-Yourself Networking

User Joerg Ott - Aalto University, Finland.

Wednesday 13 November 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

A day in the life of government cybersecurity

User Ian Levy.

Tuesday 12 November 2013, 16:15-17:15

House Room FW26, Computer Laboratory, William Gates Building.

Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.

User Tom Ridge, University of Leicester.

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

Wednesday Seminars - Department of Computer Science and Technology

Pico: no more passwords!

User Dr Frank Stajano - University of Cambridge Computer Laboratory.

Wednesday 06 November 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Animals as Mobile Social Users

User Tanya Berger-Wolf.

Tuesday 05 November 2013, 16:15-17:15

House Room FW26, Computer Laboratory, William Gates Building.

TALK POSTPONED

User Daniel Roy, Engineering Department, University of Cambridge.

Friday 01 November 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Understanding Video and Audio at Google

User Tom Walters - Google Zurich Labs.

Wednesday 30 October 2013, 14:15-15:15

House Room FW26, Computer Laboratory, William Gates Building.

Fibrational Parametricity

User Neil Ghani, University of Strathclyde.

Friday 25 October 2013, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

In-depth crypto attacks: "It always takes two bugs"

User Karsten Nohl, Security Research Labs.

Friday 25 October 2013, 14:00-15:30

Wednesday Seminars - Department of Computer Science and Technology

Disciplined Approximate Computing: From Language to Hardware and Beyond

User Luis Ceze - University of Washington..

Wednesday 23 October 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Psychology of scams

User David Modic, University of Cambridge.

Tuesday 22 October 2013, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Upgrading Fortran source code using automatic refactoring

User Dominic Orchard (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Monday 21 October 2013, 13:00-14:00

Automated functional program verification using fixpoint fusion

User Will Sonnex, Université de Cambridge.

House Room GC22, Computer Laboratory, William Gates Building.

Friday 18 October 2013, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Towards Position-based Routing for Mobile Environments

User Dr Marwan Fayad - Univ Stiling.

Wednesday 16 October 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

TLS Security - Where Do We Stand?

User Kenny Paterson, Royal Holloway.

Tuesday 15 October 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Logic of Hybrid Games

User Andre Platzer, CMU.

House FW26, Computer Laboratory, William Gates Building.

Friday 11 October 2013, 14:30-15:30

Computer Laboratory Programming Research Group Seminar

Automatic SIMD vectorization for Haskell

User Dominic Orchard (University of Cambridge).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 17 September 2013, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

OCaml-Java: blending OCaml & Java

User Xavier Clerc.

House FW26, Computer Laboratory, William Gates Building.

Thursday 08 August 2013, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Descriptive set theory and Computation theory

User Victor Selivanov, Novosibirsk Pedagogical University.

Friday 26 July 2013, 16:00-17:00

House Room FW26, Computer Laboratory, William Gates Building.

An overview of nominal algebra, lattice, representation and dualities for computer science foundations

User Jamie Gabbay.

Tuesday 02 July 2013, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Denotation of Contextual Modal Type theory

User Murdoch Gabbay.

House FW26, Computer Laboratory, William Gates Building.

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

Computer Laboratory Programming Research Group Seminar

Coeffects: Unified static analysis of context-dependence

User Tomas Petricek (University of Cambridge).

House SS03, Computer Laboratory, William Gates Building.

Monday 01 July 2013, 13:00-14:00

House Room FW26, Computer Laboratory, William Gates Building.

Cancelled Logic of Hybrid Games

User Andre Platzer, CMU.

Friday 28 June 2013, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Goji: a tool to generate OCaml bindings of JavaScript libraries

User Dr. Benjamin Canou.

House SS03, Computer Laboratory, William Gates Building.

Friday 28 June 2013, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Humans + Automation: Greater than the sum of the parts

User Missy Cummings - MIT.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 19 June 2013, 14:15-15:15

Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact

User Tim Pullen - Detica / BAE Systems.

Wednesday 12 June 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

PHANTOM: A Parallel Architecture for Practical Oblivious Computation

User Martin Maas, UC Berkeley.

Tuesday 11 June 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Concise analysis using implication algebras for task-local memory optimisation

User Leo White .

House FW22, Computer Laboratory, William Gates Building.

Tuesday 11 June 2013, 13:00-14:00

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

A few lessons that I learnt about interprocedural program analyses

User Hongseok Yang, University of Oxford.

Friday 07 June 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

The Domain Name System in 2013 – The political and technical landscape

User Simon McCalla - CTO, Nominet UK.

Wednesday 29 May 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Distributed Electronic Rights in JavaScript

User Mark S. Miller, Google.

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

Computer Laboratory Programming Research Group Seminar

A Heterogeneous Parallel Programming Language and Compiler Architecture

User Nicholas Tomlinson.

House SW01, Computer Laboratory, William Gates Building.

Thursday 23 May 2013, 13:20-13:40

Computer Laboratory Programming Research Group Seminar

Part III projects: Approximating a Haskell stack trace/Language and compiler for heterogenous parallelism

User William Kenyon, Nicholas Tomlinson.

House SW01, Computer Laboratory, William Gates Building.

Thursday 23 May 2013, 13:00-13:30

Wednesday Seminars - Department of Computer Science and Technology

Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century

User Prof Ewan Klein - University of Edinburgh.

Wednesday 22 May 2013, 14:15-15:15

House Room FW26, Computer Laboratory, William Gates Building.

Multiparty session types and their application in large distributed systems

User Raymond Hu and Nobuko Yoshida, Imperial College.

Friday 17 May 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Strongly-Typed Language Support for Internet-Scale Information Sources

User Don Syme - Microsoft Research.

Wednesday 15 May 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Rendezvous: A search engine for binary code

User Wei Ming Khoo, Computer Laboratory, University of Cambridge.

Tuesday 14 May 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Coinductive big-step semantics for concurrency

Note unusual time and day

User Tarmo Uustalu ( Institute of Cybernetics, Tallinn University of Technology).

House FW11, Computer Laboratory, William Gates Building.

Tuesday 14 May 2013, 15:45-16:45

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Pins, Tacks, and Slinks: Proposals for patching PKI on the web

User Joseph Bonneau, Google.

Wednesday 08 May 2013, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing

User Dr Licia Capra - University College London.

Wednesday 08 May 2013, 14:15-15:15

House Room FW26, Computer Laboratory, William Gates Building.

Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >

User Nathan Chong, Imperial College, London.

Friday 03 May 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

CANCELLED: Compressed Sensing and the Art of Subsampling

User Anders Hansen - University of Cambridge Computer Laboratory.

Computer Laboratory Programming Research Group Seminar

Wednesday 01 May 2013, 14:15-15:15

Mezzo

User Jonathan Protzenko (from INRIA).

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

House Room FW26, Computer Laboratory, William Gates Building.

Semigroups with low difficulty word problem

User Markus Pfeiffer, St Andrew's.

Friday 26 April 2013, 16:00-17:00

Could Computers Understand Their Own Programs

User Prof Sir Tony Hoare - Microsoft Research & Computer Laboratory.

Wednesday 24 April 2013, 14:30-15:30

House Room FW26, Computer Laboratory, William Gates Building.

Malware Analysis with Tree Automata Inference

User Domagoj Babic.

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

Wednesday Seminars - Department of Computer Science and Technology

Student Design Project Presentations

User Student design teams.

House Intel Lab and Lecture Theatre 1, Computer Laboratory.

Wednesday 06 March 2013, 14:00-17:30

House Room TBC. Microsoft Research, Station Road.

Cyclic Abduction of Inductive Termination Preconditions

User James Brotherston, University College London.

Friday 01 March 2013, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

High-Assurance Algorithmic Trading

User Dr. Hasan Amjad, Cantab Capital Partners.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 27 February 2013, 14:15-15:15

Challenges in Computer Graphics Modeling

User Prof. Oliver Deussen, University of Konstanz, Germany.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 20 February 2013, 14:15-15:15

Privacy Challenges and Solutions for Data Sharing

User Dr Aris Gkoulalas-Divanis, IBM Research, Dublin.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 13 February 2013, 14:15-15:15

Adaptive Runtime Verification

User Prof Ezio Bartocci, University of Wien.

Wednesday 06 February 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

A novel, efficient, scalable and easy-to-use cryptographic key management solution for wireless sensor networks

User Dr Michael Healy, University of Limerick .

Tuesday 05 February 2013, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Replacing lectures with videos in the Computer Science Tripos

User Andy Rice, Alastair Beresford, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 30 January 2013, 14:15-15:15

Computing at School: Tackling the ICT Education Crisis in UK Schools

User Simon Peyton-Jones, Microsoft Research.

Wednesday 23 January 2013, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

CERB Banking: How to secure online banking and keep the users happy?

User Pawel Jakub Dawidek.

Tuesday 22 January 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Java 8 Workshop

User Raoul-Gabriel Urma (University of Cambridge).

House LT2.

Monday 21 January 2013, 15:00-17:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Protecting your website from hackers

User Ben Mathews, Facebook.

Tuesday 15 January 2013, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Protecting websites from social engineering attacks against your users

User Christopher Palow, Facebook.

Tuesday 04 December 2012, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management

User Frank Bellosa, Karlsruhe Institute of Techology.

Wednesday 28 November 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Who's next? Identifying risk factors for subjects of targeted attacks

User Martin Lee (Symantec).

Tuesday 27 November 2012, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language

User Dr Gabriel Kerneis (University of Cambridge).

Friday 23 November 2012, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Halo: From Haskell to Logic through Denotational Semantics

User Dimitrios Vytiniotis, MSR Cambridge.

Friday 23 November 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Every tweet counts: How statistical content analysis of social networks can improve our knowledge of citizens' preferences. An application to France and US presidential elections and EU leaders' popularity

User Prof. Stefano Iacus, Dipartimento di Economia, Management e Metodi Quantitativi Universita' di Milano.

Wednesday 21 November 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

An Updated Threat Model for Security Ceremonies

User Jean Martina (Federal University of Santa Catarina / Brazil).

Tuesday 20 November 2012, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google

User Thomas Dullien, Google.

Wednesday 14 November 2012, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Abstraction and Invariance for Algebraically Indexed Types

User Andrew Kennedy, Microsoft Research Cambridge.

Friday 09 November 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Sentiment Analysis

User Prof. Stephen Pulman, Oxford University Department of Computer Science.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 07 November 2012, 14:15-15:15

Semi-local string comparison

User Alexander Tiskin, Department of Computer Science, University of Warwick.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 31 October 2012, 14:15-15:15

Challenges and approaches to improving the accuracy of indoor positioning systems

User Niki Trigoni, Oxford University Department of Computer Science.

Wednesday 24 October 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Exploring compartmentalisation hypotheses with SOAAP

User Khilan Gudka (University of Cambridge).

Tuesday 23 October 2012, 16:15-17:15

House FW26, Computer Laboratory, William Gates Builiding.

From geek-dream to mass-market: Will privacy-preserving technologies ever be adopted?

User Hamed Haddadi (Queen Mary, University of London).

Thursday 18 October 2012, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes

User Dr Piero Fariselli, Biocomputing Group and Department of Computer Science, University of Bologna.

Wednesday 17 October 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Analysis of FileVault 2: Apple's full disk encryption scheme

User Omar Choudary (University of Cambridge).

Tuesday 16 October 2012, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Monadic Program Slicing

User Dr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).

Friday 12 October 2012, 15:15-16:15

House Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Dynamically Enforcing Knowledge-based Security Policies

User Michael Hicks, University of Maryland.

Friday 12 October 2012, 10:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

Dart: A Platform for Building Large Web Applications

User Mads Ager, Google.

Wednesday 10 October 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Aurasium: Practical Policy Enforcement for Android Applications

User Rubin Xu (University of Cambridge).

Tuesday 09 October 2012, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Technology Risk Management - Achilles Heels, Myths and Mirages

Note the change in timing

User Tony Chew (Monetary Authority of Singapore).

Thursday 04 October 2012, 17:00-18:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Explorations of Science in Cyber Security

User Greg Shannon (CERT and Carnegie Mellon University).

Monday 01 October 2012, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Protecting Distributed Applications Through Software Diversity and Renewability

User Christian Collberg, University of Arizona.

Thursday 27 September 2012, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

The Whiley Programming Language: Design & Implementation

User David Pearce, Victoria University of Wellington, New Zealand.

Friday 07 September 2012, 15:15-16:15

House Room GC22, Computer Laboratory, William Gates Building.

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

User Abhisekh Sankaran, IIT Bombay.

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

Computer Laboratory Programming Research Group Seminar

A Notation for Comonads

User Dominic Orchard (University of Cambridge).

Wednesday 29 August 2012, 15:00-15:45

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bromium: Task isolation through hardware-assisted virtualization

User Ian Pratt, Bromium.

Tuesday 31 July 2012, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Security Analysis of Industrial Control Systems

User Arthur Gervais (Aalto University).

Tuesday 10 July 2012, 16:15-17:15

House SS03, Computer Lab, William Gates Building.

Code-Level Formal Verification for Large Real Systems

User Mark Staples (NICTA).

Wednesday 27 June 2012, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

The Great Indoors: The Next Frontier in Location-Based Services

Note unusual time, day and location

User Ravi Palanki, Qualcomm.

Computer Laboratory Programming Research Group Seminar

Monday 25 June 2012, 13:00-14:00

Control Flow Analysis for the Join Calculus

User Peter Calvert (University of Cambridge).

Friday 22 June 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Towards Trustworthy Embedded Systems

User Gernot Heiser (University of New South Wales/NICTA).

Friday 22 June 2012, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Behavioural Nudge or Technological Fudge?

User Yvonne Rogers, Professor of Interaction Design, UCL.

Computer Laboratory Programming Research Group Seminar

Wednesday 13 June 2012, 14:15-15:15

Mathematical Structures for Data Types with Restricted Parametericity

User Dominic Orchard (University of Cambridge).

Friday 08 June 2012, 15:15-16:15

House Room FW26, Computer Laboratory, William Gates Building.

Bounds on proof size and distributive encryption

Note that this talk will be in FW26 rather than the usual room.

User R. Ramanujam, Institute of Mathematical Sciences, Chennai.

Friday 08 June 2012, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Lock Inference in the Presence of Large Libraries

User Khilan Gudka (University of Cambridge).

Thursday 07 June 2012, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Syntax Matters: Writing abstract computations in F#

User Tomas Petricek (University of Cambridge).

Friday 01 June 2012, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Safe Recursive Set Functions

User Arnold Beckmann, Swansea University.

Friday 01 June 2012, 14:00-15:00

House SS03, Computer Lab, William Gates Building.

Attacks and defenses in decentralised botnets

User Shishir Nagaraja (University of Birmingham).

Thursday 31 May 2012, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

A Bayesian Approach to Learning the Structure of Human Languages

User Phil Blunsom, Department of Computer Science, Oxford University.

Wednesday 30 May 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Some recent results on TLS and DTLS

User Kenny Paterson (Royal Holloway).

Tuesday 29 May 2012, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Alan Turing as a computer designer

User Prof. Brian Carpenter, University of Auckland Computer Science.

Computer Laboratory Programming Research Group Seminar

Wednesday 23 May 2012, 14:15-15:15

MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages

User Borja Moreno Fernandez and Artem Glebov (University of Cambridge).

Friday 18 May 2012, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

MELL in a free compact closure

User Etienne Duchesne, LIPN, Université Paris 13.

Friday 18 May 2012, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Facebook and Privacy: The Balancing Act of Personality, Gender, and Relationship Currency

User Daniele Quercia (University of Cambridge).

Thursday 17 May 2012, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Energy efficiency and the design of brains

User Professor Simon Laughlin, Department of Zoology, University of Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 16 May 2012, 14:15-15:15

CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google

CANCELLED: will most likely be rescheduled for next term

User Thomas Dullien, Google.

Wednesday 09 May 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Building Bankomat: Cash dispensers and the development of on-line, real-time networks in Britain and Sweden, c.1965-1985

User Bernardo Batiz-Lazo (Bangor University).

Tuesday 08 May 2012, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Content delivery in the Internet: an infrastructure-oriented perspective.

User Steve Uhlig, Professor of Networks, School of electronic engineering and computer science, Queen Mary, University of London.

Wednesday 02 May 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

New evidence on consumers’ willingness to pay for privacy

User Sören Preibusch (University of Cambridge).

Tuesday 01 May 2012, 16:15-17:15

House Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Rekeyable Ideal Cipher from a Few Random Oracles

User Elena Andreeva, K.U. Leuven.

Monday 23 April 2012, 14:00-15:00

House Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Confining the Ghost in the Machine: Using Types to Secure JavaScript Sandboxing

User Shriram Krishnamurthi, Brown University.

Wednesday 18 April 2012, 10:30-11:30

House Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Efficient Cryptography for the Next Generation Secure Cloud

User Alptekin Küpçü, Koç University.

Tuesday 17 April 2012, 16:00-17:00

House Room FW11, Computer Laboratory, William Gates Building.

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

User Rasmus Møgelberg, IT University, Copenhagen.

Friday 13 April 2012, 14:00-15:00

House Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

The science of guessing

User Joseph Bonneau (Cambridge University).

Thursday 05 April 2012, 09:30-10:30

House FW26, Computer Laboratory, William Gates Builiding.

Towards Statistical Queries over Distributed Private User Data

User Paul Francis (MPI-SWS).

Monday 02 April 2012, 16:00-17:00

House Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Non-Interactive Verifiable Computation

User Bryan Parno, Microsoft Research.

Wednesday 28 March 2012, 14:00-15:00

House Room FW11, Computer Laboratory, William Gates Building.

Expressiveness of real-time temporal logics

User Paul Hunter, University of Oxford.

Friday 23 March 2012, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Trustworthy Medical Device Software

User Kevin Fu (University of Massachusetts Amherst).

Tuesday 20 March 2012, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Insecurity Engineering in Locks

User Marc Weber Tobias.

Tuesday 20 March 2012, 14:00-15:00

House Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Malleability in Modern Cryptography

User Markulf Kohlweiss, MSRC.

Wednesday 14 March 2012, 10:00-11:00

Computer Laboratory Programming Research Group Seminar

Architecture-neutral Parallelism

User Peter Calvert (University of Cambridge).

Friday 09 March 2012, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics

User Stanislav Kikot, University of London Birkbeck College.

Friday 09 March 2012, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Evaluation strategies for monadic computations

User Tomas Petricek (University of Cambridge).

Computer Laboratory Automated Reasoning Group Lunches

Friday 02 March 2012, 15:15-16:15

A Proposed Framework for Analysing Security Ceremonies

User Jean Martina (Federal University of Santa Catarina / Brazil).

House Computer Laboratory, William Gates Building, Room SS03.

Tuesday 28 February 2012, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Don't kill my ads! Balancing Privacy in an Ad-Supported Mobile Application Market

User Ilias Leontiadis (University of Cambridge).

Friday 24 February 2012, 14:00-14:30

C++11 Style

Please register; note 16:00 start time

User Bjarne Stroustrup, Distinguished University Professor, Texas A&M University; Visiting Professor, Cambridge University.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 15 February 2012, 16:00-17:30

A Communications Medium for the 21st Century : Towards Open Public Display Networks

User Nigel Davies, University of Lancaster.

Wednesday 08 February 2012, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism

User Elitza Maneva, Universitat de Barcelona (UB).

Friday 03 February 2012, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Using the OpenJDK to investigate covariance in Java

Note unusual day and time.

User Raoul-Gabriel Urma and Janina Voigt (University of Cambridge).

Thursday 02 February 2012, 13:00-14:00

House SS03, Computer Laboratory, William Gates Building.

The Yin and Yang Sides of Embedded Security

User Christof Paar (Ruhr University Bochum).

Tuesday 31 January 2012, 12:45-14:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Statistical Attack on RC4: Distinguishing WPA

User Serge Vaudenay (EPFL).

Monday 30 January 2012, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Extracting Unknown Keys from Unknown Algorithms Encrypting Unknown Fixed Messages and Returning no Results

User David Naccache (ENS).

Monday 30 January 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Inclusive Design

User Professor John Clarkson (University of Cambridge).

Wednesday 25 January 2012, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

User choice of PINs and passphrases

User Joseph Bonneau (University of Cambridge).

Tuesday 24 January 2012, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Layered Fixed Point Logic

User Piotr Filipiuk, Technical University of Denmark (DTU).

Friday 20 January 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Speech Synthesis at Google

User Matt Stuttle, Google.

Wednesday 18 January 2012, 14:15-15:15

House Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Homomorphic Encryption from Ring Learning with Errors

User Michael Naehrig, Technische Universiteit Eindhoven.

Tuesday 10 January 2012, 10:00-11:00

House Room FW11, Computer Laboratory, William Gates Building.

Algebra unifies Calculi of programming

User Tony Hoare (Microsoft Research).

Friday 02 December 2011, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Virtual machines should be invisible (and might be augmented)

User Stephen Kell (Oxford).

Friday 25 November 2011, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Nash Equilibrium, Bekic's Lemma and Bar Recursion

User Paulo Oliva - Queen Mary, University of London.

Friday 25 November 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Automatic Discovery of Patterns in Media Content

User Nello Cristianini, Professor of Artificial Intelligence, Departments of Engineering Mathematics and Computer Science, University of Bristol.

Wednesday 23 November 2011, 14:15-15:15

House FW26, Computer Laboratory, William Gates Builiding.

Real-Time and Real Trustworthiness: Timing Analysis of a Protected OS Kernel

This talk is cancelled.

User Bernard Blackham (NICTA).

Monday 21 November 2011, 15:00-16:00

House SS03, Computer Lab, William Gates Building.

Quantifying Location Privacy

User George Theodorakopoulos (EPFL, University of Derby).

Thursday 17 November 2011, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Search Based Software Engineering

User Prof. Mark Harman, UCL Dept of Computer Science.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 16 November 2011, 14:15-15:15

Algebraic theories and computational effects

User Sam Staton (Computer Laboratory, University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 09 November 2011, 14:15-15:15

Notes on the Synthesis of Music

User Sam Aaron.

Computer Laboratory Digital Technology Group (DTG) Meetings

Wednesday 02 November 2011, 14:15-15:15

Web mining and privacy: foes or friends?

User Bettina Berendt.

Monday 31 October 2011, 13:00-14:00

House Room FW11, Computer Laboratory, William Gates Building.

Almost always blue trees and bar induction

User Tarmo Uustalu, Tallinn University of Technology.

Friday 28 October 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

TIME: Transport Information Monitoring Environment

User Dr Ken Moody (University of Cambridge).

Wednesday 26 October 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Facial Analysis for Lie Detection

User Hassan Ugail (University of Bradford).

Tuesday 25 October 2011, 16:15-17:15

House FW26, Computer Laboratory, William Gates Builiding.

Software Bloat: A systems' perspective

User K. Gopinath (Indian Institute of Science).

Friday 21 October 2011, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Wool: low overhead work stealing for fine grain parallelism.

Note unusual time of 2pm.

User Karl-Filip Faxén (SICS).

Wednesday Seminars - Department of Computer Science and Technology

Friday 21 October 2011, 14:00-15:00

Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox

User Thore Graepel, MSR Cambridge.

Computer Laboratory Programming Research Group Seminar

Wednesday 12 October 2011, 14:15-15:15

Coeffect Systems and Typing (Preliminary report)

User Tomas Petricek & Dominic Orchard (Computer Laboratory, Cambridg).

Friday 07 October 2011, 15:15-16:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Building Trusted Systems with Protected Modules

User Bryan Parno (Microsoft Research).

Thursday 06 October 2011, 14:15-15:15

House FW26, Computer Laboratory, William Gates Builiding.

Twitter bots

User Miranda Mowbray (HP Labs Bristol).

Thursday 29 September 2011, 16:00-17:00

House Large lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

The IITM Model and its Application to the Analysis of Real-World Security Protocol

User Ralf Küsters, University of Trier.

Thursday 08 September 2011, 13:30-14:30

Computer Laboratory Programming Research Group Seminar

Efficient and Correct Stencil Computations via Pattern Matching and Type Checking

User Dominic Orchard, Computer Lab.

Friday 02 September 2011, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Parameterized Complexity of some Problems in Concurrency and Verification

User Praveen Manjunatha, The Institute of Mathematical Sciences, Chennai.

Tuesday 30 August 2011, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Petri-nets as an Intermediate Representation for Heterogeneous Architectures

Note unusual room

User Peter Calvert (University of Cambridge).

House GS22, Computer Laboratory.

Friday 19 August 2011, 15:15-16:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The great censorship war of 2011: are we winning?

User Mystery speaker.

Tuesday 02 August 2011, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Evolutionary Software Repair

User Stephanie Forrest, University of New Mexico.

Tuesday 19 July 2011, 16:15-17:15

A Language for Type-Safe Web Programming

User Cervesato Iliano.

House Small Lecture Room.

Tuesday 19 July 2011, 11:00-12:00

House Room FW11, Computer Laboratory, William Gates Building.

Parallel Assertions for Debugging Parallel Programs

User Daniel Schwartz-Narbonne, Princeton University.

Friday 08 July 2011, 14:00-15:00

House Room FW11, Computer Laboratory, William Gates Building.

Lightweight Monadic Programming in ML

User Michael Hicks, University of Maryland.

Friday 01 July 2011, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Practice talks

User Pete Calvert and Tomas Petricek.

Wednesday Seminars - Department of Computer Science and Technology

Friday 17 June 2011, 15:15-16:15

Compiler Tools for MATLAB

User Laurie Hendren, Professor, School of Computer Science, McGill University, Canada Leverhulme Visiting Professor, Oxford University Computing Laboratory.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 15 June 2011, 14:15-15:15

EXAMS - NO SEMINAR THIS WEEK

User Speaker to be confirmed.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 08 June 2011, 14:15-15:15

Body Part Recognition: Making Kinect Robust

User Jamie Shotton, MSR Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 01 June 2011, 14:15-15:15

The Duality of State and Observation

User Prakash Panangaden, Computing Laboratory Oxford University; on leave from McGill University.

Computer Laboratory Programming Research Group Seminar

Wednesday 25 May 2011, 14:15-15:15

When Monads and Comonads Overlap

Note unusual time and room.

User Dominic Orchard, Computer Lab.

Friday 20 May 2011, 15:00-16:00

House Room FW11, Computer Laboratory, William Gates Building.

The Complexity of #CSP

User David Richerby, University of Liverpool.

Friday 20 May 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Kernel Methods: the Emergence of a Well-founded Machine Learning

User John Shawe-Taylor, Professor and Director of the UCL Centre for Computational Statistics and Machine Learning.

Wednesday 18 May 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Practical Linguistic Steganography using Synonym Substitution

User Ching-Yun (Frannie) Chang & Stephen Clark, University of Cambridge.

Tuesday 17 May 2011, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method

Another unusual date/time...

User Uday Khedker ( IIT Bombay).

Computer Laboratory Programming Research Group Seminar

Tuesday 17 May 2011, 14:30-15:30

Programming with Comonads and Codo Notation

Note unusual time and place

User Dominic Orchard, Computer Lab.

House GC22, Computer Laboratory.

Friday 13 May 2011, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Demystifying GCC (Or What the GCC manuals should have told you but they don't!)

Note unusual time/day/location

User Uday Khedker, IIT Bombay.

House LT2, Computer Laboratory, William Gates Building.

Thursday 12 May 2011, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

From deterministic finite automata to infinite games

User Eryk Kopczynski.

Computer Laboratory Digital Technology Group (DTG) Meetings

Wednesday 11 May 2011, 14:15-15:15

(Research) Influences of wind on radiowave propagation in foliated fixed wireless system / (Research) Information flow control for static enforcement of user-defined privacy policies

User Sören Preibusch and Tien Han Chua.

Monday 09 May 2011, 14:00-15:00

House Room FW11, Computer Laboratory, William Gates Building.

Isomorphisms of types in the presence of higher-order references

User Pierre Clairambault, University of Bath.

Friday 06 May 2011, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Functional Programming for the Data Centre

Note unusual day and time. Room GS15.

User Jeff Epstein, Computer Laboratory.

Thursday 05 May 2011, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Introduction to MILS and the LynuxWorks Separation Kernel

User Rance DeLong, LynuxWorks Inc..

Thursday 05 May 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The Bluespec hardware definition language

User Joe Stoy, Bluespec Inc..

Wednesday 04 May 2011, 15:30-16:30

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Reflection on Java Security and Its Practical Impacts

User Li Gong.

Wednesday 04 May 2011, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Reflection on Java Security and Its Practical Impacts

Joint with the Security seminar series

User Li Gong.

Wednesday 04 May 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Architectures for Practical Client-Side Security

User Virgil Gligor, Carnegie Mellon University.

Tuesday 03 May 2011, 15:45-16:45

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

CTSRD: Capability CPUs revisited

User Peter Neumann, SRI International / Robert Watson, University of Cambridge.

Tuesday 03 May 2011, 14:45-15:45

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

An overview of the DARPA CRASH research programme

User Howie Shrobe, DARPA.

Tuesday 03 May 2011, 14:15-14:45

Computer Laboratory Automated Reasoning Group Lunches

Using the Cambridge ARM model to verify the concrete machine code of seL4

User Magnus Myreen (University of Cambridge).

House Computer Laboratory, William Gates Building, Room SS03.

Thursday 28 April 2011, 13:15-14:00

Wednesday Seminars - Department of Computer Science and Technology

Moose: an open platform for software analysis

User Stephane Ducasse.

Wednesday 27 April 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Mobile Social Networks and Context-Awareness: Usage, Privacy and a Solution to Texting While Driving?

User Janne Lindqvist (Carnegie Mellon University).

Wednesday 13 April 2011, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

What is Software Assurance?

User John Rushby, SRI International.

Tuesday 12 April 2011, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Domination When the Stars Are Out – An algorithmization of Chudnovsky’s and Seymour’s Structure Theorem for Claw-Free Graphs

User Matthias Mnich, International Computer Science Institute, Berkeley.

Friday 08 April 2011, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Netalyzr: Network Measurement as a Network Security Problem

User Nicholas Weaver, ICSI and UC Berkeley.

Wednesday 06 April 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing -- theoretical prospects and relations to classical computation

Note change of lecture theatre

User Richard Jozsa, Centre for Quantum Information and Foundations, DAMTP, University of Cambridge.

Wednesday 16 March 2011, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Caveat coercitor: towards coercion-evident elections

User Mark Ryan (University of Birmingham).

Tuesday 15 March 2011, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Bisimulation and Model-Checking for Partial Order Models of Concurrency

User Julian Gutierrez, University of Edinburgh.

Friday 11 March 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Exhibition of Student Design Projects

Note special event! Note unusual time!

User Student Designers.

House Workstation area and Lecture Theatre 1, Computer Laboratory.

Wednesday 09 March 2011, 14:00-17:30

House SS03 of the Computer Lab.

Promoting location privacy... one lie at a time

User Daniele Quercia (University of Cambridge).

Thursday 03 March 2011, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Mobile Software Engineering - Characteristics and Challenges

User Manfred Bortenschlager, Samsung.

Wednesday 02 March 2011, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Approximating Labelled Markov Processes by Averaging

User Prakash Panangaden, McGill University.

Friday 25 February 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Reasoning about Software Safety Integrity and Assurance

User Tim Kelly, University of York.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 23 February 2011, 14:15-15:15

Non-Photorealistic Rendering (NPR)

User Christian Richardt (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 18 February 2011, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Petri-nets as an Intermediate Representation for Heterogeneous Architectures

User Pete Calvert (Computer Lab, Cambridge).

Friday 18 February 2011, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Kleisli Arrows of Outrageous Fortune

User Conor McBride, University of Strathclyde.

Friday 11 February 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

In the beginning God created tensor, ... then matter, ... then speech

User Bob Coecke, Oxford University Computing Laboratory.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 09 February 2011, 14:15-15:15

Efficient Network-wide Flow Record Generation

User Joel Sommers, Colgate University.

Computer Laboratory NetOS Group Talklets

Wednesday 02 February 2011, 14:15-15:15

A report on the IAB/W3C Internet Privacy Workshop

User Dr. David Evans (Computer Laboratory).

House Computer Laboratory, William Gates Building, Room FW11.

Tuesday 01 February 2011, 13:00-14:00

House Room FW11, Computer Laboratory, William Gates Building.

Selection functions everywhere

User Martín Escardó, University of Birmingham.

Friday 28 January 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Challenging Computer Science Problems at Ocado

User Dr Vince Darley, Head of Analytics & Optimisation, Ocado.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 26 January 2011, 14:15-15:15

Computing with Real Numbers

User Arno Pauly (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 21 January 2011, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming

User Tomas Petricek (Computer Laboratory, Cambridge).

Friday 21 January 2011, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Modular Reasoning for Deterministic Parallelism

User Mike Dodds, University of Cambridge.

Friday 21 January 2011, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Specification, Implementation and Verification of Refactorings

Note: Thursday not Friday.

User Max Schaefer (Oxford Computing Lab).

Computer Laboratory Programming Research Group Seminar

Thursday 20 January 2011, 15:15-16:15

Idris --- Systems Programming Meets Full Dependent Types

Note: Unusual time and date.

User Edwin Brady (St. Andrews).

Wednesday Seminars - Department of Computer Science and Technology

Thursday 20 January 2011, 13:00-14:00

Implementing a Distributed Event Processing Network

User Alex Kozlenkov, Betfair Research.

Computer Laboratory Programming Research Group Seminar

Wednesday 19 January 2011, 14:15-15:15

Pluggable Type System with Optional Runtime Monitoring of Type Errors

User Jukka Lehtosalo (Computer Lab, Cambridge).

Friday 14 January 2011, 15:15-16:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Reverse Engineering Malware

User Hassen Saidi, SRI International.

Thursday 09 December 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bumping attacks: the affordable way of obtaining chip secrets

User Sergei Skorobogatov - Computer Laboratory ( University of Cambridge).

Tuesday 07 December 2010, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

QuickSpec -- Guessing Formal Specifications using Testing

User Koen Claessen (Chalmers/Visiting at MSR).

Current Research Topics (Computer Laboratory) 2010-11

Thursday 02 December 2010, 16:00-17:00

Mathematically Structuring Programming Languages

User Dominic Orchard (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 26 November 2010, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Physical Attacks on PIN Entry Devices

User Matt Scott, ACI Worldwide.

Tuesday 23 November 2010, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation

User Jerome Feret, ENS, Paris.

Friday 19 November 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Detecting Network Traffic Anomalies

User Paul Barford, University of Wisconsin-Madison.

Wednesday 17 November 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The distribution of different sources of malware

User Francis Turner, ThreatSTOP Inc..

Tuesday 16 November 2010, 16:15-17:15

Current Research Topics (Computer Laboratory) 2010-11

Mobile phones based continuous sensing systems

User Kiran Rachuri (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 12 November 2010, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

What is happening now? Finding events in Massive Message Streams

User Miles Osborne, University of Edinburgh School of Informatics.

Wednesday 10 November 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy preserving smart-metering

User George Danezis, Microsoft Research.

Tuesday 09 November 2010, 16:15-17:15

Current Research Topics (Computer Laboratory) 2010-11

Side-Channel Cryptanalysis

User Joseph Bonneau (Cambridge University).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 05 November 2010, 16:00-17:00

House Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

Using SAT Solvers for Cryptographic Problems

User Mate Soos, Pierre and Marie Curie University.

Friday 05 November 2010, 14:00-15:00

House Room SS03, Computer Laboratory, William Gates Building.

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

User Marco Gaboardi, University of Bologna.

Friday 05 November 2010, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

A Look Into Youtube - The World's Largest Video Site

User Oliver Heckmann, Director of Engineering, Google Zurich.

Wednesday 03 November 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

An investigation into Chinese cybercrime and the underground economy in comparison with the West

User Michael Yip, University of Southampton.

Tuesday 02 November 2010, 16:15-17:15

Current Research Topics (Computer Laboratory) 2010-11

Building Secure Systems On and For Social Networks

User Nishanth Sastry (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 29 October 2010, 16:00-17:00

House Room FW11, Computer Laboratory, William Gates Building.

A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express

Note the unusual time (13:00)

User Peter Boehm, Oxford University.

Friday 29 October 2010, 13:00-14:00

House LT1, Computer Laboratory, William Gates Builiding.

Understanding Cyberattack as an Instrument of U.S. Policy

User Herbert Lin (The National Academies, USA).

Monday 25 October 2010, 16:00-17:00

Current Research Topics (Computer Laboratory) 2010-11

Algorithmic Game Theory

User Arno Pauly, University of Cambridge.

House LT1, Computer Laboratory, William Gates Builiding.

Friday 22 October 2010, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Performance-portable Programming Abstraction for Image Processing

User Richard Membarth, University of Erlangen-Nuremberg (currently ARM intern).

Friday 22 October 2010, 16:00-17:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Across the Pond: An Update on Health Privacy and Health Data Security. How are American patients faring?

User Deborah C. Peel, Founder and Chair, Patient Privacy Rights.

Wednesday 20 October 2010, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

A Survey of Classical and Real-Time Verification

User Joel Ouaknine, Oxford University Computing Laboratory.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 20 October 2010, 14:15-15:15

Introduction to Data Center Computing

User Derek Murray (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 15 October 2010, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Routing in Equilibrium

User Timothy G. Griffin (University of Cambridge).

Thursday 14 October 2010, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Test Generation and Fault Localization for Web Applications

User Frank Tip, IBM T.J. Watson Research Center.

Wednesday 13 October 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures

User Peter Neumann, Principal Scientist, SRI International Computer Science Lab.

Tuesday 12 October 2010, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures

Note unusual time and day (and LT2)

User Peter Neumann, Principal Scientist, SRI International Computer Science Lab.

Computer Laboratory Automated Reasoning Group Lunches

Tuesday 12 October 2010, 16:15-17:15

Schedulability analysis of embedded real-time Java

User Thomas Boegholm (University of Cambridge).

House Computer Laboratory, William Gates Building, Room SS03.

Tuesday 12 October 2010, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms

User RK Shyamasundar; Tata Institute of Fundamental Research, Mumbai.

Wednesday Seminars - Department of Computer Science and Technology

Friday 08 October 2010, 14:00-15:00

Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs

User Satnam Singh, Microsoft Research Cambridge.

Computer Laboratory Programming Research Group Seminar

Wednesday 06 October 2010, 14:15-15:15

Analysis, Synchronization and Scheduling Challenges in X10

User RK Shyamasundar; Tata Institute of Fundamental Research.

House FW26, Computer Laboratory (tbc).

Monday 20 September 2010, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Characterizations of the Expressive Power of Logics over Trees

User Luc Segoufin (INRIA and ENS, Cachan).

Thursday 09 September 2010, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Offloading Java to Graphics Processors

Please note unusal time/place

User Pete Calvert, Computer Laboratory.

Computer Laboratory Programming Research Group Seminar

Tuesday 07 September 2010, 14:00-14:30

Estimating and Exploiting Potential Parallelism by Source-level Dependence Profiling

User Jonathan Mak (Computer Laboratory).

Wednesday Seminars - Department of Computer Science and Technology

Friday 13 August 2010, 15:15-16:15

Some Uses of Hashing in Networking Problems

User Michael Mitzenmacher, Harvard University.

Computer Laboratory Programming Research Group Seminar

Monday 02 August 2010, 14:15-15:15

Supercompilation by evaluation

User Max Bolingbroke.

Friday 16 July 2010, 15:15-16:15

House Room SS03, Computer Laboratory, William Gates Building.

Colour, usability and computer security

Note unusual time

User Jeff Yan, Newcastle University.

Thursday 01 July 2010, 16:15-17:15

Current Research Topics (Computer Laboratory) 2010-11

Quiz

User Speaker to be confirmed.

House SW 01, Computer Laboratory, William Gates Builiding.

Friday 11 June 2010, 15:30-16:30

Wednesday Seminars - Department of Computer Science and Technology

Executable Strategies for Cellular Decision Making

User Jasmin Fisher, Microsoft Research Cambridge.

Wednesday 09 June 2010, 14:15-15:15

Mini course on proof theory (Part 3)

User Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Friday 04 June 2010, 10:00-12:15

Mini course on proof theory (Part 2)

User Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Computer Laboratory Programming Research Group Seminar

Thursday 03 June 2010, 10:00-12:15

Functional programming with monads combined with comonads

User Dominic Orchard, Computer Lab, Cambridge.

House Microsoft Research, Cambridge.

Wednesday 02 June 2010, 15:30-16:00

Wednesday Seminars - Department of Computer Science and Technology

EXAMS

No Wednesday Seminar due to Exams!

User Good luck to students with their exams!.

Computer Laboratory Programming Research Group Seminar

Wednesday 02 June 2010, 14:15-15:15

System Tests from Unit Tests

User Kathryn Gray, Computer Lab, Cambridge.

House Microsoft Research, Cambridge.

Wednesday 02 June 2010, 14:00-14:30

Mini course on proof theory (Part 1)

User Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Wednesday Seminars - Department of Computer Science and Technology

Tuesday 01 June 2010, 10:00-12:15

Dynamical Grammars for Galaxy Image Recognition

User Wayne Hayes - UC Irvine, USA.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 26 May 2010, 14:15-15:15

Optimising Functional Programming Languages

User Max Bolingbroke (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Monday 24 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Logics of polynomial-time computation

User Bjarki Holm (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 21 May 2010, 15:00-16:00

House Room FW11, Computer Laboratory, William Gates Building.

Scalars & probabilities, monads & categories

User Bart Jacobs, Radboud University Nijmegen, The Netherlands.

Friday 21 May 2010, 14:00-15:00

Category Theory Seminar

The Scott model of Linear Logic is the extensional collapse of its relational model

User Thomas Ehrhard, Université Paris Diderot.

House MR4, Centre for Mathematical Sciences.

Thursday 20 May 2010, 10:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

Statistical problems in complex networks

User Edoardo Airoldi - Harvard University, USA.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 19 May 2010, 14:15-15:15

Algorithmic Game Theory

User Arno Pauly.

House LT1, Computer Laboratory, William Gates Builiding.

Tuesday 18 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Verification of infinite-state programs

User Eric Koskinen (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Monday 17 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Mathematically Structuring Programming Languages

User Dominic Orchard (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 14 May 2010, 15:00-16:00

House Room FW11, Computer Laboratory, William Gates Building.

Algebraic Theories over Nominal Sets

User Alexander Kurz (University of Leicester).

Friday 14 May 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy in Advertising: Not all Adware is Badware

Rescheduled from April 21.

User Paul Francis - MPI Kaiserslautern, Germany.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 12 May 2010, 14:15-15:15

Meta Programming and You

User Robin Message (Computer Lab).

House LT1, Computer Laboratory, William Gates Builiding.

Tuesday 11 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Modularity: What, why and how

User Stephen Kell (Computer Lab).

House LT1, Computer Laboratory, William Gates Builiding.

Monday 10 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Computational approaches to figurative language

User Ekaterina Shutova (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 07 May 2010, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

NO SEMINAR THIS WEEK

User Speaker to be confirmed.

Current Research Topics (Computer Laboratory) 2010-11

Wednesday 05 May 2010, 14:15-15:15

Side-Channel Cryptanalysis

User Joseph Bonneau (Cambridge University).

House LT1, Computer Laboratory, William Gates Builiding.

Tuesday 04 May 2010, 15:00-16:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Privacy as a competitive advantage

User Sören Preibusch.

Current Research Topics (Computer Laboratory) 2010-11

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

Social Human-Robot Interaction

User Laurel D. Riek (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Monday 03 May 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Non-Photorealistic Rendering (NPR)

User Christian Richardt (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Friday 30 April 2010, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Detecting Temporal Sybil Attacks

User Neal Lathia (UCL).

Thursday 29 April 2010, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

From Separation Logic to Systems Code

User Peter O'Hearn - Queen Mary University of London.

Wednesday 28 April 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Internet Voting: Threat or Menace

User Jeremy Epstein, SRI International.

Tuesday 27 April 2010, 16:15-17:15

Current Research Topics (Computer Laboratory) 2010-11

Introduction to Data Center Computing

User Derek Murray (University of Cambridge).

House LT1, Computer Laboratory, William Gates Builiding.

Tuesday 27 April 2010, 15:00-16:00

Current Research Topics (Computer Laboratory) 2010-11

Building Secure Systems On and For Social Networks

User Nishanth Sastry.

House LT1, Computer Laboratory, William Gates Builiding.

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

Current Research Topics (Computer Laboratory) 2010-11

Green IPTV

User Fernando Ramos.

House LT1, Computer Laboratory, William Gates Builiding.

Friday 23 April 2010, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy in Advertising: Not all Adware is Badware

User Paul Francis - MPI Kaiserslautern, Germany.

Wednesday 21 April 2010, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Declassification Policy Inference

User Jeff Vaughan (Harvard University).

Friday 16 April 2010, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Adventures in XML updates

User James Cheney (University of Edinburgh).

Tuesday 30 March 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The Path Towards Scalable Practical Security for Web Transactions

User Dr Corrado Ronchi, EISST Ltd.

Thursday 18 March 2010, 16:15-17:15

House Room FW26, Computer Laboratory, William Gates Building.

Undecidability of propositional separation logic and its neighbours

User James Brotherston, Imperial College London.

Friday 12 March 2010, 14:00-15:00

House LT2, Computer Laboratory, William Gates Builiding.

How Google Tests Software

User James Whittaker (Google).

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

Wednesday Seminars - Department of Computer Science and Technology

Aura: A Programming Language with Authorization and Audit

User Steve Zdancewic - University of Pennsylvania, USA.

IET Cambridge Network - Lectures

Wednesday 10 March 2010, 14:15-15:15

Chip and PIN -- notes on a dysfunctional security system

User Saar Drimer, Computer Lab.

House Lecture Theatre 1, Cambridge University Computer Laboratory, J J Thompson Avenue, Madingley Road, Cambridge.

Thursday 04 March 2010, 18:30-20:00

House FW26, Computer Laboratory, William Gates Builiding.

Detecting Sybil attacks and recommending social contacts from proximity records

User Daniele Quercia (University of Cambridge).

Thursday 04 March 2010, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Exhibition of Student Design Projects

Note special event! Note unusual time!

User Part 1B Students.

House Workstation area and Lecture Theatre 1, Computer Laboratory.

Wednesday 03 March 2010, 14:00-17:30

Wednesday Seminars - Department of Computer Science and Technology

Generic Programming

User Dietmar Kühl - Bloomberg.

Cambridge University Computing and Technology Society (CUCaTS)

Wednesday 24 February 2010, 14:15-15:15

Chip & PIN is NOT Broken: Facing Up to Failure

User Mike Bond, CL.

House Bristol-Myers Squibb Lecture Theatre, Lensfield Road.

Tuesday 23 February 2010, 19:00-20:00

Darwin College Lecture Series

Risk, Security and Terrorism

User Professor Lucia Zedner, University of Oxford.

House LMH, Lady Mitchell Hall.

Friday 19 February 2010, 17:30-18:30

Wednesday Seminars - Department of Computer Science and Technology

Proving that programs eventually do something good

User Byron Cook - Microsoft Research Cambridge.

Computer Laboratory Programming Research Group Seminar

Wednesday 17 February 2010, 14:15-15:15

Haskell Type Constraints Unleashed

User Dominic Orchard, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Friday 12 February 2010, 15:15-16:15

Third Generation Machine Intelligence

User Chris Bishop - Microsoft Research Cambridge.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 10 February 2010, 14:15-15:15

Automated Experimentation: Beyond Deployment and Execution

User Alexander Wolf - Imperial College London.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 03 February 2010, 14:15-15:15

Graphical Reasoning in Symmetric Monoidal Categories

User Lucas Dixon - University of Edinburgh.

Wednesday 27 January 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Proactive Fraud Management over Financial Data Streams

User Pedro Sampaio, University of Manchester.

Thursday 21 January 2010, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Models of large-scale real-life networks

User Bela Bollobas - University of Cambridge and University of Memphis.

Wednesday 20 January 2010, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The impact of incident vs. forensic response

User Andrew Sheldon (Evidence Talks).

Tuesday 19 January 2010, 16:15-17:15

Optimization and Incentives Seminar

Anonymity via networks of mixes

User Venkat Anantharam, EECS Department, University of California Berkeley..

House MR5, CMS, Wilberforce Road, Cambridge, CB3 0WB.

Monday 18 January 2010, 15:00-16:00

House Room FW11, Computer Laboratory, William Gates Building.

Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors

User Alastair Donaldson (University of Oxford).

Friday 15 January 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Multipath TCP

User Mark Handley - UCL.

Computer Laboratory Programming Research Group Seminar

Wednesday 13 January 2010, 14:15-15:15

Optimizing sparse vector-matrix multiplication on GPUs

User Alexander Monakov, ISP-RAS and Moscow State University.

Computer Laboratory Programming Research Group Seminar

Tuesday 15 December 2009, 14:15-15:15

(CANCELLED) Google's Go Programming Language

User Speaker to be confirmed.

Friday 11 December 2009, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Security Architectures for Distributed Social Networks

User Jonathan Anderson (University of Cambridge).

Thursday 10 December 2009, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures

Note unusual out of term date.

User Jonathan Rose - University of Toronto.

Wednesday 09 December 2009, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.

User Eva Navarro López, School of Computer Science, Manchester..

Friday 04 December 2009, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

MPhil Mini-Symposium Security Talks

User MPhil students, University of Cambridge.

Friday 04 December 2009, 10:00-11:10

Wednesday Seminars - Department of Computer Science and Technology

A POPLmark retrospective: Using proof assistants in programming language research

Note change of speaker!

User Stephanie Weirich - University of Pennsylvania, USA.

Computer Laboratory Programming Research Group Seminar

Wednesday 02 December 2009, 14:15-15:15

Alore: Making dynamic languages simpler

User Jukka Lehtosalo (Computer Laboratory).

Friday 27 November 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

The Microcosm Principle and Coalgebraic Modeling of Component Calculi

User Ichiro Hasuo, Kyoto.

Friday 27 November 2009, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Energy Efficiency in Warehouse-Scale Computers

User Luiz André Barroso.

House Lecture Theatre 2, William Gates Builiding.

Thursday 26 November 2009, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Elements of a Networked Urbanism

User Adam Greenfield - Nokia Helsinki.

Computer Laboratory Programming Research Group Seminar

Wednesday 25 November 2009, 14:15-15:15

Ypnos: Declarative, Parallel Structured Grid Programming

User Dominic Orchard, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Friday 20 November 2009, 15:15-16:15

Insights from Expert Software Design Practice

User Marian Petre - Open University.

Wednesday 18 November 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Understanding scam victims: Seven principles for systems security

User Frank Stajano, University of Cambridge.

Tuesday 17 November 2009, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

On Quantitative Software Verification

User Marta Kwiatkowska - Oxford University.

Wednesday 11 November 2009, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

The Elephant in the Room: Health Information System Security and the User-Level Environment

User Juanita Fernando (Monash University).

Tuesday 10 November 2009, 14:30-15:30

Wednesday Seminars - Department of Computer Science and Technology

Serializability Enforcement for Concurrent ML

User Suresh Jagannathan - Purdue University, USA.

Wednesday 04 November 2009, 14:15-15:15

Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?

User Roger Clarke, University of New South Wales.

Wednesday Seminars - Department of Computer Science and Technology

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

Aggregated Security Monitoring in 10GB networks

User Nathan Macrides and Nick McKenzie - Security Engineering, RBS.

Wednesday 28 October 2009, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

A Theory of Indirection via Approximation

User Aquinas Hobor.

Tuesday 27 October 2009, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Policing Online Games -- Defining A Strong, Mutually Verifiable Reality in Virtual Games

User Peter Wayner.

Monday 26 October 2009, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Informal Tutorial: Haskell's Type Classes and Type Families

User Dominic Orchard, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Friday 23 October 2009, 15:15-16:00

Pushing JavaScript Performance

User Lars Bak - Google Aarhus, Denmark.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 21 October 2009, 14:15-15:15

Reaching Out: how to engage young people with computer science

Warning: the talk will include loud bangs.

User Chris Bishop - Microsoft Research Cambridge.

Wednesday 14 October 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Optical surveillance on silicon chips: your crypto keys are visible

User Sergei Skorobogatov.

Tuesday 13 October 2009, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Scalable Ontology-Based Information Systems

User Ian Horrocks - Oxford University.

Wednesday 07 October 2009, 14:15-15:15

House FW11 FW26 not available today.

NO LOGIC AND SEMANTICS SEMINAR TODAY

FW11 FW26 not available today

User Speaker to be confirmed.

Friday 25 September 2009, 14:00-15:00

House Room FW11, Computer Laboratory, William Gates Building.

A Canonical Local Representation of Binding

User Masahiko Sato (Graduate School of Informatics, Kyoto University).

Friday 18 September 2009, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users

User Cormac Herley, Microsoft Research, Redmond.

Tuesday 15 September 2009, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Reflections on merging the digital and the physical

Note unusual time

User Tim Kindberg - HP Labs, Bristol.

Computer Laboratory Programming Research Group Seminar

Monday 20 July 2009, 14:00-15:00

Intelligent Thread-Level Speculation

User Jeremy Singer (School of Computer Science, University of Manchester).

Wednesday Seminars - Department of Computer Science and Technology

Friday 17 July 2009, 15:15-16:15

Evolving a language in and for the real world

800th Anniversary of Cambridge Univ. talk

User Bjarne Stroustrup - Texas A&M University.

Wednesday 01 July 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Efficient Implementation of Physical Random Bit Sources

User Richard Newell, Actel.

Tuesday 30 June 2009, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Monadic Constraint Programming

User Tom Schrijvers (Leuven).

Wednesday Seminars - Department of Computer Science and Technology

Friday 19 June 2009, 15:15-16:15

Toward Energy-efficient Computing

800th Anniversary of Cambridge Univ. talk/Note unusual time

User David J. Brown, Sun Microsystems Inc..

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 17 June 2009, 16:00-17:00

What can sequent calculus do for functional programs?

User Pierre-Louis Curien, Paris.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 17 June 2009, 14:15-15:15

Concurrency Through the Ages

800th Anniversary of Cambridge Univ. talk

User Andrew Birrell - Microsoft Research Silicon Valley.

Computer Laboratory Programming Research Group Seminar

Wednesday 10 June 2009, 14:15-15:15

Optimizing Dynamically Updateable Programs

User Boris Feigin (University of Cambridge).

Friday 05 June 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Explicit Stabilisation for Rely-Guarantee reasoning

User John Wickerson (University of Cambridge).

Friday 05 June 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

No Wednesday Seminar today!

User EXAMS!.

Computer Laboratory Programming Research Group Seminar

Wednesday 03 June 2009, 14:15-15:15

Studying task-level parallelism in C programs using Embla (work in progress)

User Jonathan Mak (Computer Laboratory).

Friday 29 May 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Inductive-recursive definitions

User Anton Setzer (University of Swansea).

Friday 29 May 2009, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Online Social Networks and Applications: a Measurement Perspective

User Ben Zhao (UCSB).

Friday 29 May 2009, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

The 10 Cultures Problem

800th Anniversary of Cambridge Univ. talk

User Bill Thompson.

Wednesday 27 May 2009, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Safety of program transformations in shared-memory concurrency

NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.

User Jaroslav Sevcik (visiting from Edinburgh).

Wednesday 27 May 2009, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Types are calling conventions

User Max Bolingbroke, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Friday 22 May 2009, 15:15-16:15

Computational Creativity: A Different Future for AI Research

User Simon Colton - Imperial College.

Computer Laboratory Digital Technology Group (DTG) Meetings

Wednesday 20 May 2009, 14:15-15:15

(Research) Bluetooth Tracking without Discoverability / (Skills) Deploying web user authentication with Shibboleth

User Simon Hay and Sören Preibusch.

House FW26, William Gates Building.

Monday 18 May 2009, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Dictionaries: lazy or strict type class witnesses?

User Tom Schrijvers (K.U. Leuven).

Friday 15 May 2009, 15:15-15:45

House FW26, Computer Laboratory, William Gates Builiding.

PeerSoN: Privacy-Preserving P2P Social Networks

User Sonja Buchegger (Deutsche Telekom Laboratories).

Thursday 14 May 2009, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Model-Based Design: a New Landscape for Embedded Systems Development

User David Maclay - Mathworks.

Wednesday 13 May 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Whither Challenge Question Authentication?

User Mike Just, University of Edinburgh.

Tuesday 12 May 2009, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Focalisation and Classical Realisability

User Guillaume Munch, Paris 7.

Friday 08 May 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Inventing the User: EDSAC in context

EDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)

User Professor David Barron, Emeritus Professor of the University of Southampton, Dr Doron Swade MBE, formerly Senior Curator of Computing, Science Museum, and Professor Sir Maurice Wilkes.

Computer Laboratory Programming Research Group Seminar

Wednesday 06 May 2009, 15:00-17:00

Cake: a language for adapting and linking mismatched binary components

User Stephen Kell (Computer Lab).

Friday 01 May 2009, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

A conversation with Phil Zimmermann

User Phil Zimmerman.

House Lecture Theatre 2.

Thursday 30 April 2009, 17:00-18:00

Accounting for User Behaviour in Security

User Angela Sasse - UCL.

Wednesday 29 April 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bypassing Physical Security Systems

User Marc Weber Tobias, Investigative Law Offices.

Tuesday 28 April 2009, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) OpenRoomMap: Mapping the Gates building / (Skills) Best Papers Lent 2009

User Andrew Rice and DTG members.

House FW26, William Gates Building.

Monday 27 April 2009, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Beginning of term introductory meeting

User Speaker to be confirmed.

Friday 24 April 2009, 15:15-15:45

House Room FW11, Computer Laboratory, William Gates Building.

TALK CANCELLED: An overview of structural corecursion

THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.

User Venanzio Capretta (University of Nottingham).

Friday 24 April 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"

User Andrea Soppera - BT Networks Research Centre.

Wednesday 22 April 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Cloning MiFare Classic rail and building passes, anywhere, anytime

User Nicolas Courtois, University College London.

Tuesday 07 April 2009, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Enhancing Verilog

User Cherif Salama (Rice University).

Monday 30 March 2009, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Pointless Tainting? Evaluating the practicality of pointer tainting

User Asia Slowinska (Vrije Universiteit Amsterdam).

Thursday 26 March 2009, 16:00-16:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy Implications of Public Listings on Social Networks

User Joseph Bonneau, University of Cambridge.

Tuesday 24 March 2009, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Type (re)construction from values

User Robin Message (Computer Lab).

Friday 20 March 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Structurally Recursive Descent Parsing

User Nils Anders Danielsson (University of Nottingham).

Friday 20 March 2009, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

High Assurance Smart Cards for Multinational Coalitions and Other Applications of National Security

User Paul Karger, IBM Watson Research Center.

Thursday 19 March 2009, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics

User Dominic Orchard, Computer Lab.

Wednesday Seminars - Department of Computer Science and Technology

Friday 13 March 2009, 15:15-16:15

Correctness by Construction of High-Integrity Software

User Rod Chapman, Praxis High Integrity Systems.

Wednesday 11 March 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The Effectiveness of T-way Test Data Generation

User Michael Ellims.

Tuesday 10 March 2009, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Painless Parse Errors

User Kathy Gray.

Friday 06 March 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Deciding Boolean BI (via Display Logic)

User James Brotherston, Imperial College London.

Friday 06 March 2009, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Securing Virtual Machine Monitors: What is Needed?

User Paul Karger (IBM Research - Watson).

Friday 06 March 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Collective Intelligence Techniques for Pervasive Computing

User George Roussos - Birkbeck College, University of London.

Computer Laboratory Security Group meeting presentations

Wednesday 04 March 2009, 14:15-15:15

Mobile malware prevention using temporal information

User John Tang, Computer Laboratory.

House Computer Laboratory, William Gates Building, Room FW11.

Friday 27 February 2009, 16:00-16:30

Computer Laboratory Programming Research Group Seminar

Designing Languages to Aid Verification

User David Pearce (Victoria University of Wellington).

Wednesday Seminars - Department of Computer Science and Technology

Friday 27 February 2009, 15:15-16:15

Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art

User Neil Dodgson - University of Cambridge.

Computer Laboratory Security Group meeting presentations

Wednesday 25 February 2009, 14:15-15:15

Security lessons from embedded devices

User Philip Paeps, FreeBSD security team.

House Computer Laboratory, William Gates Building, Room FW11.

Friday 20 February 2009, 16:00-16:30

House Room FW11, Computer Laboratory, William Gates Building.

A game for a neutral approach to provability in MALL

User Olivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.

Friday 20 February 2009, 14:30-15:30

Wednesday Seminars - Department of Computer Science and Technology

Privacy and HCISec: Notes From The Front

User Alma Whitten - Google.

Computer Laboratory Programming Research Group Seminar

Wednesday 18 February 2009, 14:15-15:15

Programming for Mamba

Possibly shorter with more time for discussion

User Charlie Reams, Computer Lab.

Friday 13 February 2009, 15:15-16:15

House SS03, Computer Laboratory, William Gates Builiding.

Wedge: Splitting Applications into Reduced-Privilege Compartments

User Andrea Bittau (UCL).

Thursday 12 February 2009, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Modelling Quality Properties of Systems

User John Herbert - University College, Cork, Ireland.

Wednesday 11 February 2009, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Equideductive logic and CCCs with subspaces

NOTE UNUSUAL DAY.

User Paul Taylor.

Thursday 05 February 2009, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Call-by-push-value (part 2)

This is the second part of a two-part series

User Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Wednesday 04 February 2009, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

IPv6: the basics

User Ben Harris, University of Cambridge.

Wednesday 04 February 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy-Preserving 802.11 Access-Point Discovery

User Janne Lindqvist - Helsinki University of Technology, Finland.

Tuesday 03 February 2009, 16:15-17:15

House Room FW26, Computer Laboratory, William Gates Building.

Call-by-push-value (part 1)

This is the first part of a two-part series. Part 2 is on Wed 4th Feb.

User Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Tuesday 03 February 2009, 16:15-17:00

House Room FW11, Computer Laboratory, William Gates Building.

An overview of the Smart Flow project

User David Eyers (University of Cambridge).

Tuesday 03 February 2009, 14:30-15:30

Computer Laboratory Programming Research Group Seminar

Deriving efficient data movement from decoupled Access/Execute specifications

User Anton Lokhmotov (Imperial College London; CPRG alumnus 2008).

Friday 30 January 2009, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Nondeterminism: many questions and (maybe) some answers

User Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Friday 30 January 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

A Framework for the Analysis of Mix-Based Steganographic File Systems

User Claudia Diaz - Department of Electrical Engineering (ESAT), K.U.Leuven, Belgium.

Wednesday 28 January 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Improving Cache Performance while Mitigating Software Side-Channel Attacks

User Ruby Lee - Princeton University.

Tuesday 27 January 2009, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Structured Hidden Markov Model: A General Tool for Analysing Sequential data

User Marco Botta - University of Torino.

Wednesday 21 January 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Hardware security: trends and pitfalls of the past decade

User Sergei Skorobogatov - Computer Laboratory, University of Cambridge.

Tuesday 20 January 2009, 16:15-17:15

Computer Laboratory Security Group meeting presentations

How secure is my messaging protocol for clinical communication?

User Mohammed Al-Ubaydli.

House Computer Laboratory, William Gates Building, Room FW11.

Friday 16 January 2009, 16:00-16:30

Wednesday Seminars - Department of Computer Science and Technology

Statistical Parsing of Natural Language with Lexicalised Grammars

User Stephen Clark - Oxford University.

Wednesday 14 January 2009, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Identity Theft and the Mobile Device

User Andy Jones - Head of Information Security Research, Centre for Information & Security Systems Research, BT Innovate.

Tuesday 13 January 2009, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bayesian Inference and Traffic Analysis

User Carmela Troncoso, Microsoft Research Cambridge/KU Leuven(COSIC).

Tuesday 09 December 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Second-Order Quantifier Elimination

User Renate Schmidt - University of Manchester.

Wednesday 03 December 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Talking to strangers

User Bruce Christianson, University of Hertfordshire.

Tuesday 02 December 2008, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Dynamics, robustness and fragility of trust

NOTE THE UNUSUAL TIME

User Dusko Pavlovic.

Friday 28 November 2008, 14:45-15:45

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Economics of architectural change: resistance to distributed denial of service attacks

User Mikko Särelä, NomadicLab, Ericsson.

Thursday 27 November 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

User Larry Paulson - Univ. of Cambridge Computer Laboratory.

Computer Laboratory Security Group meeting presentations

Wednesday 26 November 2008, 14:15-15:15

The robustness of CAPTCHAs

User Jeff Yan, Newcastle University.

House Computer Laboratory, William Gates Building, Room FW11.

Friday 21 November 2008, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Haskell is Not Not ML

User Benjamin Rudiak-Gould (University of Cambridge).

Friday 21 November 2008, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Polynomial functors

User Nicola Gambino.

Friday 21 November 2008, 14:00-15:00

The Cultures of Climate Change

The Climate Crunch: Ethics, Ecology and the End of Civilisation

User Dr Michael Northcott, Divinity, University of Edinburgh.

House CRASSH Seminar Room, 17 Mill Lane.

Thursday 20 November 2008, 19:00-20:30

Wednesday Seminars - Department of Computer Science and Technology

Robust Networks

User Sanjeev Goyal, University of Cambridge, Economics Department.

Cambridge Society for the Application of Research (CSAR)

Wednesday 19 November 2008, 14:15-15:15

“What goes round comes round” Making wind turbines from renewable materials

User Dr Jim Platts (Department of Engineering, University of Cambridge).

House Wolfson Lecture Theatre, Churchill College.

Monday 17 November 2008, 19:30-21:00

Computer Laboratory Programming Research Group Seminar

Limits of parallelism using Dynamic Dependency Graphs

User Jonathan Mak (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

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

Defending Networked Resources Against Floods of Unwelcome Requests

User Michael Walfish - University of Texas, Austin and University College London.

Wednesday 12 November 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Is the Operating System the Right Place to Address Mobile Phone Security?

User Craig Heath, Symbian.

Tuesday 11 November 2008, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Work in progress on visual programming languages

User Robin Message (University of Cambridge).

Friday 07 November 2008, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

User Lars Birkedal, ITU Denmark.

Thursday 06 November 2008, 15:30-16:30

Wednesday Seminars - Department of Computer Science and Technology

The Manticore project

User John Reppy - University of Chicago.

Wednesday 05 November 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Improving Tor using a TCP-over-DTLS Tunnel

User Joel Reardon, University of Waterloo.

Tuesday 04 November 2008, 16:15-17:45

Computer Laboratory Programming Research Group Seminar

Towards programming Safety Critical Systems in Java

User Bent Thomsen (Aalborg University).

House Computer Laboratory, Room FW26.

Monday 03 November 2008, 15:15-16:15

Cambridge University Student Pugwash Society Talks

Internet Censorship and How It Is Resisted

User Dr Steven Murdoch (Computer science department, University of Cambridge).

House Dirac Room – in the Fisher Building, St John’s College, Cambridge.

Thursday 30 October 2008, 19:30-20:30

Environment on the Edge Lecture Series

The New Food Security Debate: Should the UK produce as much of its own food as possible?

All welcome, admission free. To book, please email directorate@unep-wcmc.org

User Tim Lang, Professor of Food Policy, City University.

House Buckingham House Lecture Theatre, Murray Edwards College, Huntingdon Road, Cambridge CB3 0DF.

Thursday 30 October 2008, 17:15-18:30

Computer Laboratory Programming Research Group Seminar

A practical approach to Domain Specific Language development

Note change of speaker/topic

User Vitaly Lugovskiy http://www.meta-alternative.net/.

House Computer Laboratory, Room FW26.

Wednesday 29 October 2008, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

How to Protect your Data by Eliminating Trusted Storage Infrastructure

User David Mazieres - Stanford University.

Computer Laboratory Programming Research Group Seminar

Wednesday 29 October 2008, 14:15-15:15

Logical Testing: Hoare-style Specification Meets Executable Validation

User Kathy Gray (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Friday 24 October 2008, 15:15-16:15

Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions

User Frank Stajano, Lucia Bianchi, Pietro Liò and Douwe Korff.

Wednesday 22 October 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Browsing with the enemy: a German view

Please note the extended duration.

User Kai Buchholz-Stepputtis and Boris Hemkemeier.

Tuesday 21 October 2008, 16:15-17:45

Computer Laboratory Programming Research Group Seminar

Dynamic loaded compiler plugins for the Glasgow Haskell Compiler

User Max Bolingbroke (University of Cambridge).

Friday 17 October 2008, 15:15-16:15

House Venue to be confirmed.

NO LOGIC AND SEMANTICS SEMINAR TODAY

User .

Friday 17 October 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Practical Dynamic Software Updating for C

User Michael Hicks - University of Maryland.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 15 October 2008, 14:15-15:15

Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors

Note unusual date and time

User Timothy M. Jones - School of Informatics, University of Edinburgh.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 13 October 2008, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Planning meeting and welcome

User Speaker to be confirmed.

Friday 10 October 2008, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Classical BI (A Logic for Reasoning About Dualising Resource)

User James Brotherston, Imperial College.

Friday 10 October 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Content Distribution based on Social Swarming

User Carmen Guerrero – Dpt. of Telematics Engineering at University Carlos III Madrid (UC3M).

Wednesday 08 October 2008, 14:15-15:15

How do we program the home? Gender, attention investment, and the psychology of programming at home.

User Steven Clarke and Cecily Morrison.

Thursday 02 October 2008, 11:00-12:30

House Room FW26, Computer Laboratory, William Gates Building.

Nominal terms and one-and-a-half level Curry-Howard

User Jamie Gabbay.

Friday 26 September 2008, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Electronic health records: which is worse, the UK system or the US System?

Please note the unusual day

User Deborah C. Peel, Patient Privacy Rights.

Friday 05 September 2008, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS

User Prof Luciano da Fontoura Costa, University of São Paulo, Brazil.

Wednesday 03 September 2008, 14:15-15:15

House The Courtyard, William Gates Building.

“Resistance is Futile”: Reading Science Fiction Alongside Ubiquitous Computing

User Mark Blythe, University of York.

Thursday 07 August 2008, 11:00-12:30

Affective computing: problems, reactions and intentions

User Shazia Afzal.

Thursday 03 July 2008, 11:00-12:30

House Room FW11, Computer Laboratory, William Gates Building.

The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach

User Peter Dybjer.

Friday 27 June 2008, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Advances in Hash Cryptanalysis

User Christian Rechberger, IAIK, Graz University of Technology.

Tuesday 24 June 2008, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

"Fourteen Thousand Messages"

User John Levine.

Tuesday 17 June 2008, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Event structure semantics of the pi-calculus

User Daniele Varacca, Paris 7.

Friday 06 June 2008, 14:00-15:00

House Rainbow Room (SS03), Computer Laboratory.

Evaluating user interface systems research

User Per Ola Kristensson.

Thursday 05 June 2008, 11:00-12:30

Wednesday Seminars - Department of Computer Science and Technology

Acceleration of scientific computing using graphics hardware

User Graham Pullan, Department of Engineering, University of Cambridge.

Computer Laboratory Computer Architecture Group Meeting

Wednesday 28 May 2008, 14:15-15:15

Map-reduce as a Programming Model for Custom Computing Machines

Note unusual time

User Philip Leong, The Chinese University of Hong Kong.

House SS03, Computer Laboratory, William Gates Building.

Friday 23 May 2008, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

How to prove that a communications protocol stack is up to the job

User James Collier, Chief Technical Officer , Cambridge Silicon Radio, http://www.csr.com.

Wednesday 21 May 2008, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Privacy-preserving datagram delivery for ubiquitous systems

User David Evans (Computer Laboratory).

Tuesday 20 May 2008, 14:30-15:30

House Room FW11, Computer Laboratory, William Gates Building.

Extensional rewriting with sums

User Sam Lindley, University of Edinburgh.

Friday 16 May 2008, 14:00-15:00

SCI Cambridge Science Talks

ALL IN THE BEST POSSIBLE TASTE - THE SCIENCE OF FOOD & FLAVOUR

User Dr Len Fisher, University of Bristol.

House Department of Chemistry, Lensfield Road, Cambridge.

Thursday 15 May 2008, 19:00-20:00

Wednesday Seminars - Department of Computer Science and Technology

Citations and Argumentation for Better Information Access

User Simone Teufel, Computer Laboratory.

Wednesday 14 May 2008, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Eriskay: a programming language based on game semantics.

User John Longley, University of Edinburgh.

Friday 09 May 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression

User Neil Dodgson, Computer Laboratory.

Wednesday 07 May 2008, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Verification Based on Algebra and Automated Deduction

User Georg Struth, Sheffield University.

Friday 02 May 2008, 14:00-15:00

What Is Good? – A Comparison Between The Quality Criteria Used In Design And Science

User Cecily Morrison.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 01 May 2008, 11:00-12:30

Copyright vs Community

Please note the extended duration

User Richard Stallman, www.gnu.org.

Wednesday 30 April 2008, 14:15-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

"From the Casebooks of..."

User Mark Seiden.

Tuesday 29 April 2008, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Fighting online crime

Note unusual day

User Mikko Hyppönen, Chief Research Officer, F-Secure Corporation.

Wednesday 23 April 2008, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

A language extension for provably safe exception handling

User Bart Jacobs (Katholieke Universiteit Leuven).

Friday 18 April 2008, 14:00-15:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Process isolation for cloud computing using commodity operating systems

User Wenbo Mao, Director and Chief Engineer, EMC Research China.

Tuesday 15 April 2008, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

An Empirical Analysis of Phishing Attack and Defense

User Tyler Moore (Computer Laboratory, University of Cambridge).

Tuesday 08 April 2008, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Minimal TCB Code Execution

User Jonathan M. McCune, Carnegie Mellon University.

Tuesday 25 March 2008, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Sequentializing the Value State Dependence Graph

User Alan Lawrence.

Friday 14 March 2008, 15:15-16:15

Tree decomposition of graphs

User Bjarki Holm (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Friday 14 March 2008, 11:00-12:00

Sustainable Energy -- without the hot air

User David J.C. MacKay, University of Cambridge.

Wednesday 12 March 2008, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Keep Off The Grass: Locking the Right Path for Atomicity

User David Cunningham (Imperial College).

Friday 07 March 2008, 14:00-15:00

Focusing and proof search

User Ruy Ley-Wild.

Friday 07 March 2008, 11:00-12:00

Unpacking a Timesheet: Formalisation and Representation

User Robin Boast and Alan Blackwell.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 06 March 2008, 11:00-12:30

Student Design Project Presentations

User Alan Blackwell (University of Cambridge).

Computer Laboratory Security Group meeting presentations

Wednesday 05 March 2008, 16:15-17:15

MD5crypt and GBDE: observations of a non-union cryptographer

User Poul-Henning Kamp.

House Computer Laboratory, William Gates Building, Room FW11.

Friday 29 February 2008, 16:00-16:30

Wednesday Seminars - Department of Computer Science and Technology

Delay Tolerant Routing in Mobile and Sensor Networks

User Cecilia Mascolo, UCL.

Wednesday 27 February 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Is SSL provably secure ?

User Nigel Smart, Department of Computer Science, University of Bristol.

Friday 22 February 2008, 16:00-17:00

Domain theory: dI-domains

User Barney Stratford (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Friday 22 February 2008, 11:00-12:00

High-Performance Processing with Field-Programmable Logic

User George Constantinides, Imperial College London.

Wednesday 20 February 2008, 14:15-15:15

Stone Duality

User David Turner (University of Cambridge).

Computer Laboratory Computer Architecture Group Meeting

Friday 15 February 2008, 11:00-12:00

Hardware defences against side channel and invasive attacks

User Philip Paul, Computer Lab, University of Cambridge.

House SS03, Computer Laboratory, William Gates Building.

Wednesday 13 February 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Rethink and Arise!

User Theodor Holm Nelson, Founder, Project Xanadu.

Wednesday 13 February 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Hot or Not: Fingerprinting hosts through clock skew

User Steven J. Murdoch (Computer Laboratory, University of Cambridge).

Tuesday 12 February 2008, 16:15-17:15

Lent term initial meeting

User Speaker to be confirmed.

Friday 08 February 2008, 11:00-12:00

Computational Thinking

User Simon Peyton Jones and Luke Church.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 07 February 2008, 11:00-12:30

Defence against the Dark Arts

User Mike Prettejohn, Netcraft.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 06 February 2008, 14:15-15:15

Executable Biology: Successes and Challenges

User Jasmin Fisher, Microsoft Research, Cambridge UK.

Wednesday 30 January 2008, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Exploiting Online Games

Note unusual time and room

User Gary McGraw, CTO, Cigital.

Tuesday 29 January 2008, 10:30-11:30

Wednesday Seminars - Department of Computer Science and Technology

Fine-grained differences and similarities in meanings

NOTE THE LATER TIME

User Graeme Hirst, Department of Computer Science, University of Toronto.

Computer Laboratory Programming Research Group Seminar

Wednesday 23 January 2008, 16:15-17:15

The Constraint Handling Rules (CHR) language

User Tom Schrijvers, Catholic University of Leuven.

Friday 18 January 2008, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

On Scalable Shape Analysis

User Hongseok Yang (Queen Mary, University of London).

Friday 18 January 2008, 14:00-15:00

House Room FW11, Computer Laboratory, William Gates Building.

A completeness proof for bisimulation in the pi-calculus using Isabelle

Note the unusual day.

User Jesper Bengtson, Uppsala University.

Thursday 17 January 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Searching for Evil

User Ross Anderson and Richard Clayton, Computer Laboratory, University of Cambridge.

Wednesday 16 January 2008, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Towards interactive belief, knowledge, and provability: possible application to zero-knowledge proofs

User Simon Kramer, École Polytechnique Paris.

Tuesday 18 December 2007, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Memory safety with exceptions and linear types

User Richard Thrippleton, Computer Laboratory, University of Cambridge.

Friday 14 December 2007, 15:15-16:15

Intuitionistic logic

User Alexander Gurney (University of Cambridge).

Thursday 13 December 2007, 11:30-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tracking the Russian Business Network (RBN)

User Jart Armin.

Tuesday 11 December 2007, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Graphical passwords: some recent results

Note special time and day of week

User Jeff Yan, University of Newcastle.

Friday 07 December 2007, 16:00-17:00

Dependent types

User David Turner (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Friday 07 December 2007, 11:30-12:30

Controlling control flow in web application

User Robin Message (University of Cambridge).

Thursday 06 December 2007, 15:15-15:45

Getting to Grips with Technology

User Mo Syed and Tim Regan.

Thursday 06 December 2007, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The Anti-Bank: the privatized delivery of social grants using biometric encrypted smart-cards in southern Africa

User Keith Breckenridge, Professor of History and Internet Studies, University of KwaZulu-Natal, South Africa.

Tuesday 04 December 2007, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Logics for Coalgebras

User Alexander Kurz, University of Leicester.

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

Hindley-Milner type inference

User Barney Stratford.

House Lecture Theatre, Medical Research Council (MRC) (MRC Cognition and Brain Sciences.

Friday 30 November 2007, 11:30-12:30

Chaucer Club

Uncertainty and behavioural control: Episodes, actions and habits

User Peter Dayan (University College London).

Thursday 29 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Automation for Interactive Theorem Provers

User Lawrence Paulson, Computer Laboratory, University of Cambridge.

Wednesday 28 November 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Networked information processing and privacy in Japan

User Andrew A. Adams, School of Systems Engineering, University of Reading.

Tuesday 27 November 2007, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Detecting and Tracking Inconsistencies in UML

User Alexander Egyed (University College London and University of Southern California).

Friday 23 November 2007, 15:15-16:15

House Room FW11, Computer Laboratory, William Gates Building.

Category Theory and the Philosophy of Language

User Graham White (Queen Mary).

Friday 23 November 2007, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Executable Biology: Successes and Challenges

Canceled

User Jasmin Fisher, Microsoft Research, Cambridge, United Kingdom.

Wednesday 21 November 2007, 14:15-15:15

House GC22, Computer Laboratory.

Initial organising meeting

User Speaker to be confirmed.

Friday 16 November 2007, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Software Defect Mining with Formal Concept Analysis

User Christian Lindig, Dagstuhl, Germany.

Wednesday 14 November 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Authentication protocols based on human interaction in security pervasive computing

User Nguyen Hoang Long, Oxford University Computing Laboratory.

Tuesday 13 November 2007, 16:15-17:15

Separation Logic Semantics for Communicating Processes

User Peter O'Hearn, Queen Mary, University of London.

Wednesday Seminars - Department of Computer Science and Technology

Friday 09 November 2007, 14:00-15:00

Birrell's distributed reference listing revisited

User Richard Jones, University of Kent.

Wednesday 07 November 2007, 14:15-15:15

House Room FW26, Computer Laboratory, William Gates Building.

Pointer Safety and Graph Grammars

User Mike Dodds (York).

Tuesday 06 November 2007, 14:30-15:30

House Room FW11, Computer Laboratory, William Gates Building.

Model theoretic tools for deciding boundedness of fixed points

User Martin Otto, Darmstadt.

Friday 02 November 2007, 14:00-15:00

Chaucer Club

The cognitive neuroscience of the human voice

User Pascal Belin (University of Glasgow).

House Lecture Theatre, Medical Research Council (MRC) (MRC Cognition and Brain Sciences.

Thursday 01 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Multi-core programming with automatic parallelisation

User Tim Harris, Microsoft Research, Cambridge.

Wednesday 31 October 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Key amplification in unstructured networks

User Shishir Nagaraja, Computer Laboratory, University of Cambridge.

Tuesday 30 October 2007, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Logical Reasoning for Higher-Order Functions with Local State

User Nobuko Yoshida (Imperial College).

Friday 26 October 2007, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Jones Optimality and Hardware Virtualization (A Report on Work in Progress)

User Boris Feigin (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Thursday 25 October 2007, 15:15-16:15

TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems

User Mike Burrows, Principal Engineer, Google.

Wednesday 24 October 2007, 14:15-15:15

House Computer Laboratory, William Gates Building, Room FW11.

Proving program termination (Part 3)

User Byron Cook, Microsoft Research, Cambridge.

Monday 22 October 2007, 10:00-12:00

House Computer Laboratory, William Gates Building, Room FW11.

Proving program termination (Part 2)

User Byron Cook, Microsoft Research, Cambridge.

Friday 19 October 2007, 10:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

How Do We Know What to Design?

User Fred Brooks, University of North Carolina at Chapel Hill.

Wednesday 17 October 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Synergy of crime science and security engineering

User Shaun Whitehead.

Tuesday 16 October 2007, 16:15-17:15

House Computer Laboratory, William Gates Building, Room FW11.

Proving program termination (Part 1)

User Byron Cook, Microsoft Research, Cambridge.

Monday 15 October 2007, 10:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

How to Write Bug-Free Code - A Live Demonstration

User Douglas Squirrel, youdDevise.com.

Wednesday 10 October 2007, 14:15-15:15

Designing for Usability: Key Principles and What Designers Think

User Gilbert Cockton and Luke Church.

Thursday 04 October 2007, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

High security locks: illusion or reality

User Marc Weber Tobias.

Tuesday 02 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

SQ Minus EQ can Predict Programming Aptitude

User Stuart Wray.

Wednesday 19 September 2007, 14:15-15:15

Assessing Dimensions of Perceived Visual Aesthetics of Web Sites

User Nathan Crilly and Chris Nash.

Thursday 06 September 2007, 11:00-12:30

House The Courtyard, William Gates Building.

Design parameters of rating scales for web sites

User Luke Church and Per Ola Kristensson.

Thursday 02 August 2007, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The economics of revealing and protecting private information: Evidence from human subject experiments and surveys

Note unusual day of the week

User Jens Grossklags, School of Information, University of California Berkeley.

Monday 30 July 2007, 16:15-17:15

The Java Memory Model - the Good, the Bad and the Ugly

User Jaroslav Sevcik.

Friday 13 July 2007, 14:00-15:00

A unified model of class invariant verification frameworks

User Sophia Drossopoulou (Imperial College).

Friday 06 July 2007, 14:00-15:00

Do artifacts have politics?

User Andrea Grimes and Robert Doubleday.

Computer Laboratory Programming Research Group Seminar

Thursday 05 July 2007, 11:00-12:30

Sound Haskell

User Dana N. Xu (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Friday 29 June 2007, 15:15-16:15

Termination analysis and call graph construction for higher-order functional programs

User Damien Sereni (University of Oxford).

Friday 22 June 2007, 15:15-16:15

Cyclic Proofs of Program Termination in Separation Logic

User James Brotherston, Imperial College.

Friday 15 June 2007, 14:00-15:00

Valiant's theory

User Guillaume Malod (University of Mons-Hainaut, Belgium).

Friday 08 June 2007, 14:00-15:00

How HCI Interprets the Probes

User Alan Blackwell and Richard Harper.

Computer Laboratory Programming Research Group Seminar

Thursday 07 June 2007, 11:00-12:30

Two Software-Based Models of Thread Level Speculation

User Cosmin Oancea (University of Cambridge).

Wednesday Seminars - Department of Computer Science and Technology

Friday 01 June 2007, 15:15-16:15

Smart-card based authentication on an insecure network

User Peter Sweeney, Centre for Communication Systems Research, University of Surrey..

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 30 May 2007, 14:15-15:15

Electronics Revolution - driving pivotal change in Computer Science

User Simon.Moore, Computer Laboratory, University of Cambridge.

Computer Laboratory Programming Research Group Seminar

Wednesday 23 May 2007, 14:15-15:15

I solemnly swear that I am up to... automatic parallelisation

User Anton Lokhmotov (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Friday 18 May 2007, 15:45-16:45

Computational specification for temporal abstraction in music

User Alejandro Vinao.

Friday 18 May 2007, 15:15-15:45

An Executable Model of the JVM in Coq

User Robert Atkey, LFCS, Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 18 May 2007, 14:00-15:00

New Directions for Navigation

User Alan Jones, Cotares.com.

Wednesday 16 May 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Realities of online banking fraud

User Matthew Pemble, Vizuri.

Tuesday 15 May 2007, 16:15-17:15

House Room FW11, Computer Laboratory, William Gates Building.

Alertme.com - implementing wireless home security 2.0

User Amyas Phillips, Alertme.com.

Tuesday 15 May 2007, 14:30-15:30

Infinite-State System Verification via Tree Automata

User Wolfgang Thomas, RWTH Aachen.

Wednesday Seminars - Department of Computer Science and Technology

Friday 11 May 2007, 14:00-15:00

Modelling Biochemical Pathways with Stochastic Process Algebra

User Jane Hillston, University of Edinburgh.

Wednesday 09 May 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Towards open trusted computing frameworks

User Matt Barrett.

Tuesday 08 May 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

“I want to tell you a joke. Are you ready?” – Implementing automated pun generation for children with complex communication needs.

User Annalu Waller, School of Computing, University of Dundee.

Wednesday 02 May 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The commercial malware industry

User Peter Gutmann, University of Auckland.

Tuesday 01 May 2007, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Phishing tips and techniques: tackle, rigging, and how and when to phish

Note unusual time of talk in addition to our regularly scheduled one

User Peter Gutmann, University of Auckland.

Tuesday 01 May 2007, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications

Host: Pietro Lio'.

User Bill Peck, Agilent Technologies, Santa Clara California.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 25 April 2007, 14:15-15:15

Church's Problem on the Synthesis of Nonterminating Programs

Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM

User Wolfgang Thomas, RWTH Aachen University.

Wednesday 18 April 2007, 14:15-15:15

When While is a Security Risk

User Pasquale Malacaria, Queen Mary, University of London.

Friday 23 March 2007, 14:00-15:00

Relational parametricity for computational effects.

User Rasmus Møgelberg, Edinburgh.

Friday 16 March 2007, 14:00-15:00

Stone duality for bitopological spaces

User Achim Jung, University of Birmingham.

Wednesday Seminars - Department of Computer Science and Technology

Friday 09 March 2007, 14:00-15:00

Annual Presentation of Student Projects

NOTE LATER TIME

User Student presentations..

Wednesday 07 March 2007, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Alternative security mechanisms for WiFi networks

User Daniel Cvrcek, Computer Laboratory, University of Cambridge.

Tuesday 06 March 2007, 16:15-17:15

Mechanizing Theories in Twelf: A Tutorial (Part 3)

User Susmit Sarkar.

Monday 05 March 2007, 10:00-12:00

Verification Across Intellectual Property Boundaries

User Helmut Veith, Technische Universität München.

Friday 02 March 2007, 14:00-15:00

House Room FW26, Computer Laboratory, William Gates Building.

Moving on from Weiser's Vision of Calm Computing: engaging UbiComp experiences

User Cecily Morrison.

Thursday 01 March 2007, 11:00-12:30

Mechanizing Theories in Twelf: A Tutorial (Part 2)

User Susmit Sarkar.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 01 March 2007, 10:00-12:00

Security and Cooperation in Wireless Networks

User Jean-Pierre Hubaux, EPFL.

Wednesday 28 February 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Power analysis attacks

User Elisabeth Oswald, Department of Computer Science, University of Bristol.

Tuesday 27 February 2007, 16:15-17:15

Mechanizing Theories in Twelf: A Tutorial (Part 1)

User Susmit Sarkar.

Tuesday 27 February 2007, 10:00-12:00

A Logic of Reachable Patterns in Linked Data-Structures

User Greta Yorsh (Tel Aviv University).

Wednesday Seminars - Department of Computer Science and Technology

Friday 23 February 2007, 14:00-15:00

The Lixto Web Data Extraction Project: A Status Report

User Georg Gottlob, Oxford University.

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 21 February 2007, 14:15-15:15

Computing for the Future of the Planet

User Andy Hopper, Computer Laboratory, University of Cambridge.

Wednesday 14 February 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Anonymity in the wild: Mixes on unstructured networks

User Shishir Nagaraja, Computer Laboratory, University of Cambridge.

Tuesday 13 February 2007, 16:15-17:15

Verifying Object-Invariants in Spec#

User Wolfram Schulte (Microsoft Research Redmond).

Wednesday Seminars - Department of Computer Science and Technology

Friday 09 February 2007, 14:00-15:00

From Pascal and ML to Perl and VB: Software Engineering in Postmodernity

User James Noble, Victoria University of Wellington, New Zealand..

Wednesday 07 February 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Data sharing and privacy in multi-agency working

User Adam Warren, Department of Information Science, Loughborough University.

Tuesday 06 February 2007, 16:15-17:15

How expert engineering teams use disciplines of innovation

User Alan Blackwell and Chris Bishop.

Wednesday Seminars - Department of Computer Science and Technology

Thursday 01 February 2007, 11:00-12:30

Mechanising First-Order Logic: Technology, Decidability and Applications

User Christoph Weidenbach, Max Planck Institut.

Wednesday 31 January 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

A reciprocation-based economy for multiple services in P2P grids

User Miranda Mowbray, HP Labs Bristol UK.

Tuesday 30 January 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Road transport data and their uses

User Richard Gibbens (Computer Laboratory).

Wednesday 24 January 2007, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy preserving censorship

User Yvo Desmedt, Department of Computer Science, University College London.

Tuesday 23 January 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.

User Tony Hoare, Microsoft Research.

Wednesday 17 January 2007, 14:15-15:15

Emotion recognition in human-computer interaction

User Tal Sobol-Shikler and Lorna Brown.

Thursday 04 January 2007, 11:00-12:30

Using action research in information systems design to address change: a South African health information systems case study

User Nathan Crilly and Cecily Morrison.

Thursday 07 December 2006, 11:00-12:30

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

User Uday Reddy, University of Birmingham.

Friday 01 December 2006, 14:00-15:00

Countable ordinals and fast-growing functions (Part 3)

Note earlier start time

User Harold Simmons (Univ. of Manchester).

Friday 01 December 2006, 09:00-11:00

Countable ordinals and fast-growing functions (Part 2)

User Harold Simmons (Univ. of Manchester).

Wednesday Seminars - Department of Computer Science and Technology

Thursday 30 November 2006, 10:00-12:00

New Challenges in Describing Digital Music

User Alan Blackwell and Alejandro Vinao, Computer Laboratory, University of Cambridge.

Wednesday 29 November 2006, 14:15-15:15

Countable ordinals and fast-growing functions (Part 1)

User Thomas Forster (DPMMS).

Wednesday Seminars - Department of Computer Science and Technology

Wednesday 29 November 2006, 10:00-12:00

Safety checking in a domain of collaborative applications.

User David Greaves, Computer Laboratory, University of Cambridge.

Wednesday 22 November 2006, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Politics of Internet Security

User Richard Allan, Cisco.

Tuesday 21 November 2006, 16:15-17:15

A logical approach to data provenance.

User James Cheney, Informatics, University of Edinburgh.

Friday 17 November 2006, 14:00-15:00

Algebraic Routing (Part 3)

User Tim Griffin.

Wednesday Seminars - Department of Computer Science and Technology

Friday 17 November 2006, 10:00-12:00

Automatic termination proofs for software

User Byron Cook, Microsoft Research.

Wednesday 15 November 2006, 14:15-15:15

Algebraic Routing (Part 2)

User Tim Griffin.

Wednesday 15 November 2006, 10:00-12:00

Algebraic Routing (Part 1)

User Tim Griffin.

Monday 13 November 2006, 10:00-12:00

Bialgebras and modal logic

User Bartek Klin, University of Edinburgh.

Wednesday Seminars - Department of Computer Science and Technology

Friday 10 November 2006, 14:00-15:00

Security Applications and Aspects of Meaning-Based Computing

User Dr Michael Lynch, CEO of Autonomy.

Wednesday 08 November 2006, 14:15-15:15

Reasoning about Code Pointers (Separation Logic for Higher-Order Store)

User Bernhard Reus, University of Sussex.

Wednesday Seminars - Department of Computer Science and Technology

Friday 03 November 2006, 14:00-15:00

The Challenges and Thrills of a Young Industry

User David Braben, Frontier.

Wednesday 01 November 2006, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Optically enhanced position-locked power analysis

User Sergei Skorobogatov, Computer Laboratory, University of Cambridge.

Tuesday 31 October 2006, 16:15-17:15

A structural proof of the soundness of rely/guarantee rules

User Cliff Jones, Newcastle University.

Wednesday Seminars - Department of Computer Science and Technology

Friday 27 October 2006, 14:00-15:00

All-Optical Networks

User Dr. Noriaki Kamiyama, Research Scientist, NTT Service Integration Laboratories.

Wednesday 25 October 2006, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Becoming paranoid or, How I learned to start worrying and fear the Internet

User George Neville-Neil.

Tuesday 24 October 2006, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

This talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.

User Mark Craven, University of Wisconsin.

Wednesday 18 October 2006, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

The Polygraph

Note unusual day of the week

User Marc Weber Tobias, Investigative Law Offices.

Wednesday 18 October 2006, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Semantics in broad-coverage natural language processing

User Ann Copestake, Computer Laboratory, University of Cambridge.

Wednesday 18 October 2006, 14:15-15:15

Logical equivalence for subtyping object and recursive types.

User Steffen van Bakel.

Wednesday Seminars - Department of Computer Science and Technology

Friday 13 October 2006, 14:00-15:00

Logics for Unranked Trees: An Overview

User Leonid Libkin, U of Edinburgh.

Wednesday 11 October 2006, 14:15-15:15

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Distance bounding protocols: Authentication logic analysis

Note unusual room, day and hour

User Catherine Meadows, Naval Research Laboratory.

Friday 06 October 2006, 16:00-17:00

Collection and Contra-collection in Mathematics

User Paulo Oliva, Queen Mary, University of London.

Wednesday Seminars - Department of Computer Science and Technology

Friday 06 October 2006, 14:00-15:00

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

User Mark Craven, University of Wisconsin.

Wednesday 04 October 2006, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Privacy preserving data mining in distributed databases

User Ehud Gudes, Department of Computer Science, Ben-Gurion University.

Tuesday 26 September 2006, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Daonity - Grid security with behaviour conformity from Trusted Computing

User Wenbo Mao, HP Labs, China.

Tuesday 19 September 2006, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Peer-to-peer network topologies and anonymity

User Nikita Borisov, Electrical and Computer Engineering Department, University of Illinois at Urbana-Champaign.

Friday 08 September 2006, 16:00-17:00

Interdisciplinary Design: Debates and Seminars

Rethinking Information and Space in Ubiquitous Computing

User Paul Dourish, University of California at Irvine.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Friday 01 September 2006, 11:30-12:30

House Rainbow Room (FS07), Computer Laboratory.

Understanding Non-Literacy as a Barrier to Mobile Phone Communication

User Nathan Crilley and Lucia Terrenghi.

Thursday 03 August 2006, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Milk or wine: does software security improve with age?

User Andy Ozment, Computer Laboratory, University of Cambridge.

Tuesday 25 July 2006, 16:15-17:15

Older People as a focus for Inclusive Design

User Joy Goodman and Lorisa Dubuc.

Thursday 06 July 2006, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Bluetooth Simple Pairing: public key cryptography in adhoc wireless systems

User Robin Heydon and Steven Wenham, CSR.

Friday 16 June 2006, 16:15-17:15

Making by making strange: Defamiliarization and the design of domestic technologies

User Jack Lang and Andrew Barry.

Thursday 01 June 2006, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Opening locks by bumping in five seconds or less: is it really a threat to physical security?

Note change from originally publicized time

User Marc Weber Tobias, Investigative Law Offices.

Tuesday 23 May 2006, 14:15-15:15

House Room FW11, Computer Laboratory, William Gates Building.

Network Security Monitoring

User Richard Bejtlich, TaoSecurity.

Friday 19 May 2006, 16:00-17:00

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

CCTV in the UK: A failure of theory or a failure of practice?

User Martin Gill, PRCI Ltd.

Wednesday 17 May 2006, 14:15-15:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

An overview of vulnerability research and exploitation

User Peter Winter-Smith and Chris Anley, NGS Software.

Tuesday 16 May 2006, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

On inverting the VMPC one-way function

User Kamil Kulesza, University of Cambridge.

Tuesday 09 May 2006, 16:15-17:15

Implications for Design

User Abigail Sellen and Nathan Crilly.

Thursday 04 May 2006, 11:00-12:30

House FW11, Computer Laboratory, William Gates Building.

Enhancing Signature-based Collaborative Spam Detection

User Jeff Yan, University of Newcastle upon Tyne.

Friday 31 March 2006, 16:00-17:00

House FW11, Computer Laboratory, William Gates Building.

Security Flaws in Tunnel Mode IPsec

User Kenny Paterson, Royal Holloway, University of London.

Tuesday 07 March 2006, 16:15-17:15

Project Ernestine: Validating a GOMS analysis for predicting and explaining real-world performance

User Alan Blackwell and William Newman.

Thursday 02 March 2006, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Hiding on an Ethernet

User Richard Clayton, University of Cambridge.

Tuesday 28 February 2006, 16:15-17:15

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Design and implementation of a CC CAPP-compliant audit subsystem for the Mac OS X and FreeBSD operating systems

User Robert N M Watson, University of Cambridge.

Tuesday 21 February 2006, 16:15-17:15

An evaluation of integrated zooming and scrolling on small screens

User Phil Tuddenham + Keith Vertanen.

Thursday 02 February 2006, 11:00-12:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Covert channels in TCP/IP: attack and defence

User Steven J. Murdoch, University of Cambridge.

Tuesday 31 January 2006, 16:15-17:15

The streamlined cognitive walkthrough method, working around social constraints encountered in a software development company

User William Newman and Lorisa Dubuc.

Thursday 01 December 2005, 11:00-12:00

User interface design with matrix algebra.

User William Newman and David Mackay.

Thursday 03 November 2005, 11:00-12:30

Bounding Rational Analysis: Constraints on the Approach to Optimality

User Richard Young and Alan Blackwell, UCL/Cambridge.

Thursday 06 October 2005, 11:00-12:30

Wicked Problems Revisited

User Martyn Dade-Robertson and Alex Taylor.

Friday 02 September 2005, 11:00-12:30

Let's stop pushing the envelope and start addressing it: a reference task agenda for HCI

User William Newman and Jost Schatzmann.

Friday 05 August 2005, 11:00-12:30

An activity theory approach to affordance

User Abi Sellen and Kasim Rehman, Microsoft Research / Computer Laboratory.

Friday 08 July 2005, 11:00-12:30

What we talk about when we talk about context

User Alan Blackwell and Richard Harper, University of Cambridge / Microsoft Research Cambridge.