University of Cambridge > Talks.cam > rhm31's list

rhm31's list

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

A personal list of talks.

Tell a friend about this list:

If you have a question about this list, please contact: Robin Message. If you have a question about a specific talk, click on that talk to find its organiser.

3 upcoming talks and 1278 talks in the archive.

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

UserAndrej Bauer, University of Ljubljana.

HouseSS03, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Private Data Analysis over Large Populations

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

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Distribution Shifts in Human-Centered Representation Learning

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

A Data-Free, Universal Prior Distribution for Syntactic Structures

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 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

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

UserElizabeth Polgreen, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 16 February 2024, 14:00-15: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.

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

HouseSS03, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing via the lens of additive combinatorics

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Two Sides of the Same Crime

UserMichael Dewar, Vice President for Data Science at Mastercard.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

UserReese Levine, University of California Santa Cruz.

HouseSS03, Computer Laboratory.

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

Computer Laboratory Security Seminar

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

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

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

Wednesday Seminars - Department of Computer Science and Technology

A brief introduction to causal inference

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Cross-lingual transfer learning with multilingual masked language models

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

The Wheeler Lectures in Computer Science

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Red teaming privacy-preserving systems using AI

UserYves-Alexandre de Montjoye, Imperial College London.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

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

Wednesday Seminars - Department of Computer Science and Technology

Coherence Attacks and Defenses in 2.5D Integrated Systems

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Pathfinding for 10k agents

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

An invitation to univalent foundations of mathematics

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

UserJohn Baez, University of California Riverside.

HouseLT1, Computer Laboratory.

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

Computer Laboratory Security Seminar

CIA to AIC: Why Cyber Must Enable the Business

UserKeith A Price, Chief Security Officer, National Highways.

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

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

Wednesday Seminars - Department of Computer Science and Technology

How can we make trustworthy AI?

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

UserDavid Monniaux, CNRS/VERIMAG and École Polytechnique.

HouseFW11, Computer Laboratory.

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

Computer Laboratory Security Seminar

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

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

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

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

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

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

HouseSS03, Computer Laboratory.

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

Computer Laboratory Security Seminar

The Nym mixnet: Design and Evaluation

UserHarry Halpin & Ania Piotrowska, Nym Technologies.

HouseWebinar & SS03, Computer Laboratory, William Gates Building..

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

Wednesday Seminars - Department of Computer Science and Technology

Bayes in the age of intelligent machines

UserProfessor Tom Griffiths - Princeton University.

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

UserGlynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

HouseSS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

UserAndrés Goens, University of Edinburgh.

HouseSS03, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

TALK CANCELLED: Explicit Weakening (A Functional Pearl)

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Stochastic games and strategy complexity

UserMahsa Shirmohammadi, University of Oxford.

HouseFW11, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

UserChris Barrett, University of Birmingham.

HouseSS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

UserMeven Lennon-Bertrand, University of Cambridge.

HouseSS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

UserMatthew Parkinson, Microsoft Research.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

UserSebastian Erdweg, Johannes Gutenberg University Mainz.

HouseFW26, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

UserSebastian Erdweg, Johannes Gutenberg University Mainz.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Security Seminar

A Sociotechnical Audit: Assessing Police use of Facial Recognition

Note unusual time

UserEvani Radiya-Dixit, Minderoo Centre for Tech & Democracy.

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

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

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

UserManuel Araujo, University of Cambridge.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Formalised Mathematics: Obstacles and Achievements

UserProfessor Lawrence Paulson - Department of Computer Science and Technology.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

UserAlex Kavvos, University of Bristol.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

UserUlrik Buchholtz, University of Nottingham.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

UserDmitry Chistikov, University of Warwick.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

UserAmbroise Lafont, University of Cambridge.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

UserTaichi Uemura, University of Stockholm.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Would you trust a cybercriminal?

UserDr Alice Hutchings - Department of Computer Science and Technology.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

UserMichael Benedikt, University of Oxford.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

UserLauri Hella, Tampere University.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserLauri Hella, University of Helsinki.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

UserSteve Awodey, Carnegie Mellon University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

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

HouseFW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

UserMikołaj Bojanczyk, University of Warsaw.

HouseSS03.

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

Computer Laboratory Security Seminar

Exploring Internet services mis-configuration at scale

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

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

UserHugo Paquet, University of Oxford.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Computational Inverse Design of Deployable Structures

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

UserVikraman Choudhury, University of Indiana.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserVikraman Choudhury, University of Indiana.

HouseSS03.

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

The Wheeler Lectures in Computer Science

CANCELLED: Wheeler Lecture 2022

UserDavid Silver, Principal Research Scientist at DeepMind.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

UserDan Marsden, University of Oxford.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

UserDavid Richerby, University of Essex.

HouseSS03.

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

Computer Laboratory Security Seminar

Design rules and Maxims for insecurity engineering for lock designs

Note unusual time and location

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

HouseWebinar & FW11, Computer Laboratory, William Gates Building..

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

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

UserAnupam Das, University of Birmingham.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

UserMarie Fortin, University of Liverpool.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

UserPrakash Panangaden, McGill University and University of Edinburgh.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

AI x Mathematics

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

UserDavid Richerby, University of Essex.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Improving Quality of Experience for Video Users in Cellular Networks

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

The Quarks of Attention

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

HouseOnline.

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

Computer Laboratory Security Seminar

Incident Response as a Lawyers' Service

UserDaniel Woods, University of Innsbruck, Austria.

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

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

Computer Laboratory Security Seminar

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

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

HouseWebinar.

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

Computer Laboratory Security Seminar

Why Johnny doesn’t write secure software?

UserAwais Rashid, University of Bristol.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

UserPeter LeFanu Lumsdaine, Stockholm University.

HouseFW26.

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

Computer Laboratory Security Seminar

Securing the Future: Futures Literacy in Cyber Security

UserGenevieve Liveley, University of Bristol.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

UserSimon Forest, University of Aix-Marseille.

HouseFW26.

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

Computer Laboratory Security Seminar

Teardown of encrypted USB Flash drives

UserSergei Skorobogatov, University of Cambridge.

HouseLT1, Computer Laboratory, William Gates Building..

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

Logic and Semantics Seminar (Computer Laboratory)

Towards a geometry for syntax

UserJon Sterling, University of Aarhus.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Enriched categories for optimal transport

UserSimon Willerton, University of Sheffield.

HouseFW26.

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

Computer Laboratory Security Seminar

Blind Backdoors in Deep Learning

UserEugene Bagdasaryan, Cornell Tech.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

A formal context for metric semantics

UserRadu Mardare, University of Strathclyde.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Self-Organization of Lifelike Behaviors

UserDr Jeremy England - Georgia Institute of Technology, School of Physics .

HouseOnline.

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

Computer Laboratory Security Seminar

Computational Methods to Measure and Mitigate Weaponized Online Information

UserGianluca Stringhini, Boston University.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

UserDan Iorga, Imperial College London.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

CO2 Monitoring in the Department

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

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Quantum Software in 2021: Patterns and Problems

UserRoss Duncan, Cambridge Quantum Computing.

HouseFW26.

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

Computer Laboratory Security Seminar

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

UserConstantinos Patsakis, University of Piraeus.

HouseWebinar.

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

Wednesday Seminars - Department of Computer Science and Technology

A Retrospective on the 2014 NeurIPS Experiment

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

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

The Statistical Finite Element Method

UserProfessor Mark Girolami - Department of Engineering, University of Cambridge.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Morello - Arm's research prototype using Capabilities

UserRichard Grisenthwaite - SVP, Chief Architect & Fellow, Arm.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Computation, Composition

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

HouseOnline.

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

Computer Laboratory Security Seminar

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

UserSam Gilbert, University of Cambridge.

HouseWebinar.

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

The Wheeler Lectures in Computer Science

Wheeler Lecture 2021: Reimagining Robots

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

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Programming languages for humans

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

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

UserAndrew Pitts, University of Cambridge.

HouseOnline.

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

Computer Laboratory Security Seminar

Dark web marketplaces and COVID-19: Flexible and resilient

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

