About
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 |
Restaurants
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.
- Pierre Victoire: Frech restaurant. It has various nice meal deals for lunch and dinner. However, it is not a place for quick lunch.
- Al-Andalus: Nice tapas bar.
- Manos: Greek food. Good place for lunch.
- Taylors (31 St Giles): Quick sandwich place. A lot of people in the CS department usually get sandwich from this place.
- Jamie's Italian: Italian restaurant. It is located in the city center.
- Al-Shami: Lebanese restaurant. A good place to try several mezes.
- Maison Blanc: Lunch place. It serves nice cake.
Accommodation
Oxford colleges often have guest rooms during the summer time. If you are interested, look at here.