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

djg11'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: David Greaves. If you have a question about a specific talk, click on that talk to find its organiser.

7 upcoming talks and 1676 talks in the archive.

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Computer Laboratory Computer Architecture Group Meeting

Automated Reasoning at AWS, and Applications in Cryptography

Note unusual time

UserRod Chapman, Senior Principal Applied Scientist at AWS.

HouseSS03, Computer Laboratory, William Gates Building.

ClockWednesday 20 November 2024, 11:00-12:00

Computer Laboratory Systems Research Group Seminar

Programmable Kernel Abstractions Wanted for Fun (and Profit)!

UserTheophilus A. Benson, Professor of Electrical and Computer Engineering, Carnegie Mellon University.

HouseFW26.

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

Computer Laboratory Systems Research Group Seminar

Compiling Distributed System Models with PGo, and Beyond

UserFinn Hackett, Systopia lab and Software Practices Lab, University of British Columbia.

HouseZoom, https://christs-cam-ac-uk.zoom.us/j/99963336965?pwd=vW8ItPcOU2pRe6heGIHyk1CNanIfVr.1.

ClockThursday 14 November 2024, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Computing for Climate Science and Programming for the Planet

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Computer Laboratory Systems Research Group Seminar

Modelling orchestration

UserAndrew Jeffery, Systems Research Group, Computer Laboratory.

HouseFW11.

ClockThursday 24 October 2024, 15:00-16:00

The Wheeler Lectures in Computer Science

Wheeler Lecture 2024: Supercharging the Human Mind With AI

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

HouseLecture Theatre 1, Computer Laboratory.

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

lc985's list

Cambridge Compiler Social Talks

UserMarkus Böck, Jeff Niu.

HouseComputer Laboratory, William Gates Building, LT1.

ClockTuesday 03 September 2024, 15:00-16:00

mb2663's list

Hyperblock Scheduling for Verified High-Level Synthesis

UserYann Herklotz (École Polytechnique Fédérale de Lausanne).

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

ClockWednesday 19 June 2024, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

PaSh: Scaling out Shell Programs, Automatically

UserNikos Vasilakis, Brown University.

HouseFW11.

ClockTuesday 18 June 2024, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Towards identifying neglected, obsolete and abandoned IoT and OT devices

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserRicardo Yaben, Technical University of Denmark (DTU).

HouseFW11.

ClockThursday 16 May 2024, 15:00-16:00

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

Computer Laboratory Systems Research Group Seminar

Tech law vs tech design: why can't we be friends?

UserDr Tristan Henderson, University of St Andrews.

HouseFW26.

ClockFriday 22 March 2024, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications

UserDr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

HouseFW11.

ClockThursday 21 March 2024, 15:00-16: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

Computer Laboratory Systems Research Group Seminar

Using outbreak games to learn about real outbreaks

Zoom link: https://cam-ac-uk.zoom.us/j/82748387727?pwd=QThrbVVkL2tJZnZOM2dRUUFnNVdqQT09 Meeting ID: 827 4838 7727 Passcode: 339671

UserAndrés Colubri, University of Massachusetts.

HouseFW11.

ClockThursday 29 February 2024, 15:00-16:00

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

Computer Laboratory Systems Research Group Seminar

How debuggable is your (compiler-optimised) program?

UserStephen Kell, King's College London.

HouseFW11.

ClockThursday 22 February 2024, 15:00-16:00

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

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

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

Computer Laboratory Systems Research Group Seminar

DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing

Userchanggang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

HouseFW11.

ClockThursday 23 November 2023, 15:00-16:00

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 Systems Research Group Seminar

Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserAyan Kumar, AMD.

HouseFW11.

ClockThursday 09 November 2023, 15:00-16: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

Computer Laboratory Systems Research Group Seminar

K9db: Privacy-Compliant Storage For Web Applications By Construction

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserMalte Schwarzkopf (Brown University).