HouseWebinar.

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

Computer Laboratory Security Seminar

Understanding Modern Phishing

UserBrad Wardman and Adam Oest, PayPal.

HouseWebinar.

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

Wednesday Seminars - Department of Computer Science and Technology

Modelling syntactico-semantic composition for natural language understanding and generation

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

HouseOnline.

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

Computer Laboratory Security Seminar

Deep Learning Assisted Side-Channel Attacks

UserElena Dubrova, KTH Royal Institute of Technology.

HouseWebinar.

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

Computer Laboratory Security Seminar

Crowdsourcing Security Research: A case study of AdObserver

UserLaura Edelson and Damon McCoy, New York University.

HouseWebinar.

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

Wednesday Seminars - Department of Computer Science and Technology

Data driven design for sustainable future cities: incorporating the intangible

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

HouseOnline.

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

Computer Laboratory Security Seminar

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

UserLuca Allodi, Eindhoven University of Technology.

HouseWebinar.

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

Computer Laboratory Security Seminar

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

UserSophie van der Zee, Erasmus University Rotterdam.

HouseWebinar.

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

Computer Laboratory Security Seminar

Cybersecurity Risk to Hospitals from Building Services

UserSheryn Gillin, University of Cambridge.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

UserChristopher Pulte, University of Cambridge.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Reconciling Temporalities in Relating Different Worlds

UserProfessor Nicola Bidwell - International University of Management, Namibia.

HouseOnline.

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

Computer Laboratory Security Seminar

Towards Provable Physical Safety Against False Actuation Attacks in CPS

UserAlvaro Cardenas, University of California, Santa Cruz.

HouseWebinar.

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

Computer Laboratory Security Seminar

User Privacy Concerns and Preferences in Smart Buildings

UserMaryam Mehrnezhad, Newcastle University.

HouseWebinar.

ClockTuesday 01 December 2020, 13:00-14: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.

UserMarinka Zitnik, Harvard University.

HouseZoom.

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

Computer Laboratory Security Seminar

Cultural Convergence in the time of COVID

UserAlicia Bargar and Erin McAweeney, Graphika.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

UserTomas Jakl, University of Cambridge.

HouseOnline.

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

Computer Laboratory Security Seminar

Hardware and Software Fingerprinting of Mobile Devices

UserJiexin (Stan) Zhang, University of Cambridge.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

UserVikraman Choudhury, University of Indiana.

HouseOnline.

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

Computer Laboratory Security Seminar

SHB Seminar

UserMultiple Speakers.

HouseWebinar.

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

Computer Laboratory Security Seminar

Eavesdropping at Scale: Shifting the Threat Model in Satellite Broadband

UserJames Pavur, University of Oxford.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

UserGregory Wilsenach, University of Cambridge.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Haar Graph Pooling

UserDr Yu Guang Wang - University of New South Wales.

HouseOnline.

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

Computer Laboratory Security Seminar

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

UserKit Murdock, University of Birmingham.

HouseWebinar.

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

Computer Laboratory Security Seminar

Sponge Examples: Energy-Latency Attacks on Neural Networks

UserIlia Shumailov, University of Cambridge.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

Incrementality xor currency for monotone fixed points

UserMichael Arntzenius, University of Cambridge.

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Higher Algebra in Computer Science

UserEric Finster, University of Cambridge.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Addressing Imbalance in Object Detection

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

HouseOnline.

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

Computer Laboratory Security Seminar

Collaborative Deanonymization

UserRainer Böhme, University of Innsbruck.

HouseWebinar.

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

Computer Laboratory Security Seminar

Understanding Privacy-Related Questions on Stack Overflow

UserKami Vaniea, University of Edinburgh.

HouseWebinar.

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

Computer Laboratory Security Seminar

The politics of data-driven governance

UserLina Dencik, Data Justice Lab, Cardiff University.

HouseWebinar.

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

Computer Laboratory Security Seminar

SEAL: sealed-bid auction without auctioneers

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

HouseWebinar.

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

Computer Laboratory Security Seminar

Trustable Hardware as a TOCTOU Problem: Overview and Potential Remedies

UserDr. Andrew 'bunnie' Huang, Independent Researcher.

HouseWebinar.

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

Logic and Semantics Seminar (Computer Laboratory)

A Syntactic View of Computational Adequacy

UserMarco Devesas Campos, University of Birmingham.

HouseComputer Lab, GC22.

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

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

UserYakoub Nemouchi, University of York.

HouseComputer Lab, SS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Aspects of my formal development work

UserBoris Djalal, OpenAirInterface Software Alliance.

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

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

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

HouseComputer Lab, FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Formal Foundations for Provably Safe Web Components

UserMichael Herzberg, University of Sheffield.

HouseComputer Lab, FW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Cerberus C semantics & pointer provenance

UserKayvan Memarian (University of Cambridge).

HouseComputer Laboratory, room SS03.

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

Computer Laboratory Security Seminar

Product Design, Liability, and Insecurity Engineering

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Computation via Substructures

UserRamanathan S. Thinniyam, MPI-SWS.

HouseComputer Laboratory, room SS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Soft Aerial Robotics for Digital Infrastructure Systems

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

Measuring Cryptocurrency Fraud

UserMarie Vasek, Department of Computer Science, UCL.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Climate, Carbon, and Computer Science

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

Security economics to inform behaviour change support

UserSimon Parkin, Information Security Group, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Digital Modeling of Reality with Machine Learning

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

It's Damn Hard to Decentralise the Web

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

UserNadish de Silva (University of Cambridge).

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

The Digital Architecture of Future Cities

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

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

UserRichard Eisenberg (Bryn Mawr College).

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

StructureNet: Hierarchical Graph Networks for 3D Shape Generation

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

Automatically Dismantling Online Dating Fraud

UserMatthew Edwards, Faculty of Engineering, University of Bristol.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Reducing Metadata Leakage from Encrypted Files and Communication

UserNikitin Kirill, Decentralized/Distributed Systems Lab, EPFL.

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

UserJean-Louis Lassez.

HouseFW26.

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

Computer Laboratory Security Seminar

An analysis of the threats of the consumer spyware industry

UserDiarmaid Harkin, Alfred Deakin Institute, Deakin University.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Deploying Differential Privacy for the 2020 Census of Population and Housing

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

UserVikraman Choudhury, Indiana University / Cambridge.

HouseFW26.

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

The Wheeler Lectures in Computer Science

Combining Formal Methods and Machine Learning

UserProfessor Jane Hillston, University of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

UserMagnus Madsen, Aarhus University.

HouseFW26.

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

Computer Laboratory Security Seminar

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

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

HouseLT1, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

UserVilem Liepelt, University of Kent.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

UserJoshua Dunfield, Queen’s University, Canada.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

UserBen Simner, Computer Laboratory.

HouseFW26.

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

Computer Laboratory Security Seminar

Securing Systems with Insecure Hardware

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Representation Learning on Graphs

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

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

UserDominique Devriese, Vrije Universiteit Brussel.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

DevOps and Cloud Native development in the University of Cambridge

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

HouseLecture Theatre 2, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Perpetual Computing: Technologies for Banishing Batteries

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

Evil on the Internet

UserRichard Clayton, Computer Laboratory, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Function-Based Access Control

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

HouseFW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

UserJonathan Protzenko, MSR Redmond.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

UserBartek Klin, Warsaw University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Lower bound for arithmetic circuits via Hankel matrix

UserPierre Ohlmann, IRIF, Université Paris 7.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Security Seminar

Displacing big data: How cybercriminals cheat the system

UserAlice Hutchings, Computer Laboratory, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Stylus input and the benefits of a standard

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

HouseLecture Theatre 2, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

A journey into interdisciplinary research

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

HouseLecture Theatre 2, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

UserKaroliina Lehtinen, Christian-Albrechts University of Kiel.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Graphical Conjunctive Queries

UserPawel Sobocinski, University of Southampton.

HouseFW26.

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

Computer Laboratory Security Seminar

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

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

UserTamara von Glehn (DPMMS).

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

