Multiparty session types and their application in large distributed systems

Raymond Hu and Nobuko Yoshida, Imperial College.

Room FW26, Computer Laboratory, William Gates Building.

Friday 17 May 2013, 16:00-17:00

Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >

Nathan Chong, Imperial College, London.

Room FW26, Computer Laboratory, William Gates Building.

Friday 03 May 2013, 16:00-17:00

Semigroups with low difficulty word problem

Markus Pfeiffer, St Andrew's.

Room FW26, Computer Laboratory, William Gates Building.

Friday 26 April 2013, 16:00-17:00

Malware Analysis with Tree Automata Inference

Domagoj Babic.

Room FW26, Computer Laboratory, William Gates Building.

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

Cyclic Abduction of Inductive Termination Preconditions

James Brotherston, University College London.

Room TBC. Microsoft Research, Station Road.

Friday 01 March 2013, 16:00-17:00

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

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

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

Abhisekh Sankaran, IIT Bombay.

Room GC22, Computer Laboratory, William Gates Building.

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

Bounds on proof size and distributive encryption

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

R. Ramanujam, Institute of Mathematical Sciences, Chennai.

Room FW26, Computer Laboratory, William Gates Building.

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

Safe Recursive Set Functions

Arnold Beckmann, Swansea University.

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

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

Algebra unifies Calculi of programming

Tony Hoare (Microsoft Research).

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

The Complexity of #CSP

David Richerby, University of Liverpool.

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

Selection functions everywhere

Martín Escardó, University of Birmingham.

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

Towards Automatic Resource Consumption Certification

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

Marco Gaboardi, University of Bologna.

Room SS03, Computer Laboratory, William Gates Building.

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

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

Characterizations of the Expressive Power of Logics over Trees

Luc Segoufin (INRIA and ENS, Cachan).

Room FW26, Computer Laboratory, William Gates Building.

Thursday 09 September 2010, 15:00-16:00

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 3)

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

Computer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 2)

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

Computer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 1)

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

Computer Laboratory, Room FW11.

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

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

Category Theory Seminar

The Scott model of Linear Logic is the extensional collapse of its relational model

Thomas Ehrhard, Université Paris Diderot.

MR4, Centre for Mathematical Sciences.

Thursday 20 May 2010, 10:00-11:00

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 Wednesday Seminars

From Separation Logic to Systems Code

Peter O'Hearn - Queen Mary University of London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 April 2010, 14:15-15:15

Declassification Policy Inference

Jeff Vaughan (Harvard University).

Room FW11, Computer Laboratory, William Gates Building.

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

Undecidability of propositional separation logic and its neighbours

James Brotherston, Imperial College London.

Room FW26, Computer Laboratory, William Gates Building.

Friday 12 March 2010, 14:00-15:00

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

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

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 Wednesday Seminars

Serializability Enforcement for Concurrent ML

Suresh Jagannathan - Purdue University, USA.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 November 2009, 14:15-15:15

A Theory of Indirection via Approximation

Aquinas Hobor.

Room FW11, Computer Laboratory, William Gates Building.

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

NO LOGIC AND SEMANTICS SEMINAR TODAY

FW11 FW26 not available today

Speaker to be confirmed.

FW11 FW26 not available today.

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

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

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

Inductive-recursive definitions

Anton Setzer (University of Swansea).

Room FW11, Computer Laboratory, William Gates Building.

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

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

Focalisation and Classical Realisability

Guillaume Munch, Paris 7.

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 2)

This is the second part of a two-part series

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

Room FW26, Computer Laboratory, William Gates Building.

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

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.

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

Room FW26, Computer Laboratory, William Gates Building.

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

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

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

Polynomial functors

Nicola Gambino.

Room FW11, Computer Laboratory, William Gates Building.

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

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

NO LOGIC AND SEMANTICS SEMINAR TODAY

.

Venue to be confirmed.

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

Computer Laboratory Wednesday Seminars

Practical Dynamic Software Updating for C

Michael Hicks - University of Maryland.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 October 2008, 14:15-15:15

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

Nominal terms and one-and-a-half level Curry-Howard

Jamie Gabbay.

Room FW26, Computer Laboratory, William Gates Building.

Friday 26 September 2008, 14:00-15:00

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

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

Extensional rewriting with sums

Sam Lindley, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

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

Logics for Coalgebras

Alexander Kurz, University of Leicester.

Room FW11, Computer Laboratory, William Gates Building.

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

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

Separation Logic Semantics for Communicating Processes

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

FW11.

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

Pointer Safety and Graph Grammars

Mike Dodds (York).

Room FW26, Computer Laboratory, William Gates Building.

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

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

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

The Java Memory Model - the Good, the Bad and the Ugly

Jaroslav Sevcik.

FW11.

Friday 13 July 2007, 14:00-15:00

A unified model of class invariant verification frameworks

Sophia Drossopoulou (Imperial College).

FW11.

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

Cyclic Proofs of Program Termination in Separation Logic

James Brotherston, Imperial College.

FW11.

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

Valiant's theory

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

FW11.

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

An Executable Model of the JVM in Coq

Robert Atkey, LFCS, Edinburgh.

FW11.

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

Infinite-State System Verification via Tree Automata

Wolfgang Thomas, RWTH Aachen.

FW11.

Friday 11 May 2007, 14:00-15:00

When While is a Security Risk

Pasquale Malacaria, Queen Mary, University of London.

FW11.

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

Relational parametricity for computational effects.

Rasmus Møgelberg, Edinburgh.

FW11.

Friday 16 March 2007, 14:00-15:00

Stone duality for bitopological spaces

Achim Jung, University of Birmingham.

FW11.

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

Verification Across Intellectual Property Boundaries

Helmut Veith, Technische Universität München.

FW11.

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

A Logic of Reachable Patterns in Linked Data-Structures

Greta Yorsh (Tel Aviv University).

FW11.

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

Verifying Object-Invariants in Spec#

Wolfram Schulte (Microsoft Research Redmond).

FW11.

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

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

Uday Reddy, University of Birmingham.

FW11.

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

A logical approach to data provenance.

James Cheney, Informatics, University of Edinburgh.

FW11.

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

Bialgebras and modal logic

Bartek Klin, University of Edinburgh.

FW11.

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

Reasoning about Code Pointers (Separation Logic for Higher-Order Store)

Bernhard Reus, University of Sussex.

FW11.

Friday 03 November 2006, 14:00-15:00

A structural proof of the soundness of rely/guarantee rules

Cliff Jones, Newcastle University.

FW11.

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

Logical equivalence for subtyping object and recursive types.

Steffen van Bakel.

FW11.

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

Collection and Contra-collection in Mathematics

Paulo Oliva, Queen Mary, University of London.

FW11.

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