HouseSS03.

ClockFriday 27 October 2023, 15:00-16:00

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

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

Hardware for Machine Learning

Tenstorrent - building AI/ML accelerators

UserThaddeus Fortenberry, Ali Ziadi and Luke Yen.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 01 August 2023, 10:00-12:00

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 Systems Research Group Seminar

Memo: an incremental computation library that powers Dune

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserAndrey Mokhov, Jane Street.

HouseFW11.

ClockThursday 29 June 2023, 15:00-16: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 Systems Research Group Seminar

Monitoring and Improving QoE for the home network via large scale CPE deployment.

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserIain Fraser, Netduma.

HouseSS03.

ClockThursday 15 June 2023, 15:00-16: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

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

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

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

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

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

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

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

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 Systems Research Group Seminar

Revisiting MANETs in 2021

UserMarco Caballero (University of Cambridge).

Househttps://meet.google.com/cyk-qqgm-buj.

ClockFriday 30 July 2021, 13:15-14:15

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 Systems Research Group Seminar

iBox: Internet in a Box

UserVenkat Padmanabhan, Microsoft Research.

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

ClockThursday 20 May 2021, 15:00-16: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

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 Systems Research Group Seminar

Designing Next Generation Network Interface Cards

UserAditya Akella, University of Wisconsin, Madison.

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

ClockThursday 25 February 2021, 15:00-16: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

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 Systems Research Group Seminar

Load Migration in SDN Controllers

UserYashar Ganjali, University of Toronto.

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

ClockThursday 26 November 2020, 15:00-16: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

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

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

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

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

Computer Laboratory Systems Research Group Seminar

Systematic Rateless Coding for Efficient Data Transport in Data Centres

UserMohammed Alasmar, Department of Informatics, University of Sussex.

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

ClockThursday 06 August 2020, 15:00-16: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

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

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

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

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

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 Computer Architecture Group Meeting

The new clang constant interpreter

UserNandor Licker (University of Cambridge).

HouseGS15, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

UserJean-Louis Lassez.

HouseFW26.

ClockFriday 11 October 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

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

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

Computer Laboratory Systems Research Group Seminar

Debugging and Repairing P4 Programs

UserCostin Raiciu (University Politehnica of Bucharest).

HouseFW26, Computer Laboratory, William Gates Building.

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

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

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

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

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

UserTamara von Glehn (DPMMS).

HouseFW26.

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

Computer Laboratory Systems Research Group Seminar

Hardware-conscious data processing systems

This talk has been cancelled and will be rescheduled.

UserHolger Pirk (Imperial College London).

HouseFW26, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

UserGuillaume Munch-Maccagnoni, INRIA.

HouseFW26.

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

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

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 Computer Architecture Group Meeting

Green Cache

UserErik Hagersten, Uppsala University.

HouseFW26, Computer Laboratory, William Gates Building.

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

Computer Laboratory Computer Architecture Group Meeting

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

Note unusual time

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

HouseFW11, Computer Laboratory.

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

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

Computer Laboratory Systems Research Group Seminar

Energy landscape of multivariate time series data

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

UserNaoki Masuda (University of Bristol).

HouseFW26, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

rdm34's list

The Biomaker Challenge: an introduction

UserJenny Molloy, Department of Plant Sciences.

HouseComputer Laboratory, room SS03.

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

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

UserMurdoch Gabbay, Heriot-Watt University.

HouseFW26.

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

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

Computer Laboratory Systems Research Group Seminar

P4-NetFPGA

UserStephen Ibanez (Stanford University).

HouseFW26, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

UserJames Cheney, University of Edinburgh.

HouseFW26.

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

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

Computer Laboratory Systems Research Group Seminar

Internet Monitoring at Scale

UserMichael Meisel (VP Engineering at ThousandEyes).

HouseFW26, Computer Laboratory, William Gates Building.

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

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

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 Computer Architecture Group Meeting