UserGuillaume Munch-Maccagnoni, INRIA.

HouseFW26.

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

The Wheeler Lectures in Computer Science

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Quantitative equational reasoning

UserPrakash Panangaden, McGill University.

HouseFW26.

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

Computer Laboratory Security Seminar

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

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Scheduling Tasks for Reconfigurable Architecture

UserAmlan Chakrabarti, University of Calcutta.

HouseFW26.

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

Computer Laboratory Security Seminar

Ethical Issues in Network Measurement

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Data science approaches to understanding key actors on online hacking forums

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

HouseLT2, Computer Laboratory, William Gates Building.

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

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.

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Left Exact Modalities in Type Theory

UserEric Finster, INRIA Rennes.

HouseFW26.

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

Computer Laboratory Programming Research Group Seminar

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

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

UserManuel Rigger, Johannes Kepler University, Linz.

HouseFS09, William Gates Building.

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

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.

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

UserMichel Schellekens, University College Cork.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

UserChung-Kil Hur, Seoul National University.

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Kiwi Scientific Acceleration on FPGA

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Anonymity in Cryptocurrencies

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

UserBrijesh Dongol, Brunel University London.

HouseFW26.

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

Computer Laboratory Programming Research Group Seminar

Energy Efficient Compilation of Irregular Task-Parallel Loops

UserKrishna Nandivada, IIT Madras, India.

HouseGS15.

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

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

UserWilliam Byrd, University of Alabama at Birmingham.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

UserTony Hoare, FRS FREng.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

The Linux Kernel Concurrency Model

UserAndrea Parri.

HouseFW26.

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

Computer Laboratory Security Seminar

Bayes, not Naive: Security Bounds on Website Fingerprinting Defenses

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Reasoning beyond data-race freedom

UserStephen Dolan, Ocaml Labs, University of Cambridge.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

What if Computers Understood Physics?

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Analysis and Classification of Android Malware

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Conditional Linear Cryptanalysis

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

UserChung-Kil Hur, Seoul National University.

HouseFW26.

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

Computer Laboratory Security Seminar

Protecting Analog Sensor Security

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Event Correlation with Algebraic Effects

UserOliver Bracevac, University of Darmstadt.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A promising semantics for relaxed-memory concurrency

UserChung-Kil Hur, Seoul National University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Semantics of Full Ground References

UserPaul Blain Levy (University of Birmingham).

HouseFW26.

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

Computer Laboratory Security Seminar

abraCARDabra: understanding carding forums

UserJeremiah Onaolapo, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

UserMurdoch Gabbay, Heriot-Watt University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Disjoint Semirings for Fractional Permissions

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

UserAquinas Hobor, National University of Singapore.

HouseFW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Concurrent Kleene Algebras and Pomset Languages

UserGeorg Struth, University of Sheffield.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Can we make people value IT security?

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

UserM. Angela Sasse - UCL London..

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

UserDavid Pearce, Victoria University of Wellington, New Zealand.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Ubiquitous Sensing with Light

UserXia Zhou - Dept of Computer Science Dartmouth College .

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Higher Categorical Structures, Type-Theoretically

UserNicolai Kraus, University of Nottingham.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

UserJames Cheney, University of Edinburgh.

HouseFW26.

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

Computer Laboratory Security Seminar

Free-Form Gesture Passwords: Security, Memorability, Usability

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

UserDan Ghica, University of Birmingham.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

UserMagnus Myreen, Chalmers University.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

AI Meets Cancer

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

A monad for full ground reference cells

UserOhad Kammar, University of Oxford.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Challenges in Human-Robot Interaction

UserProf. Kerstin Dautenhahn - University of Hertfordshire.

HouseLecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Data Science for the World of Moving Things

UserDr Damon Wischik - Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

UserTheo Drane, Cadence Design Systems.

HouseFW11.

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

Logic and Semantics Seminar (Computer Laboratory)

One-Dimensional Higher Inductive Types

UserPeter Dybjer, Chalmers University of Technology.

HouseFW26.

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

Computer Laboratory Security Seminar

Trends in Online Payment Security

UserMohammed Aamir Ali, Newcastle University.

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Polymorphism, subtyping and type inference in MLsub

UserStephen Dolan, University of Cambridge.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A categorical perspective on type refinement systems

UserNoam Zeilberger, University of Birmingham.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Architectural Impacts of the Silicon Performance Wall

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Reversing chip design for hardware security characterization

UserFranck Courbon, Security group, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Making Reactive Programs Function

Note: Venue is LT2 (not LT1).

UserDr Neel Krishnaswami - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

A compositional account of Herbrand's theorem via concurrent games

NOTE NON-STANDARD ROOM BOOKING

UserPierre Clairambault, ENS Lyon.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

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

UserNicholas Ng and Bernardo Toninho, Imperial College.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Graduate Studies Open Day

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

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

End-to-end encryption: Behind the scenes

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

UserUgo Dal Lago, University of Bologna.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

From Idea to Startup

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

HouseLecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Rethinking Auto-Parallelisation

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

UserAndy Pitts, Computer Laboratory.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

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

NOTE NON-STANDARD ROOM BOOKING

UserGunnar Wilken, Okinawa Institute of Science and Technology.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

UserNeel Krishnaswami, University of Cambridge.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

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

UserMagnus Myreen, Chalmers University, Sweden.

HouseFW11.

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

Computer Laboratory Computer Architecture Group Meeting

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

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

UserProf Huiyun Li, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

UserRobert Atkey, University of Strathclyde.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

From EDA to NDA: Treating Networks like Hardware Circuits

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

UserGeorge Varghese - Microsoft Research.

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

UserRyan Newton, University of Indiana.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

UserJohn Wickerson, Imperial College.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

UserJasper Lee, Brown University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.

HouseFW26.

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

The Wheeler Lectures in Computer Science

A History of Virtualisation in Operating Systems.

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

UserDr Andrew Herbert OBE, FREng...

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

UserEkaterina Komendantskaya, Heriot-Watt University, Edinburgh.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

No Littering!

Please note: Unusual day of week and time.

UserBjarne Stroustrup - Morgan Stanley and Columbia University.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

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

UserRobbert Krebbers, Aarhus University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

UserMartin Berger, University of Sussex.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

UserIlias Garnier, ENS Paris.

HouseFW26.

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

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

UserMatthew Danish (University of Cambridge).

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

UserPaulo Oliva, Queen Mary, University of London.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

UserJeremy Siek, Indiana University.

HouseFW26.

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

Computer Laboratory Security Seminar

Understanding, Characterizing, and Detecting Facebook Like Farms

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

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

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

THIS TALK HAS BEEN CANCELLED/POSTPONED

THIS TALK HAS BEEN CANCELLED/POSTPONED

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

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

A call-by-value realizability model for PML

NOTE UNUSUAL VENUE

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

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Data Science at The Guardian

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

UserFelix Sanchez-Garcia, The Guardian.

HouseSW 01, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

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

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Communication with Artificial Intelligences

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

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

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Predicting Psychology from Social Media Data

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

What is an Algorithm?

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

UserYuri Gurevich, Microsoft Research Redmond, USA.

HouseSW01.

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

Computer Laboratory Security Seminar

The Unfalsifiability of security claims

UserCormac Herley, Microsoft Research, Redmond.

HouseLT2, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

UserDominic Orchard, Computer Laboratory.

HouseSS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Interacting Hopf monoids: the algebra of signal flow diagrams

NOTE UNUSUAL VENUE

UserFabio Zanasi, Radboud University of Nijmegen, Netherlands.

HouseSS03.

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

Wednesday Seminars - Department of Computer Science and Technology

Synthetic Biology

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

UserDanel Ahman, University of Edinburgh, Scotland.

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Finding what is invisible through computation

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

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

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

A continuation passing translation for functional session types

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

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Typed realizability for first-order classical analysis

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

HouseFW26.

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

Wednesday Seminars - Department of Computer Science and Technology

Talk Cancelled (was 'Synthetic Biology')

This talk is cancelled.

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

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Online Space Complexity

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

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Global Realisations of Local Specifications

