The Oxford Concurrency Workshop 2012 is the continuation of the series begun by the Concurrency Theory Workshop in London in January 2009, followed by the Northern Concurrency Workshop in Newcastle in November 2009, Cambridge Concurrency Workshop in Cambridge in July 2010, and Dublin Concurrency Workshop in Dublin in April 2011. It is a two-day event aimed at bringing together researchers in the UK and elsewhere working on the theory of concurrency and related areas.

Programme (Tentative)

Monday 9th
13:00 - 15:00 Richard Bornat --- Abducing Memory Barriers for POWER (A socialist scientist's response to justified criticism)
Mark Batty --- Library Abstraction for C/C++ Concurrency
Cliff Jones --- Separation as Abstraction
15:30 - 17:30 Bart Jacobs --- Modular Verification of I/O and Liveness Properties of Multithreaded Programs in VeriFast
Adam Wright --- Structural Separation Logic
Thomas Dinsdale-Young --- TaDA: Towards a Logic for Time and Data Abstraction
Tuesday 10th
10:00 - 12:00 Dan Ghica --- A System-level Semantics
Olle Fredriksson --- Towards Seamless Distributed Computing
Uday Reddy --- State-Action Duality
14:00 - 16:00 Andrew Butterfield or Riccardo Bresciani --- Towards pCSP in UTP
Giovanni Bernardi --- Modelling higher-order session types using contracts
Luca Fossati --- Intensional and Extensional Characterisation of Global Progress in the Pi-Calculus


There will be no organised lunch or dinner. Participants should find restaurants for themselves. Here are some restaurants near the CS department that I enjoyed.


Oxford colleges often have guest rooms during the summer time. If you are interested, look at here.