The Future of Computer Architecture

UserGavin Stark, Visiting Fellow, Computer Laboratory.

HouseSW01, Computer Laboratory.

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

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

Computer Laboratory Computer Architecture Group Meeting

Barrier-Aware Warp Scheduling for Throughput Processors

Note unusual time

UserProf Yu Zhibin, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

UserRobert Atkey, University of Strathclyde.

HouseFW26.

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

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

Computer Laboratory Computer Architecture Group Meeting

OpenPiton

UserJonathan Balkind, Princeton University.

HouseFW11, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

UserJohn Wickerson, Imperial College.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

UserJasper Lee, Brown University.

HouseFW26.

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

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.

HouseFW26.

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

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

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

Computer Laboratory Systems Research Group Seminar

Exploring the Web Frontier

UserGareth Tyson (Queen Mary University of London).

HouseFW26, Computer Laboratory, William Gates Building.

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

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

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

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 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 Programming Research Group Seminar

Improving Implicit Parallelism

UserJose Calderon, University of York.

HouseSS03.

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

Computer Laboratory Systems Research Group Seminar

The vision for a Data Transparency Lab

UserNikolaos Laoutaris (Telefonica Research in Barcelona).

HouseFW26, Computer Laboratory, William Gates Builiding.

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

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

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 Computer Architecture Group Meeting

PSLP: Padded SLP Automatic Vectorization

UserVasileios Porpodas, University of Cambridge.

HouseFW11, Computer Laboratory.

ClockWednesday 04 February 2015, 11:00-12: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 Systems Research Group Seminar

CELAR+SCAN: Moving HPC to the cloud

UserChris Smowton (University of Manchester, Cancer Research UK).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 04 December 2014, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Life in the Slow Lane

UserArjuna Sathiaseelan (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 27 November 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

USB Type-C: How hard is it to pick two resistors?

Note unusual time and venue

UserDr Mark Hayter, Google consumer hardware.

HouseLecture Theatre 1, Computer Laboratory.

ClockFriday 07 November 2014, 12:00-13:00

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 Automated Reasoning Group Lunches

Logic programming beyond Prolog

This is a MSR Seminar (Station Road), duplicated on the ARG 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 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 Systems Research Group Seminar

Title to be confirmed

UserElla Peltonen (University of Helsinki).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 07 August 2014, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Modeling, Specifying, and Verifying X86 Hardware and Software

UserAnna Slobodova (Centaur Technology) and Warren Hunt (University of Texas Austin).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 31 July 2014, 15:00-16: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 Systems Research Group Seminar

Vehicular App Development: Opportunities and Challenges

UserSid Chi-Kin Chau (Masdar Institute of Science and Technology).

HouseSS03, Computer Laboratory, William Gates Builiding.

ClockWednesday 11 June 2014, 15:30-16:30

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

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

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 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 Systems Research Group Seminar

FaRM: Fast Remote Memory

UserAleksandar Dragojevic (MSR Cambridge).

HouseSS03, Computer Laboratory, William Gates Builiding.

ClockThursday 27 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

Computer Laboratory Systems Research Group Seminar

Source-sensitive routing

UserMatthieu Boutier (Université Paris Diderot - Paris 7) .

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockTuesday 04 February 2014, 16:00-17: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

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 Systems Research Group Seminar

Anomaly Detection in the Field

UserChristian Callegari (University of Pisa).

HouseLT2, Computer Laboratory, William Gates Builiding.

ClockWednesday 09 October 2013, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Scale-Out Processors

UserBoris Grot, University of Edinburgh.

HouseFW11, Computer Laboratory.

ClockTuesday 08 October 2013, 12:00-13:00

Computer Laboratory Computer Architecture Group Meeting

Synopsys Processor Designer - Introduction and demonstration

Note unusual time and venue

UserJeroen Dobbelaere, Synopsys.

HouseFW11, Computer Laboratory.

ClockThursday 18 July 2013, 13:00-14:45

Computer Laboratory Systems Research Group Seminar

Very high speed networking in VMs and bare metal

Luigi's will also give a talk at MSR Cambridge (https://talks.cam.ac.uk/talk/index/46123)

UserLuigi Rizzo (University of Pisa).

HouseFW11, Computer Laboratory.

ClockWednesday 10 July 2013, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Impact of Social Mapping in OpenStreetMap

This talk has been cancelled.

UserDesi Hristova (University of Cambridge).

HouseLT2, Computer Laboratory, William Gates Builiding.

ClockWednesday 26 June 2013, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Adaptive Resolution of Information Flow Constraints

Note unusual time and venue

UserSantanu Dash, University of Hertfordshire.

HouseSS03, Computer Laboratory, William Gates Building.

ClockTuesday 04 June 2013, 14:45-15:30

Computer Laboratory Computer Architecture Group Meeting

Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR

Note unusual time and venue

UserAli Mustafa Zaidi (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockTuesday 04 June 2013, 14:00-14:45

Computer Laboratory Systems Research Group Seminar

SPOC: GPGPU Programming with OCaml

UserMathias Bourgoin (Université Pierre et Marie Curie - Paris 6) .

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockFriday 17 May 2013, 11:00-12:00

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 Systems Research Group Seminar

Information theoretic view on Privacy preservation

Note that the change of time - now at 14:00.

UserKavé Salamatian (University of Savoie).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 29 November 2012, 14:00-17:00

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

Computer Laboratory Systems Research Group Seminar

Deduplication in VM Environments

UserFrank Bellosa (Karlsruhe Institute of Technology).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 01 November 2012, 16:00-17:00

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

Computer Laboratory Systems Research Group Seminar

Towards productive parallel programming: Unified Parallel C

This talk has been cacelled due to the speaker's schedule change.

UserMontse Farreras (Universitat Polit`ecnica de Catalunya).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 11 October 2012, 16:00-17: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

Computer Laboratory Automated Reasoning Group Lunches

Semi-automatic Algorithm Synthesis (Case Study: Square Root)

UserMadalina Erascu - Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 21 June 2012, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Energy Debugging in Smartphones

Charlie will give his talk at MSR.

UserY. Charlie Hu (Purdue University).

HouseMSR, Small Lecture Room.

ClockTuesday 19 June 2012, 10:00-11: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

Computer Laboratory Computer Architecture Group Meeting

HDL Code Generation from MATLAB and Simulink

Note unusual location

UserJon Fielder and Scott Wilson, MathWorks.

HouseSS03, Computer Laboratory.

ClockWednesday 21 March 2012, 11:00-12:00

Computer Laboratory Computer Architecture Group Meeting

System-Level Management of Hybrid Accelerators

Note unusual time

UserProf. Katherine Compton, University of Wisconsin.

HouseSC04, Computer Laboratory, William Gates Building.

ClockThursday 15 March 2012, 11:30-12:30

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

Computer Laboratory Systems Research Group Seminar

Rethinking file systems

UserEno Thereska and Richard Banks (MSR Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 23 February 2012, 16:00-17:00

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

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

Computer Laboratory Systems Research Group Seminar

Linked Data infrastructures for HE

UserThanassis Tiropanis (University of Southampton).

HouseFW26, Computer Laboratory, William Gates Builiding.

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

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

Computer Laboratory Computer Architecture Group Meeting

Experiences Creating Chromebook

Note unusual time

UserMark Hayter, Manager of Chromebook Hardware, Google.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 12 August 2011, 14:30-15:30

Computer Laboratory Computer Architecture Group Meeting

Verification of Microarchitectural Refinements in Rule-based Systems

Note unusual time and location

UserDr Nirav Dave, MIT but heading to SRI.

HouseSS03, Computer Laboratory.

ClockMonday 18 July 2011, 11:00-12:00

Computer Laboratory Computer Architecture Group Meeting

Hardware Protection for Trusted Software

Note unusual time

UserProf. Ruby Lee, Princeton University.

HouseSS03, Computer Laboratory.

ClockFriday 15 July 2011, 15:00-16: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

Computer Laboratory Systems Research Group Seminar

Networks in Natural Language Processing

UserStephen Clark and Sandro Bauer (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 02 June 2011, 16:00-17:00

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 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 Systems Research Group Seminar

Group Processes and Local Network Dynamics

This talk has been cancelled.

UserJames Kitts (Columbia University, School of Business).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockTuesday 10 May 2011, 16:00-17: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

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 Computer Architecture Group Meeting

Steps Towards a Flexible Manycore Fabric

UserDaniel Bates, Alex Bradbury, Andreas Koltes and Robert Mullins.

HouseSC04, Computer Laboratory, William Gates Building.

ClockFriday 11 March 2011, 16:00-17:00

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

Computer Laboratory Systems Research Group Seminar

Running dynamic algorithms on static hardware

UserSimon Peyton-Jones and Satnam Singh (Microsoft Research Cambridge).

HouseSS03 of the Computer Lab.

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

Computer Laboratory Systems Research Group Seminar

Query Planning in Data Streaming

UserEva Kalyvianaki (Imperial College London).

HouseSS03 of the Computer Lab.

ClockThursday 27 January 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 Systems Research Group Seminar

Virtualisation in the Network

UserJoel Obstfeld (Internet Engineering Group - Juniper Net).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 20 January 2011, 16:00-17:00

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 Systems Research Group Seminar

Toward Power-aware Networking

UserPaul Barford (University of Wisconsin-Madison).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 09 December 2010, 16:00-17:00

Computer Laboratory Automated Reasoning Group Lunches

Mirage

UserAnil Madhavapeddy ( University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 16 November 2010, 13:00-14:00

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

Concurrency and Communication: Lessons from the SHIM Project

(Re-run of talk given at MSR two weeks ago)

UserStephen A. Edwards, Columbia University.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockFriday 06 August 2010, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Concurrency and Communication: Lessons from the SHIM Project

(Re-run of talk given at MSR two weeks ago)

UserStephen A. Edwards, Columbia University.

HouseSS03, Computer Laboratory, William Gates Building.

ClockFriday 06 August 2010, 14:00-15:00

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

Computer Laboratory Systems Research Group Seminar

From RPC to Web Apps: Trends in Client-Server Systems

UserGeorge Coulouris (Queen Mary University of London & University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockTuesday 25 May 2010, 16:00-17:00

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 Automated Reasoning Group Lunches

Title to be confirmed

Canceled because of date clash with HCSS and workshop at MSR

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 May 2010, 13:00-14:00

Computer Laboratory Automated Reasoning Group Lunches

Formal models of ARM processors in HOL

Presenters: Mike Gordon and Anthony Fox / This is a rehearsal of our HCSS talk on May 11

UserMike Gordon (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 04 May 2010, 13:00-14:00

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

Computer Laboratory Systems Research Group Seminar

Routing Fairness in Chord: Analysis and Enhancement

Due to a flight delay, the speaker is still in Madrid. Unfortunately, we therefore need to cancel this talk.

UserRubén Cuevas (Universidad Carlos III de Madrid).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 28 January 2010, 16:00-17:00

Computer Laboratory Systems Research Group Seminar

Community detection algorithms: a comparative analysis

UserSanto Fortunato (Institute for Scientific Interchange, Italy).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockWednesday 20 January 2010, 16:00-17:00

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

Computer Laboratory Systems Research Group Seminar

A Bit of Network Information Theory

This talk is cancelled - due to the recent heavy snow, the speaker could not travel.

UserSuhas Diggavi (EPFL).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockTuesday 12 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 Automated Reasoning Group Lunches

Verified just-in-time compiler on x86

Notice changed date

UserMagnus Myreen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

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

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 Systems Research Group Seminar

Saving the world, one handset at a time

Note later start time

UserSimon Chatterjee (Ensoft Ltd).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 12 November 2009, 16:15-17:15

Computer Laboratory Automated Reasoning Group Lunches

Abstract Threads

th orginally sheduled talk by Thomas Tuerk will probably be given next term

UserAlexander Malkis.

HouseComputer Laboratory, William Gates Building, Room SS03.

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

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

cancelled

UserEric Koskinen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 03 November 2009, 13:00-14: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

Computer Laboratory Systems Research Group Seminar

QFQ: Efficient Packet Scheduling with Tight Service Guarantees

UserLuigi Rizzo, Associate Professor of Computer Science at the University of Pisa.

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockMonday 21 September 2009, 10:00-11: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 Systems Research Group Seminar

FreeBSD support for Stanford NetFPGA

UserWojciech Koszek (Helsinki Institute for Information Technology and Ericsson).

HouseLT2, Computer Laboratory, William Gates Builiding.

ClockThursday 17 September 2009, 16:00-17: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

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

Canceled

UserEric Koskinen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 09 June 2009, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Stochastic Networks Workshop

UserDamonWischik (UCL) , Stan Zachary (Heriot-Watt Univ.) , NeilWalton (Univ. of Cambridge) , Ramesh Johari (Stanford Univ.) , Stratis Ioannidis (Thomson Lab) , DamonWischik (UCL).

HouseLT1, Computer Laboratory, William Gates Builiding.

ClockTuesday 09 June 2009, 10:15-17:00

Computer Laboratory Systems Research Group Seminar

Crowdsourcing Network Monitoring

UserProf. Fabián E. Bustamante (Northwestern University).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockMonday 08 June 2009, 11:00-12:00

Computer Laboratory Systems Research Group Seminar

Mobile Agent Electronic Triage Tag

UserRamon Martí and Abraham Martín(Universitat Autònoma de Barcelona).

HouseFW11, Computer Laboratory, William Gates Builiding.

ClockWednesday 03 June 2009, 15:00-16:00

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

Computer Laboratory Systems Research Group Seminar

The Nitty Gritty of PhD Work

16:00 start!

UserJon Crowcroft (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 21 May 2009, 16:00-17: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 Automated Reasoning Group Lunches

Semantics Lunch

Canceled, semantics lunch instead

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 10 March 2009, 13:00-14: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 Automated Reasoning Group Lunches

RGSep action inference

UserViktor Vafeiadis (Microsoft Research Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 17 February 2009, 13:00-14:00

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

Computer Laboratory Computer Architecture Group Meeting

FPGA's NoC Freedom: You bought it, so why not use it

Note unusual time and day

UserProf Lesley Shannon, Simon Fraser University.

HouseSS03, Computer Laboratory, William Gates Building.

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

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

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

Computer Laboratory Systems Research Group Seminar

How to do a Systems PhD

UserSteven Hand (University of Cambridge).

HouseLT2, Computer Laboratory, William Gates Builiding.

ClockThursday 29 January 2009, 16:30-17:30

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 Automated Reasoning Group Lunches

Title to be confirmed

Canceled because of POPL

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 20 January 2009, 13:00-14:00

Computer Laboratory Automated Reasoning Group Lunches

An ACL2 Tutorial

UserMatt Kaufmann (University of Texas at Austin).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 02 December 2008, 13:00-14:00

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

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

Computer Laboratory Automated Reasoning Group Lunches

Mechanically verified LISP interpreters

Note unusual time

UserMagnus Myreen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 November 2008, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Optimal probing for packet networks through Design of Experiments for Markov Chains

Contact Andrew Moore (awm22) if you want to chat with Ben prior to the talk.

UserBen Parker, Queen Mary, University of London.

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 06 November 2008, 16:00-17:00

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

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

Computer Laboratory Computer Architecture Group Meeting

BEE3: Revitalizing Computer Architecture Research

Note unusual time and location

UserChuck Thacker, Microsoft Research Silicon Valley.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 06 October 2008, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Mobicom Rehearsal Day

UserLiam McNamara (UCL), Anders Lindgren (U. Cambridge), Mirco Musolesi (U.Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Builiding.

ClockThursday 11 September 2008, 13:00-15:00

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 Systems Research Group Seminar

NetFPGA: An open platform for high-speed data processing

Let me know if you want to chat with John and I'll sort out a timetable.

UserJohn Lockwood.

HouseSS03, Computer Laboratory, William Gates Builiding.

ClockTuesday 29 July 2008, 14:00-15:00

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

Computer Laboratory Computer Architecture Group Meeting

Xilinx ChipScope Tutorial

Note - originally this was to be on 16th April, but it has been postponed until 30th April

UserSaar Drimer.

HouseSS03, Computer Laboratory, William Gates Building.

ClockWednesday 30 April 2008, 16:15-17: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 Automated Reasoning Group Lunches

A Constraint-Programming Framework For Bounded Program Verification

UserHelene Collavizza (Ecole Polytechnique Universitaire de Nice Sophia Antipolis).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 March 2008, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Varnish -- programming like it is 2008

UserPoul-Henning Kamp (http://people.freebsd.org/~phk/).

HouseFW11, Computer Laboratory, William Gates Builiding.

ClockMonday 03 March 2008, 11:00-12:00

Computer Laboratory Computer Architecture Group Meeting

High-Performance Processing with Field-Programmable Logic

Note unusual time and place

UserGeorge Constantinides, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

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 Computer Architecture Group Meeting

Programmable Logic Core Based Post-Silicon Debug For SoCs

Note unusual time

UserSteve Wilton, Associate Professor, University of British Columbia.

HouseSS03, Computer Laboratory, William Gates Building.

ClockWednesday 13 February 2008, 11:00-12:00

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

Computer Laboratory Computer Architecture Group Meeting

Designing Circuits with Parallel Programs

last hardwrae discussion of the year

UserSatnam Singh, Microsoft Research Cambridge.

HouseSS03, Computer Laboratory, William Gates Building.

ClockThursday 13 December 2007, 16:00-17:00

Computer Laboratory Automated Reasoning Group Lunches

Automatic proof of SPARK verification conditions

UserPaul Jackson (School of Informatics, University of Edinburgh).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 December 2007, 13:00-14:00

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

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

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 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 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 Systems Research Group Seminar

Validating Degree-Based Topology Generators

UserHamed Haddadi (UCL - currently visiting University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Builiding.

ClockThursday 01 November 2007, 16:30-17:30

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 Automated Reasoning Group Lunches

One-pass Tableaux for Computation Tree Logic

Room changed

UserRajeev Goré (Australian National University).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 07 August 2007, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Next Generation Dynamic Spectrum Networks

UserHeather Zheng, Computer Science Dept, University of California, Santa Barbara.

HouseLecture Theatre 2, Computer Laboratory, William Gates Builiding.

ClockThursday 02 August 2007, 16:30-17:30

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

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

Computer Laboratory Systems Research Group Seminar

Toward Dependency-Agnostic Online Upgrades in Distributed Systems

Please note the unusual time and day

UserTudor Dumitras, Carnegie Mellon University.

HouseLecture Theatre 2, Computer Laboratory, William Gates Builiding.

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

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

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

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

Computer Laboratory Systems Research Group Seminar

Challenges in measuring wireless networks

Note the unusual Time and Venue

UserTristan Henderson, University of St. Andrews.

HouseLecture Theatre 2, Computer Laboratory, William Gates Builiding.

ClockMonday 16 April 2007, 14:00-15:00

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

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

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

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

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

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

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

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

Please see above for contact details for this list.

 

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