UserMartin Otto, Technische Universität Darmstadt, Germany.

HouseFW26.

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

Technical Talks - Department of Computer Science and Technology

nShield HSMs

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

UserRichard Kettlewell, Thales.

HouseFW26, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Towards a dynamic object model within Unix processes

UserStephen Kell (University of Cambridge).

HouseGS15.

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

NLIP Seminar Series

Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics

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

UserTony Veale, University College Dublin.

HouseLT2, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

The Gamma: Programming tools for data journalism

UserTomas Petricek (University of Cambridge).

HouseGS15.

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

Computer Laboratory Security Seminar

Massively Parallel Hardware Security Platform

UserPetr Svenda, Masaryk University, Czech Republic.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Programming Research Group Seminar

Brand Objects and Gradual Contracts

UserTimothy Jones (Victoria University of Wellington).

HouseSS03.

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

Computer Laboratory Security Seminar

Making Better Privacy Decisions in Ubiquitous Computing Environments

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

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Computer Laboratory Programming Research Group Seminar

Improving Implicit Parallelism

UserJose Calderon, University of York.

HouseSS03.

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

Computer Laboratory Security Seminar

Massively Parallel Hardware Security Platform

UserPetr Svenda, Masaryk University, Czech Republic.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Cancelled : Full reduction in the face of absurdity.

Talk cancelled for today - speaker cannot make it.

UserDidier Remy - Inria.

HouseLecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Toward Causal Machine Learning

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Captchas - the state of play

UserDr Jeff Yan, Newcastle University.

HouseLT2, Computer Laboratory, William Gates Building.

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

Computer Laboratory Security Seminar

Understanding and Fighting Malicious Activity on Online Social Networks

UserGianluca Stringhini, Assistant Professor, University College London.

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Deep Learning of Natural Language Semantics

Extrodinary (out-of-term) Babbage Seminar

UserProf Yoshua Bengio - Université de Montréal.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

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

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

HouseLT2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

The Automatic Statistician - an AI for Data Science

UserZoubin Ghahramani - Department of Engineering, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 March 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Digital by Default - A Paradigm Shift in Government

UserStephen Allott - Crown Representative for Small and Medium Enterprises in the Cabinet Office.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Human factors and missed solutions to WWII Enigma design weaknesses

UserProf. Harold Thimbleby CEng FIET FRCPE FLSW HonFRSA HonFRCP.

HouseLT2, Computer Laboratory, William Gates Building.

ClockThursday 05 February 2015, 14:00-15:00

Computer Laboratory Security Seminar

Single Password Authentication

UserAlptekin Küpçü, Assistant Professor, Cryptography, Security & Privacy Research Group, Koç University.

HouseFW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Programming Research Group Seminar

QuLog: A modern logic-based agent-implementation language

UserProfessor Keith L Clark, Imperial College.

HouseSS03.

ClockFriday 05 December 2014, 14:00-15:00

Computer Laboratory Security Seminar

Cloud-centric assured information sharing

User Dr. Bhavani Thuraisingham, Executive Director of the Cyber Security Research Institute, The University of Texas at Dallas.

HouseFW11, Computer Laboratory, William Gates Building.

ClockThursday 27 November 2014, 11:00-12:00

Computer Laboratory Security Seminar

Hacking is not random: a case-control study of webserver-compromise risk

UserMarie Vasek, PhD student in the Computer Science and Engineering department, Southern Methodist University (SMU).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockWednesday 19 November 2014, 15:05-16:05

Microsoft Research Cambridge, public talks

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

UserDr Daniel Egloff, QuantAlea AG.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 03 November 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Logic programming beyond Prolog

This is an MSR Seminar (Station Road), duplicated on the CPRG list

UserMaarten van Emden, University of Victoria, Canada.

HouseSeminar Room, Microsoft Research, Station Road, Cambridge.

ClockThursday 09 October 2014, 14:00-15:00

Computer Laboratory Security Seminar

Bitcoin as a source of verifiable public randomness

UserJoseph Bonneau, Center For Information Technology Policy, Princeton.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 30 September 2014, 14:00-15:00

Computer Laboratory Security Seminar

DP5: Privacy-preserving Presence Protocols

UserIan Goldberg, University of Waterloo [currently on sabbatical at the University of Cambridge].

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 23 September 2014, 14:00-15:00

Computer Laboratory Security Seminar

From TLS to secure websites: the HTTPS landmine

UserAntoine Delignat-Lavaud, Inria Paris, team Prosecco (Programming Securely with Cryptography.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 09 September 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Embedding effect systems in Haskell

UserDominic Orchard (University of Cambridge).

HouseSS03.

ClockFriday 29 August 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

UserProfessor Keith Clark, Department of Computing, Imperial College, London.

HouseSS03.

ClockMonday 14 July 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Points-To and Alias Analysis -- the precision vs efficiency dilemma

UserProfessor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. .

HouseSS03.

ClockTuesday 08 July 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Higher-kinded programming in ML

UserJeremy Yallop, University of Cambridge.

HouseSS03.

ClockFriday 23 May 2014, 14:00-15:00

The Wheeler Lectures in Computer Science

Computational Thinking

UserProf Jeannette M. Wing - Microsoft Research & Carnegie Mellon University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 May 2014, 16:00-18:30

Computer Laboratory Security Seminar

Security, Reliability and Backdoors

UserDr Sergei Skorobogatov, Security Group, University of Cambridge Computer Laboratory.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 13 May 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Multitask Learning

UserProf Massimiliano Pontil - University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 May 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

UserMarco Gaboardi (University of Dundee).

HouseFW11.

ClockMonday 05 May 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

UserMarco Gaboardi (University of Dundee).

HouseFW11.

ClockMonday 05 May 2014, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Computing Cancer

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

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 April 2014, 14:00-15:00

Computer Laboratory Security Seminar

Protecting Programs During Resource Retrieval

UserProfessor Trent Jaeger, CSE Department, Pennsylvania State University.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 29 April 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

*** The Weight of Gravity ***

(Additional Talk: Week 0, Extended Duration 1.5 hrs)

UserHills, Graham and Blain - Framestore Visual Effects, London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 April 2014, 14:00-15:30

Computer Laboratory Security Seminar

Website Fingerprinting

UserNikita Borisov, University of Illinois.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 22 April 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Solving an existential crisis in Haskell

UserMichael Gale (University of Cambridge).

HouseSS03.

ClockFriday 04 April 2014, 14:00-15:00

Computer Laboratory Security Seminar

Bitcoin: A Full Employment Act for security engineers?

UserJoseph Bonneau, Center For Information Technology Policy, Princeton.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 18 March 2014, 15:00-16:00

Computer Laboratory Security Seminar

Introduction to DNSSEC

UserTony Finch, University of Cambridge Computing Service.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 25 February 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Interactive Configuration Problems

UserHenrik Reif Andersen - Configit.Com, Copenhagen..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 February 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Randomised Load Balancing For Networks

UserThomas Sauerwald - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 January 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Towards Language Composition

UserLaurence Tratt, King's College London.

HouseSS03.

ClockFriday 24 January 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Evaluation Metrics and Learning to Rank for Information Retrieval

Please note new seminar start time of 2:00pm this term.

UserEmine Yilmaz - University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 22 January 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

MirageOS: compiling a functional cloud

UserAnil Madhavapeddy - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 December 2013, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Compressed sensing and the art of subsampling

UserAnders Hansen - DAMTP, Centre for Mathematical Sciences, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 November 2013, 14:15-15:15

Computer Laboratory Security Seminar

SCION: Scalability, Control, and Isolation On Next-Generation Networks

UserProf. Adrian Perrig, Department of Computer Science at the Swiss Federal Institute of Technology (ETH).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 18 November 2013, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Pico: no more passwords!

User Dr Frank Stajano - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 November 2013, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

**TALK POSTPONED**

UserDaniel Roy, Engineering Department, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 01 November 2013, 16:00-17:00

Computer Laboratory Security Seminar

Psychology of scams

UserDavid Modic, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 22 October 2013, 16:15-17:15

Computer Laboratory Security Seminar

Rendezvous: A search engine for binary code

UserWei Ming Khoo, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 14 May 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Coinductive big-step semantics for concurrency

Note unusual time and day

UserTarmo Uustalu ( Institute of Cybernetics, Tallinn University of Technology).

HouseFW11, Computer Laboratory, William Gates Building.

ClockTuesday 14 May 2013, 15:45-16:45

Computer Laboratory Programming Research Group Seminar

Mezzo

UserJonathan Protzenko (from INRIA).

HouseFW11.

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

The Wheeler Lectures in Computer Science

Could Computers Understand Their Own Programs

UserProf Sir Tony Hoare - Microsoft Research & Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 April 2013, 14:30-15:30

Wednesday Seminars - Department of Computer Science and Technology

Challenges in Computer Graphics Modeling

UserProf. Oliver Deussen, University of Konstanz, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 February 2013, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Java 8 Workshop

UserRaoul-Gabriel Urma (University of Cambridge).

HouseLT2.

ClockMonday 21 January 2013, 15:00-17:30

Computer Laboratory Security Seminar

An Updated Threat Model for Security Ceremonies

UserJean Martina (Federal University of Santa Catarina / Brazil).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 20 November 2012, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Sentiment Analysis

UserProf. Stephen Pulman, Oxford University Department of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 November 2012, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Semi-local string comparison

UserAlexander Tiskin, Department of Computer Science, University of Warwick.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 31 October 2012, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Monadic Program Slicing

UserDr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).

