The successor to this workshop will be the Dublin Concurrency Workshop, to be held on the 14-15 April 2011. We look forward to seeing you there.


The Cambridge Concurrency Workshop 2010 was the third workshop in the series begun by the Concurrency Theory Workshop in London in January 2009, and the Northern Concurrency Workshop in Newcastle in November 2009. It was a two-day event aimed at bringing together researchers in the UK and elsewhere working on the theory of concurrency and related areas.

Thanks to all participants for making the workshop a success!


Monday 5th
13:00 - 15:00 Edsko de Vries - Uniqueness Typing for Resource Management [slides]
Vasileios Koutavas - Communicating Transactions [slides] [paper 1] [paper 2]
Kohei Honda - A Theory of Design-by-Contract for Distributed Multiparty Interactions
15:30 - 17:30 Mark Wheelhouse - Concurrency at the Abstract Level [slides]
Joey Coleman - Rely/Guarantee and Temporal Logic [slides]
Carsten Varming - Auxiliary variables and general specifications [slides]
Tuesday 6th
10:00 - 12:00 Stephen Brookes - Fairness, Resources, and Separation [slides]
Noam Rinetzky - Verifying Linearizability with Hindsight [slides] [paper]
Uday Reddy - Proving the concurrent garbage collector
13:00 - 15:00 Ben Moszkowski - Benefits of Interval Temporal Logic for Specification of Concurrent Systems [slides]
Aaron Turon - A separation logic for refining concurrent objects [slides] [paper]
John Wickerson - Data flow [slides]