OCaml Labs Events

Compiler Hacking

Please indicate interest via the Doodle poll

OCaml Labs.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 29 April 2014, 18:00-21:00

Logic and Semantics Seminar (Computer Laboratory)

Halo: From Haskell to Logic through Denotational Semantics

Dimitrios Vytiniotis, MSR Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 November 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Abstraction and Invariance for Algebraically Indexed Types

Andrew Kennedy, Microsoft Research Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Friday 09 November 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Safe Recursive Set Functions

Arnold Beckmann, Swansea University.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

MELL in a free compact closure

Etienne Duchesne, LIPN, Université Paris 13.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Rasmus Møgelberg, IT University, Copenhagen.

Room FW11, Computer Laboratory, William Gates Building.

Friday 13 April 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Expressiveness of real-time temporal logics

Paul Hunter, University of Oxford.

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 March 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics

Stanislav Kikot, University of London Birkbeck College.

Room FW11, Computer Laboratory, William Gates Building.

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

de239's list

CANCELLED: Do a Billion Documents Change the First World War?

Shelley Hulan, Associate Professor, Department of English, University of Waterloo.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 21 February 2012, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism

Elitza Maneva, Universitat de Barcelona (UB).

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Layered Fixed Point Logic

Piotr Filipiuk, Technical University of Denmark (DTU).

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Algebra unifies Calculi of programming

Tony Hoare (Microsoft Research).

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Nash Equilibrium, Bekic's Lemma and Bar Recursion

Paulo Oliva - Queen Mary, University of London.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Almost always blue trees and bar induction

Tarmo Uustalu, Tallinn University of Technology.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Parameterized Complexity of some Problems in Concurrency and Verification

Praveen Manjunatha, The Institute of Mathematical Sciences, Chennai.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Parallel Assertions for Debugging Parallel Programs

Daniel Schwartz-Narbonne, Princeton University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 July 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight Monadic Programming in ML

Michael Hicks, University of Maryland.

Room FW11, Computer Laboratory, William Gates Building.

Friday 01 July 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Complexity of #CSP

David Richerby, University of Liverpool.

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 May 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Isomorphisms of types in the presence of higher-order references

Pierre Clairambault, University of Bath.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Domination When the Stars Are Out – An algorithmization of Chudnovsky’s and Seymour’s Structure Theorem for Claw-Free Graphs

Matthias Mnich, International Computer Science Institute, Berkeley.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 April 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bisimulation and Model-Checking for Partial Order Models of Concurrency

Julian Gutierrez, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Approximating Labelled Markov Processes by Averaging

Prakash Panangaden, McGill University.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Kleisli Arrows of Outrageous Fortune

Conor McBride, University of Strathclyde.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Selection functions everywhere

Martín Escardó, University of Birmingham.

Room FW11, Computer Laboratory, William Gates Building.

Friday 28 January 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Reasoning for Deterministic Parallelism

Mike Dodds, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation

Jerome Feret, ENS, Paris.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express

Note the unusual time (13:00)

Peter Boehm, Oxford University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 29 October 2010, 13:00-14:00

sps32's list

Side-Channel Attack Resistant ROM-Based AES S-Box

Ken Mai, Carnegie-Mellon University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 30 July 2010, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Scalars & probabilities, monads & categories

Bart Jacobs, Radboud University Nijmegen, The Netherlands.

Room FW11, Computer Laboratory, William Gates Building.

Friday 21 May 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Algebraic Theories over Nominal Sets

Alexander Kurz (University of Leicester).

Room FW11, Computer Laboratory, William Gates Building.

Friday 14 May 2010, 14:00-15:00

Computer Laboratory Opera Group Seminars

Vital Responder - Monitoring Stress among First Responder Professionals

Miguel Coimbra.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 11 May 2010, 14:30-15:30

Computer Laboratory Opera Group Seminars

Model Driven Development in the Cloud

Gautam Shroff, VP R&D, TCS Innovation Lab, Delh.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 04 May 2010, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Declassification Policy Inference

Jeff Vaughan (Harvard University).

Room FW11, Computer Laboratory, William Gates Building.

Friday 16 April 2010, 14:00-15:00

Computer Laboratory Opera Group Seminars

Distributed Decentralised Event Flow Control

David Evans (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 23 March 2010, 14:30-15:30

Computer Laboratory Opera Group Seminars

Statistical modelling and analysis of transport traffic data in the TIME project

Andrei Bejan (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 09 March 2010, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors

Alastair Donaldson (University of Oxford).

Room FW11, Computer Laboratory, William Gates Building.

Friday 15 January 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.

Eva Navarro López, School of Computer Science, Manchester..

Room FW11, Computer Laboratory, William Gates Building.

Friday 04 December 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Microcosm Principle and Coalgebraic Modeling of Component Calculi

Ichiro Hasuo, Kyoto.

Room FW11, Computer Laboratory, William Gates Building.

Friday 27 November 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

Body Sensor Networks: Can we use them? - Architecture proposal for resource abstraction

Pedro Brandao (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 November 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

The Elephant in the Room: Health Information System Security and the User-Level Environment

Juanita Fernando (Monash University).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 10 November 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

Anonymity properties of stored or transmitted data taken from Bluetooth scans

David Evans (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 03 November 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

A Theory of Indirection via Approximation

Aquinas Hobor.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 27 October 2009, 15:00-16:00

Computer Laboratory Opera Group Seminars

Round table discussion with Orval Wilbur

Orval Wilbur.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 20 October 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

Research opportunities and problems in scalable social networking analysis

Rob Warren (University of Zurich).

Room FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Round Table

Speaker to be confirmed.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 06 October 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

A Canonical Local Representation of Binding

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

Room FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Distributed Message Passing

Ben Roberts (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 16 June 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Explicit Stabilisation for Rely-Guarantee reasoning

John Wickerson (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Friday 05 June 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Inductive-recursive definitions

Anton Setzer (University of Swansea).

Room FW11, Computer Laboratory, William Gates Building.

Friday 29 May 2009, 14:00-15:00

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.

Jaroslav Sevcik (visiting from Edinburgh).

Room FW11, Computer Laboratory, William Gates Building.

Wednesday 27 May 2009, 11:00-12:00

Computer Laboratory Opera Group Seminars

Delta Transport Management

Tim Hayes (IT-Map).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 19 May 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Focalisation and Classical Realisability

Guillaume Munch, Paris 7.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 May 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

Distributed Event Routing in Publish/Subscribe Systems

Roberto Baldoni (Sapienza Universita di Roma).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 05 May 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

Norms, action ... - Talk Cancelled

Marek Sergot (Imperial College London).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 28 April 2009, 14:30-15:30

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.

Venanzio Capretta (University of Nottingham).

Room FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Event Processing – the next generation

Opher Etzion (IBM Haifa Research Lab).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 March 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Structurally Recursive Descent Parsing

Nils Anders Danielsson (University of Nottingham).

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 March 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Deciding Boolean BI (via Display Logic)

James Brotherston, Imperial College London.

Room FW11, Computer Laboratory, William Gates Building.

Friday 06 March 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

Vehicular Sensing

Michel Ferreira (University of Porto).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 03 March 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

DTrace and Instrumenting Message-Oriented Middleware

David Evans (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 February 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

A game for a neutral approach to provability in MALL

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

Room FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Inference and optimal design for percolation and random graph models

Andrei Bejan (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 17 February 2009, 14:30-15:30

Computer Laboratory Opera Group Seminars

Beyond Weiser’s Vision of Ubiquitous Computing

Stefan Poslad (Queen Mary Univ.London).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 10 February 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Equideductive logic and CCCs with subspaces

NOTE UNUSUAL DAY.

Paul Taylor.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 05 February 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

An overview of the Smart Flow project

David Eyers (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 03 February 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Nondeterminism: many questions and (maybe) some answers

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

Room FW11, Computer Laboratory, William Gates Building.

Friday 30 January 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Dynamics, robustness and fragility of trust

NOTE THE UNUSUAL TIME

Dusko Pavlovic.

Room FW11, Computer Laboratory, William Gates Building.

Friday 28 November 2008, 14:45-15:45

Computer Laboratory Opera Group Seminars

Deontic logic for modelling data flow and use compliance

David Evans (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 25 November 2008, 14:30-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polynomial functors

Nicola Gambino.

Room FW11, Computer Laboratory, William Gates Building.

Friday 21 November 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

SBUS Tutorial

David Ingram ( Computer Laboratory, University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 18 November 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Reading Group - Sinfonia: a new paradigm for building scalable distributed systems

Sriram Srinivasan (Computer Laboratory, Univ. of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 11 November 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lars Birkedal, ITU Denmark.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 06 November 2008, 15:30-16:30

Computer Laboratory Opera Group Seminars

SpaTeC: Spatio-Temporal Reasoning with Composite Events in Mobile Systems

Dr Scarlet Schwiderski-Grosche (Royal Holloway, UoL).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 04 November 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

SpaTeC: Spatio-Temporal Reasoning ***POSTPONED***

Dr Scarlet Schwiderski-Grosche (Royal Holloway, UoL).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 28 October 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Classical BI (A Logic for Reasoning About Dualising Resource)

James Brotherston, Imperial College.

Room FW11, Computer Laboratory, William Gates Building.

Friday 10 October 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Round Table - Start of Year

Speaker to be confirmed.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 07 October 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach

Peter Dybjer.

Room FW11, Computer Laboratory, William Gates Building.

Friday 27 June 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Five Lessons From My PhD

Andy Twigg (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 June 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Peer-to-Peer File Systems Challenges

Julien Quintard (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 17 June 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Event structure semantics of the pi-calculus

Daniele Varacca, Paris 7.

Room FW11, Computer Laboratory, William Gates Building.

Friday 06 June 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Privacy-preserving datagram delivery for ubiquitous systems

David Evans (Computer Laboratory).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 20 May 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Extensional rewriting with sums

Sam Lindley, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

Friday 16 May 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Eriskay: a programming language based on game semantics.

John Longley, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

Friday 09 May 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Explorations in the Grid Computing Jungle

François Taiani (Lancaster University).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 06 May 2008, 15:45-16:45

Logic and Semantics Seminar (Computer Laboratory)

Verification Based on Algebra and Automated Deduction

Georg Struth, Sheffield University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 02 May 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Systems support for deployed Ubiquitous Computing

Adrian Friday (Lancaster University).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 29 April 2008, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

A language extension for provably safe exception handling

Bart Jacobs (Katholieke Universiteit Leuven).

Room FW11, Computer Laboratory, William Gates Building.

Friday 18 April 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Keep Off The Grass: Locking the Right Path for Atomicity

David Cunningham (Imperial College).

Room FW11, Computer Laboratory, William Gates Building.

Friday 07 March 2008, 14:00-15:00

Computer Laboratory Opera Group Seminars

Reduced plug-in rules for learning

Frederic Desobry (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 04 March 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Active privilege management using publish/subscribe

Dave Eyers, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 26 February 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Case studies of MS SQL Server tools

András Belokosztolszki, Red Gate Software.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 19 February 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Get It Done! On Developing a Workload Model for Event-Based Middleware

Lavr Burin, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 12 February 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

The Open Microscopy Environment Analysis System: Workflow Composition and Enactment for Quantitative Pattern Analysis of Large Microscopy Datasets

Tom Macura, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 05 February 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Cobra - Building an Internet-Scale Publish/Subscribe System

Peter Pietzuch, Imperial College London.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 29 January 2008, 14:30-15:30

Computer Laboratory Security Seminar

Exploiting Online Games

Note unusual time and room

Gary McGraw, CTO, Cigital.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 29 January 2008, 10:30-11:30

Logic and Semantics Seminar (Computer Laboratory)

On Scalable Shape Analysis

Hongseok Yang (Queen Mary, University of London).

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

A completeness proof for bisimulation in the pi-calculus using Isabelle

Note the unusual day.

Jesper Bengtson, Uppsala University.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 17 January 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logics for Coalgebras

Alexander Kurz, University of Leicester.

Room FW11, Computer Laboratory, William Gates Building.

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

Logic and Semantics Seminar (Computer Laboratory)

Category Theory and the Philosophy of Language

Graham White (Queen Mary).

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 November 2007, 14:00-15:00

Computer Laboratory Opera Group Seminars

Making system composition flexible, automatic, safe, practical (but not necessarily all at the same time)

Stephen Kell (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 20 November 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Context-dependent event detection in mobile wireless networks

Scarlet Schwiderski-Grosche, Information Security Group, Royal Holloway, University of London.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 06 November 2007, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Model theoretic tools for deciding boundedness of fixed points

Martin Otto, Darmstadt.

Room FW11, Computer Laboratory, William Gates Building.

Friday 02 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logical Reasoning for Higher-Order Functions with Local State

Nobuko Yoshida (Imperial College).

Room FW11, Computer Laboratory, William Gates Building.

Friday 26 October 2007, 14:00-15:00

Computer Laboratory Opera Group Seminars

SPECjms2007 - A Novel Benchmark and Performance Analysis Framework for Message-Oriented Middleware

Samuel Kounev, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 16 October 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Opera Group Roundtable Meeting

Minor Gordon, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 02 October 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Inter-domain communication in home healthcare environments

Jat Singh, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 12 June 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Computational specification for temporal abstraction in music

Alejandro Vinao, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 22 May 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Alertme.com - implementing wireless home security 2.0

Amyas Phillips, Alertme.com.

Room FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Hello my name is... Have you seen my sensors?

Pedro Brandao, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 08 May 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

From Graspable Interfaces and Computer Games to Mobile phones and Sensors: My research past and present

Eiman Kanjo, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 01 May 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Opera Group Internal Meeting

Jean Bacon, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 April 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

An Approach to Performance Modeling and Analysis of Distributed Event-Based Systems

Samuel Kounev, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 13 March 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Wired Geometric Routing

Peter Pietzuch, Imperial College London.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 06 March 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Complex Event Processing for Heterogeneous Sensor Networks

Dan O'Keeffe, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 20 February 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Network Architecture Research Considerations Or The Internet Conspiracy

Jon Crowcroft, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 30 January 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Why Scheduling

Minor Gordon, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 23 January 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Pervasive Messaging and Location-aware applications

Andy Stanford-Clark, IBM Hursley.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 16 January 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Introductory talk: on my past, current and forthcoming research activities

Lavr Burin, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 12 December 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Context-derived Pseudonyms for Protection of Privacy in Transport Middleware and Applications

David Evans (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 05 December 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Building distributed financial trading systems (Part 2)

James Belsey, Morgan Stanley.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 28 November 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

A framework for extensible event-based middleware

David Eyers, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 21 November 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Building distributed financial trading systems (Part 1)

Oli Bage, Morgan Stanley.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 07 November 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Developing event-based middleware for sensor-based applications

Ken Moody, Computer Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 24 October 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Low-latency Atomic Broadcast in the Presence of Contention

Piotr Zieliński, Cavendish Laboratory, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 17 October 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

Planning meeting

Speaker to be confirmed.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 03 October 2006, 14:30-15:30

Computer Laboratory Security Seminar

Network Security Monitoring

Richard Bejtlich, TaoSecurity.

Room FW11, Computer Laboratory, William Gates Building.

Friday 19 May 2006, 16:00-17:00