HouseSS03, Computer Laboratory.

ClockFriday 12 October 2012, 15:15-16:15

Microsoft Research Cambridge, public talks

Dynamically Enforcing Knowledge-based Security Policies

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin

UserMichael Hicks, University of Maryland.

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockFriday 12 October 2012, 10:00-11:00

Computer Laboratory Security Seminar

Technology Risk Management - Achilles Heels, Myths and Mirages

Note the change in timing

UserTony Chew (Monetary Authority of Singapore).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockThursday 04 October 2012, 17:00-18:00

Computer Laboratory Security Seminar

Explorations of Science in Cyber Security

UserGreg Shannon (CERT and Carnegie Mellon University).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 01 October 2012, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

The Whiley Programming Language: Design & Implementation

UserDavid Pearce, Victoria University of Wellington, New Zealand.

HouseSS03, Computer Laboratory.

ClockFriday 07 September 2012, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

UserAbhisekh Sankaran, IIT Bombay.

HouseRoom GC22, Computer Laboratory, William Gates Building.

ClockThursday 30 August 2012, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

A Notation for Comonads

UserDominic Orchard (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockWednesday 29 August 2012, 15:00-15:45

Computer Laboratory Systems Research Group Seminar

Towards Trustworthy Embedded Systems

UserGernot Heiser (University of New South Wales/NICTA).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockFriday 22 June 2012, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Bounds on proof size and distributive encryption

Note that this talk will be in FW26 rather than the usual room.

UserR. Ramanujam, Institute of Mathematical Sciences, Chennai.

HouseRoom FW26, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Alan Turing as a computer designer

UserProf. Brian Carpenter, University of Auckland Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 May 2012, 14:15-15:15

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.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 May 2012, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Content delivery in the Internet: an infrastructure-oriented perspective.

UserSteve Uhlig, Professor of Networks, School of electronic engineering and computer science, Queen Mary, University of London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 May 2012, 14:15-15:15

Microsoft Research Cambridge, public talks

Confining the Ghost in the Machine: Using Types to Secure JavaScript Sandboxing

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

UserShriram Krishnamurthi, Brown University.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 18 April 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

Efficient Cryptography for the Next Generation Secure Cloud

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

UserAlptekin Küpçü, Koç University.

HousePrimrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockTuesday 17 April 2012, 16:00-17:00

Microsoft Research Cambridge, public talks

The science of guessing

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

UserJoseph Bonneau (Cambridge University).

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockThursday 05 April 2012, 09:30-10:30

Microsoft Research Cambridge, public talks

Non-Interactive Verifiable Computation

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

UserBryan Parno, Microsoft Research.

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 28 March 2012, 14:00-15:00

Microsoft Research Cambridge, public talks

Malleability in Modern Cryptography

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

UserMarkulf Kohlweiss, MSRC.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 14 March 2012, 10:00-11:00

Computer Laboratory Programming Research Group Seminar

Architecture-neutral Parallelism

UserPeter Calvert (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 09 March 2012, 15:15-16:15

The Wheeler Lectures in Computer Science

C++11 Style

Please register; note 16:00 start time

UserBjarne Stroustrup, Distinguished University Professor, Texas A&M University; Visiting Professor, Cambridge University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 February 2012, 16:00-17:30

Computer Laboratory Programming Research Group Seminar

Using the OpenJDK to investigate covariance in Java

Note unusual day and time.

UserRaoul-Gabriel Urma and Janina Voigt (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockThursday 02 February 2012, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Inclusive Design

UserProfessor John Clarkson (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 January 2012, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Layered Fixed Point Logic

UserPiotr Filipiuk, Technical University of Denmark (DTU).

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Microsoft Research Cambridge, public talks

Homomorphic Encryption from Ring Learning with Errors

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

UserMichael Naehrig, Technische Universiteit Eindhoven.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockTuesday 10 January 2012, 10:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

Automatic Discovery of Patterns in Media Content

UserNello Cristianini, Professor of Artificial Intelligence, Departments of Engineering Mathematics and Computer Science, University of Bristol.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 November 2011, 14:15-15:15

Computer Laboratory Systems Research Group Seminar

Quantifying Location Privacy

UserGeorge Theodorakopoulos (EPFL, University of Derby).

HouseSS03, Computer Lab, William Gates Building.

ClockThursday 17 November 2011, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Search Based Software Engineering

UserProf. Mark Harman, UCL Dept of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 November 2011, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Algebraic theories and computational effects

UserSam Staton (Computer Laboratory, University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 November 2011, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Wool: low overhead work stealing for fine grain parallelism.

Note unusual time of 2pm.

UserKarl-Filip Faxén (SICS).

HouseSS03, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Coeffect Systems and Typing (Preliminary report)

UserTomas Petricek & Dominic Orchard (Computer Laboratory, Cambridg).

HouseSS03, Computer Laboratory.

ClockFriday 07 October 2011, 15:15-16:15

Computer Laboratory Systems Research Group Seminar

Twitter bots

UserMiranda Mowbray (HP Labs Bristol).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 29 September 2011, 16:00-17:00

Microsoft Research Cambridge, public talks

The IITM Model and its Application to the Analysis of Real-World Security Protocol

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

UserRalf Küsters, University of Trier.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockThursday 08 September 2011, 13:30-14:30

Computer Laboratory Security Seminar

Evolutionary Software Repair

UserStephanie Forrest, University of New Mexico.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 19 July 2011, 16:15-17:15

A Language for Type-Safe Web Programming

UserCervesato Iliano.

HouseSmall Lecture Room.

ClockTuesday 19 July 2011, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Practice talks

UserPete Calvert and Tomas Petricek.

HouseGS15, Computer Laboratory.

ClockFriday 17 June 2011, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Compiler Tools for MATLAB

UserLaurie Hendren, Professor, School of Computer Science, McGill University, Canada Leverhulme Visiting Professor, Oxford University Computing Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 June 2011, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

The Duality of State and Observation

UserPrakash Panangaden, Computing Laboratory Oxford University; on leave from McGill University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 May 2011, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

When Monads and Comonads Overlap

Note unusual time and room.

UserDominic Orchard, Computer Lab.

HouseFW11, Computer Laboratory.

ClockFriday 20 May 2011, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Kernel Methods: the Emergence of a Well-founded Machine Learning

UserJohn Shawe-Taylor, Professor and Director of the UCL Centre for Computational Statistics and Machine Learning.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 May 2011, 14:15-15:15

Computer Laboratory Security Seminar

Practical Linguistic Steganography using Synonym Substitution

UserChing-Yun (Frannie) Chang & Stephen Clark, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 17 May 2011, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Programming with Comonads and Codo Notation

Note unusual time and place

UserDominic Orchard, Computer Lab.

HouseGC22, Computer Laboratory.

ClockFriday 13 May 2011, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Functional Programming for the Data Centre

Note unusual day and time. Room GS15.

UserJeff Epstein, Computer Laboratory.

HouseGS15, Computer Laboratory.

ClockThursday 05 May 2011, 15:00-16:00

Computer Laboratory Security Seminar

CTSRD: Capability CPUs revisited

UserPeter Neumann, SRI International / Robert Watson, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 03 May 2011, 14:45-15:45

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing -- theoretical prospects and relations to classical computation

Note change of lecture theatre

UserRichard Jozsa, Centre for Quantum Information and Foundations, DAMTP, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory.

ClockWednesday 16 March 2011, 14:15-15:15

Computer Laboratory Systems Research Group Seminar

Promoting location privacy... one lie at a time

UserDaniele Quercia (University of Cambridge).

HouseSS03 of the Computer Lab.

ClockThursday 03 March 2011, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Challenging Computer Science Problems at Ocado

UserDr Vince Darley, Head of Analytics & Optimisation, Ocado.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 January 2011, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Specification, Implementation and Verification of Refactorings

Note: Thursday not Friday.

UserMax Schaefer (Oxford Computing Lab).

HouseGS15, Computer Laboratory.

ClockThursday 20 January 2011, 15:15-16:15

Computer Laboratory Programming Research Group Seminar

Idris --- Systems Programming Meets Full Dependent Types

Note: Unusual time and date.

UserEdwin Brady (St. Andrews).

HouseSS03, Computer Laboratory.

ClockThursday 20 January 2011, 13:00-14:00

Computer Laboratory Security Seminar

Bumping attacks: the affordable way of obtaining chip secrets

UserSergei Skorobogatov - Computer Laboratory ( University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 07 December 2010, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

UserMarco Gaboardi, University of Bologna.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockFriday 05 November 2010, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Performance-portable Programming Abstraction for Image Processing

UserRichard Membarth, University of Erlangen-Nuremberg (currently ARM intern).

HouseGS15, Computer Laboratory.

ClockFriday 22 October 2010, 16:00-17:00

Computer Laboratory Systems Research Group Seminar

Routing in Equilibrium

UserTimothy G. Griffin (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 14 October 2010, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms

UserRK Shyamasundar; Tata Institute of Fundamental Research, Mumbai.

HouseFW11, Computer Laboratory.

ClockFriday 08 October 2010, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Analysis, Synchronization and Scheduling Challenges in X10

UserRK Shyamasundar; Tata Institute of Fundamental Research.

HouseFW26, Computer Laboratory (tbc).

ClockMonday 20 September 2010, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Offloading Java to Graphics Processors

Please note unusal time/place

UserPete Calvert, Computer Laboratory.

HouseFW26, Computer Laboratory.

ClockTuesday 07 September 2010, 14:00-14:30

Computer Laboratory Security Seminar

Colour, usability and computer security

Note unusual time

UserJeff Yan, Newcastle University.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockThursday 01 July 2010, 16:15-17:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 3)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockFriday 04 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 2)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockThursday 03 June 2010, 10:00-12:15

Wednesday Seminars - Department of Computer Science and Technology

EXAMS

No Wednesday Seminar due to Exams!

UserGood luck to students with their exams!.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 June 2010, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

System Tests from Unit Tests

UserKathryn Gray, Computer Lab, Cambridge.

HouseMicrosoft Research, Cambridge.

ClockWednesday 02 June 2010, 14:00-14:30

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 1)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockTuesday 01 June 2010, 10:00-12:15

Wednesday Seminars - Department of Computer Science and Technology

Privacy in Advertising: Not all Adware is Badware

Rescheduled from April 21.

UserPaul Francis - MPI Kaiserslautern, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 May 2010, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Adventures in XML updates

UserJames Cheney (University of Edinburgh).

HouseFW26, Computer Laboratory.

ClockTuesday 30 March 2010, 14:15-15:15

Darwin College Lecture Series

Risk, Security and Terrorism

UserProfessor Lucia Zedner, University of Oxford.

HouseLMH, Lady Mitchell Hall.

ClockFriday 19 February 2010, 17:30-18:30

Wednesday Seminars - Department of Computer Science and Technology

Models of large-scale real-life networks

UserBela Bollobas - University of Cambridge and University of Memphis.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 January 2010, 14:15-15:15

Optimization and Incentives Seminar

Anonymity via networks of mixes

UserVenkat Anantharam, EECS Department, University of California Berkeley..

HouseMR5, CMS, Wilberforce Road, Cambridge, CB3 0WB.

ClockMonday 18 January 2010, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Optimizing sparse vector-matrix multiplication on GPUs

UserAlexander Monakov, ISP-RAS and Moscow State University.

HouseFW26, Computer Laboratory.

ClockTuesday 15 December 2009, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Alore: Making dynamic languages simpler

UserJukka Lehtosalo (Computer Laboratory).

HouseGS15, Computer Laboratory.

ClockFriday 27 November 2009, 15:15-16:15

Computer Laboratory Security Seminar

Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?

UserRoger Clarke, University of New South Wales.

HouseFW11.

ClockMonday 02 November 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Aggregated Security Monitoring in 10GB networks

UserNathan Macrides and Nick McKenzie - Security Engineering, RBS.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 October 2009, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Reaching Out: how to engage young people with computer science

Warning: the talk will include loud bangs.

UserChris Bishop - Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 October 2009, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

NO LOGIC AND SEMANTICS SEMINAR TODAY

FW11 FW26 not available today

UserSpeaker to be confirmed.

HouseFW11 FW26 not available today.

ClockFriday 25 September 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Canonical Local Representation of Binding

UserMasahiko Sato (Graduate School of Informatics, Kyoto University).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 September 2009, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Intelligent Thread-Level Speculation

UserJeremy Singer (School of Computer Science, University of Manchester).

HouseGS15, Computer Laboratory.

ClockFriday 17 July 2009, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Evolving a language in and for the real world

800th Anniversary of Cambridge Univ. talk

UserBjarne Stroustrup - Texas A&M University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 July 2009, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Toward Energy-efficient Computing

800th Anniversary of Cambridge Univ. talk/Note unusual time

UserDavid J. Brown, Sun Microsystems Inc..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 June 2009, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Concurrency Through the Ages

800th Anniversary of Cambridge Univ. talk

UserAndrew Birrell - Microsoft Research Silicon Valley.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 June 2009, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

The 10 Cultures Problem

800th Anniversary of Cambridge Univ. talk

UserBill Thompson.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 May 2009, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

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.

UserJaroslav Sevcik (visiting from Edinburgh).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockWednesday 27 May 2009, 11:00-12: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)

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

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 May 2009, 15:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

TALK CANCELLED: An overview of structural corecursion

THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.

UserVenanzio Capretta (University of Nottingham).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 24 April 2009, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Enhancing Verilog

UserCherif Salama (Rice University).

HouseFW26, Computer Laboratory.

ClockMonday 30 March 2009, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Designing Languages to Aid Verification

UserDavid Pearce (Victoria University of Wellington).

HouseGS15, Computer Laboratory.

ClockFriday 27 February 2009, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

A game for a neutral approach to provability in MALL

UserOlivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 February 2009, 14:30-15:30

Computer Laboratory Programming Research Group Seminar

Programming for Mamba

Possibly shorter with more time for discussion

UserCharlie Reams, Computer Lab.

HouseGS15, Computer Laboratory.

ClockFriday 13 February 2009, 15:15-16:15

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 2)

This is the second part of a two-part series

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockWednesday 04 February 2009, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

IPv6: the basics

UserBen Harris, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 February 2009, 14:15-15:15

Computer Laboratory Security Seminar

Privacy-Preserving 802.11 Access-Point Discovery

UserJanne Lindqvist - Helsinki University of Technology, Finland.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 03 February 2009, 16:15-17:15

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 1)

This is the first part of a two-part series. Part 2 is on Wed 4th Feb.

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 03 February 2009, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

Nondeterminism: many questions and (maybe) some answers

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 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

UserClaudia Diaz - Department of Electrical Engineering (ESAT), K.U.Leuven, Belgium.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 January 2009, 14:15-15:15

Computer Laboratory Security Seminar

Hardware security: trends and pitfalls of the past decade

UserSergei Skorobogatov - Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 20 January 2009, 16:15-17:15

Computer Laboratory Security Seminar

Identity Theft and the Mobile Device

UserAndy Jones - Head of Information Security Research, Centre for Information & Security Systems Research, BT Innovate.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 13 January 2009, 16:15-17:15

Computer Laboratory Security Seminar

Bayesian Inference and Traffic Analysis

UserCarmela Troncoso, Microsoft Research Cambridge/KU Leuven(COSIC).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 09 December 2008, 16:15-17:15

Computer Laboratory Security Seminar

Talking to strangers

UserBruce Christianson, University of Hertfordshire.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 02 December 2008, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Haskell is Not Not ML

UserBenjamin Rudiak-Gould (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 21 November 2008, 15:15-16:15

The Cultures of Climate Change

The Climate Crunch: Ethics, Ecology and the End of Civilisation

UserDr Michael Northcott, Divinity, University of Edinburgh.

HouseCRASSH Seminar Room, 17 Mill Lane.

ClockThursday 20 November 2008, 19:00-20:30

Wednesday Seminars - Department of Computer Science and Technology

Robust Networks

UserSanjeev Goyal, University of Cambridge, Economics Department.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 November 2008, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Defending Networked Resources Against Floods of Unwelcome Requests

UserMichael Walfish - University of Texas, Austin and University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 November 2008, 14:15-15:15

Cambridge University Student Pugwash Society Talks

Internet Censorship and How It Is Resisted

UserDr Steven Murdoch (Computer science department, University of Cambridge).

HouseDirac Room – in the Fisher Building, St John’s College, Cambridge.

ClockThursday 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

UserTim Lang, Professor of Food Policy, City University.

HouseBuckingham House Lecture Theatre, Murray Edwards College, Huntingdon Road, Cambridge CB3 0DF.

ClockThursday 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

UserVitaly Lugovskiy http://www.meta-alternative.net/.

HouseComputer Laboratory, Room FW26.

ClockWednesday 29 October 2008, 15:15-16:15

Computer Laboratory Security Seminar

Browsing with the enemy: a German view

Please note the extended duration.

UserKai Buchholz-Stepputtis and Boris Hemkemeier.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 21 October 2008, 16:15-17:45

Wednesday Seminars - Department of Computer Science and Technology

Content Distribution based on Social Swarming

UserCarmen Guerrero – Dpt. of Telematics Engineering at University Carlos III Madrid (UC3M).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 October 2008, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS

UserProf Luciano da Fontoura Costa, University of São Paulo, Brazil.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 September 2008, 14:15-15:15

Computer Laboratory Security Seminar

Advances in Hash Cryptanalysis

UserChristian Rechberger, IAIK, Graz University of Technology.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 24 June 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

How to prove that a communications protocol stack is up to the job

UserJames Collier, Chief Technical Officer , Cambridge Silicon Radio, http://www.csr.com.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 May 2008, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Copyright vs Community

Please note the extended duration

UserRichard Stallman, www.gnu.org.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 April 2008, 14:15-16:00

Computer Laboratory Security Seminar

Fighting online crime

Note unusual day

UserMikko Hyppönen, Chief Research Officer, F-Secure Corporation.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockWednesday 23 April 2008, 16:15-17:15

Computer Laboratory Security Seminar

An Empirical Analysis of Phishing Attack and Defense

UserTyler Moore (Computer Laboratory, University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 08 April 2008, 16:15-17:15

Computer Laboratory Security Seminar

Minimal TCB Code Execution

UserJonathan M. McCune, Carnegie Mellon University.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 25 March 2008, 16:15-17:15

Logic and Semantics for Dummies

Tree decomposition of graphs

UserBjarki Holm (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 14 March 2008, 11:00-12:00

Computer Laboratory Security Seminar

Is SSL provably secure ?

UserNigel Smart, Department of Computer Science, University of Bristol.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 22 February 2008, 16:00-17:00

Logic and Semantics for Dummies

Domain theory: dI-domains

UserBarney Stratford (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 22 February 2008, 11:00-12:00

Logic and Semantics for Dummies

Stone Duality

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 15 February 2008, 11:00-12:00

Wednesday Seminars - Department of Computer Science and Technology

Rethink and Arise!

UserTheodor Holm Nelson, Founder, Project Xanadu.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 February 2008, 14:15-15:15

Computer Laboratory Security Seminar

Hot or Not: Fingerprinting hosts through clock skew

UserSteven J. Murdoch (Computer Laboratory, University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 12 February 2008, 16:15-17:15

Logic and Semantics for Dummies

Lent term initial meeting

UserSpeaker to be confirmed.

HouseGS15, Computer Laboratory.

ClockFriday 08 February 2008, 11:00-12:00

Crucible/Microsoft HCI Reading Group

Computational Thinking

UserSimon Peyton Jones and Luke Church.

HouseSeminar Room FW11, Computer Laboratory.

ClockThursday 07 February 2008, 11:00-12:30

Computer Laboratory Security Seminar

Exploiting Online Games

Note unusual time and room

UserGary McGraw, CTO, Cigital.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 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

UserGraeme Hirst, Department of Computer Science, University of Toronto.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 January 2008, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

The Constraint Handling Rules (CHR) language

UserTom Schrijvers, Catholic University of Leuven.

HouseGS15, Computer Laboratory.

ClockFriday 18 January 2008, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

On Scalable Shape Analysis

UserHongseok Yang (Queen Mary, University of London).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 January 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Searching for Evil

UserRoss Anderson and Richard Clayton, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 January 2008, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Memory safety with exceptions and linear types

UserRichard Thrippleton, Computer Laboratory, University of Cambridge.

HouseGS15, Computer Laboratory.

ClockFriday 14 December 2007, 15:15-16:15

Logic and Semantics for Dummies

Intuitionistic logic

UserAlexander Gurney (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 13 December 2007, 11:30-12:30

Computer Laboratory Security Seminar

Graphical passwords: some recent results

Note special time and day of week

UserJeff Yan, University of Newcastle.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 07 December 2007, 16:00-17:00

Logic and Semantics for Dummies

Dependent types

UserDavid Turner (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 07 December 2007, 11:30-12:30

Computer Laboratory Programming Research Group Seminar

Controlling control flow in web application

UserRobin Message (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockThursday 06 December 2007, 15:15-15:45

Computer Laboratory Security Seminar

The Anti-Bank: the privatized delivery of social grants using biometric encrypted smart-cards in southern Africa

UserKeith Breckenridge, Professor of History and Internet Studies, University of KwaZulu-Natal, South Africa.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 04 December 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Logics for Coalgebras

UserAlexander Kurz, University of Leicester.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics for Dummies

Hindley-Milner type inference

UserBarney Stratford.

HouseGS15, Computer Laboratory.

ClockFriday 30 November 2007, 11:30-12:30

Wednesday Seminars - Department of Computer Science and Technology

Automation for Interactive Theorem Provers

UserLawrence Paulson, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 November 2007, 14:15-15:15

Computer Laboratory Security Seminar

Networked information processing and privacy in Japan

UserAndrew A. Adams, School of Systems Engineering, University of Reading.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 27 November 2007, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Detecting and Tracking Inconsistencies in UML

UserAlexander Egyed (University College London and University of Southern California).

HouseGS15, Computer Laboratory.

ClockFriday 23 November 2007, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Executable Biology: Successes and Challenges

Canceled

UserJasmin Fisher, Microsoft Research, Cambridge, United Kingdom.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 November 2007, 14:15-15:15

Logic and Semantics for Dummies

Initial organising meeting

UserSpeaker to be confirmed.

HouseGC22, Computer Laboratory.

ClockFriday 16 November 2007, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Separation Logic Semantics for Communicating Processes

UserPeter O'Hearn, Queen Mary, University of London.

HouseFW11.

ClockFriday 09 November 2007, 14:00-15:00

Computer Laboratory Security Seminar

Key amplification in unstructured networks

UserShishir Nagaraja, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 30 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

How Do We Know What to Design?

UserFred Brooks, University of North Carolina at Chapel Hill.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 October 2007, 14:15-15:15

Computer Laboratory Security Seminar

The economics of revealing and protecting private information: Evidence from human subject experiments and surveys

Note unusual day of the week

UserJens Grossklags, School of Information, University of California Berkeley.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 30 July 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

A unified model of class invariant verification frameworks

UserSophia Drossopoulou (Imperial College).

HouseFW11.

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

Crucible/Microsoft HCI Reading Group

Do artifacts have politics?

UserAndrea Grimes and Robert Doubleday.

HouseJasmine Room, Microsoft Research Cambridge.

ClockThursday 05 July 2007, 11:00-12:30

Computer Laboratory Programming Research Group Seminar

Sound Haskell

UserDana N. Xu (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockFriday 29 June 2007, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Proofs of Program Termination in Separation Logic

UserJames Brotherston, Imperial College.

HouseFW11.

ClockFriday 15 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Valiant's theory

UserGuillaume Malod (University of Mons-Hainaut, Belgium).

HouseFW11.

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

Crucible/Microsoft HCI Reading Group

How HCI Interprets the Probes

UserAlan Blackwell and Richard Harper.

HouseJasmine Room, Microsoft Research Cambridge.

ClockThursday 07 June 2007, 11:00-12:30

Wednesday Seminars - Department of Computer Science and Technology

Smart-card based authentication on an insecure network

UserPeter Sweeney, Centre for Communication Systems Research, University of Surrey..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 May 2007, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

An Executable Model of the JVM in Coq

UserRobert Atkey, LFCS, Edinburgh.

HouseFW11.

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

Computer Laboratory Security Seminar

Phishing tips and techniques: tackle, rigging, and how and when to phish

Note unusual time of talk in addition to our regularly scheduled one

UserPeter Gutmann, University of Auckland.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 01 May 2007, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Church's Problem on the Synthesis of Nonterminating Programs

Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM

UserWolfgang Thomas, RWTH Aachen University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 April 2007, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

When While is a Security Risk

UserPasquale Malacaria, Queen Mary, University of London.

HouseFW11.

ClockFriday 23 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stone duality for bitopological spaces

UserAchim Jung, University of Birmingham.

HouseFW11.

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

Computer Laboratory Security Seminar

Alternative security mechanisms for WiFi networks

UserDaniel Cvrcek, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 06 March 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Verification Across Intellectual Property Boundaries

UserHelmut Veith, Technische Universität München.

HouseFW11.

ClockFriday 02 March 2007, 14:00-15:00

Computer Laboratory Security Seminar

Power analysis attacks

UserElisabeth Oswald, Department of Computer Science, University of Bristol.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 27 February 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

A Logic of Reachable Patterns in Linked Data-Structures

UserGreta Yorsh (Tel Aviv University).

HouseFW11.

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

Wednesday Seminars - Department of Computer Science and Technology

Computing for the Future of the Planet

UserAndy Hopper, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 February 2007, 14:15-15:15

Computer Laboratory Security Seminar

Anonymity in the wild: Mixes on unstructured networks

UserShishir Nagaraja, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 13 February 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Verifying Object-Invariants in Spec#

UserWolfram Schulte (Microsoft Research Redmond).

HouseFW11.

ClockFriday 09 February 2007, 14:00-15:00

Computer Laboratory Security Seminar

Data sharing and privacy in multi-agency working

UserAdam Warren, Department of Information Science, Loughborough University.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 06 February 2007, 16:15-17:15

Computer Laboratory Security Seminar

Privacy preserving censorship

UserYvo Desmedt, Department of Computer Science, University College London.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 23 January 2007, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

UserUday Reddy, University of Birmingham.

HouseFW11.

ClockFriday 01 December 2006, 14:00-15:00

Mini Courses in Theoretical Computer Science

Countable ordinals and fast-growing functions (Part 3)

Note earlier start time

UserHarold Simmons (Univ. of Manchester).

HouseComputer Laboratory, Room FW11.

ClockFriday 01 December 2006, 09:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

New Challenges in Describing Digital Music

UserAlan Blackwell and Alejandro Vinao, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 November 2006, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

A logical approach to data provenance.

UserJames Cheney, Informatics, University of Edinburgh.

HouseFW11.

ClockFriday 17 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bialgebras and modal logic

UserBartek Klin, University of Edinburgh.

HouseFW11.

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

Computer Laboratory Security Seminar

Optically enhanced position-locked power analysis

UserSergei Skorobogatov, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 31 October 2006, 16:15-17:15

Logic and Semantics Seminar (Computer Laboratory)

A structural proof of the soundness of rely/guarantee rules

UserCliff Jones, Newcastle University.

HouseFW11.

ClockFriday 27 October 2006, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

All-Optical Networks

UserDr. Noriaki Kamiyama, Research Scientist, NTT Service Integration Laboratories.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 October 2006, 14:15-15: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.

UserMark Craven, University of Wisconsin.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 October 2006, 16:15-17:15

Computer Laboratory Security Seminar

The Polygraph

Note unusual day of the week

UserMarc Weber Tobias, Investigative Law Offices.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockWednesday 18 October 2006, 16:15-17:15

Computer Laboratory Security Seminar

Distance bounding protocols: Authentication logic analysis

Note unusual room, day and hour

UserCatherine Meadows, Naval Research Laboratory.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockFriday 06 October 2006, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Collection and Contra-collection in Mathematics

UserPaulo Oliva, Queen Mary, University of London.

HouseFW11.

ClockFriday 06 October 2006, 14:00-15:00

Computer Laboratory Security Seminar

Privacy preserving data mining in distributed databases

UserEhud Gudes, Department of Computer Science, Ben-Gurion University.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 26 September 2006, 16:15-17:15

Computer Laboratory Security Seminar

Peer-to-peer network topologies and anonymity

UserNikita Borisov, Electrical and Computer Engineering Department, University of Illinois at Urbana-Champaign.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 08 September 2006, 16:00-17:00

Computer Laboratory Security Seminar

Opening locks by bumping in five seconds or less: is it really a threat to physical security?

Note change from originally publicized time

UserMarc Weber Tobias, Investigative Law Offices.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 23 May 2006, 14:15-15:15

Crucible/Microsoft HCI Reading Group

Implications for Design

UserAbigail Sellen and Nathan Crilly.

HouseSeminar Room FW11, Computer Laboratory.

ClockThursday 04 May 2006, 11:00-12:30

Computer Laboratory Security Seminar

Security Flaws in Tunnel Mode IPsec

UserKenny Paterson, Royal Holloway, University of London.

HouseFW11, Computer Laboratory, William Gates Building.

ClockTuesday 07 March 2006, 16:15-17:15

Computer Laboratory Security Seminar

Hiding on an Ethernet

UserRichard Clayton, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 28 February 2006, 16:15-17:15

Crucible/Microsoft HCI Reading Group

Wicked Problems Revisited

UserMartyn Dade-Robertson and Alex Taylor.

HouseSeminar Room FW11, Computer Laboratory.

ClockFriday 02 September 2005, 11:00-12:30

Crucible/Microsoft HCI Reading Group

An activity theory approach to affordance

UserAbi Sellen and Kasim Rehman, Microsoft Research / Computer Laboratory.

HouseSeminar Room FW11, Computer Laboratory.

ClockFriday 08 July 2005, 11:00-12:30

Crucible/Microsoft HCI Reading Group

What we talk about when we talk about context

UserAlan Blackwell and Richard Harper, University of Cambridge / Microsoft Research Cambridge.

HousePrimrose Room, Microsoft Research Cambridge.

ClockFriday 10 June 2005, 11:00-12:30

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity