University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
On Facebook

Concurrency, Security, and Puzzles

In honour of Bill Roscoe’s 60th birthday we are organising a two-day symposium, bringing together collaborators, colleagues and friends from around the world to celebrate this event. Bill is one of the world's leading minds in the theory of concurrency and is most notable for developing large portions of the CSP theory, leading the development of the CSP-based verification tool FDR and making major contributions in the field of computer security. This Festschrift aims to celebrate his work with keynote speakers Sir Tony Hoare and Professor Stephen Brookes, and an international selection of speakers of Bill’s past and present collaborators.

Date: 9 and 10 January 2017

Location: Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK.

Please follow the entrance signposts on Keble Road (also, marked as OeRC).


Monday (9th January)

9:30 - 10:00 Greeting/Registration
10:00 - 11:00 Keynote: A discrete geometric model of sequentiality and concurrency
Sir Tony Hoare
Microsoft Research, Cambridge, UK
11:00 - 11:30 Coffee
11:30 - 12:00 Modelling Probabilistic Programming
Jifeng He
East China Normal University, China
12:00 - 12:30 Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
Simon Foster, and Jim Woodcock
University of York, UK
12:30 - 13:30 Lunch
13:30 - 14:00 Discrete random variables over domains, revisited
Michael Mislove
Tulane University, USA
14:00 - 14:30 Analysing Lock-Free Linearizable Datatypes using CSP
Gavin Lowe
University of Oxford, UK
14:30 - 15:00 What Makes Petri Nets Harder to Verify: Stack or Data?
Ranko Lazic, and Patrick Totzke
University of Warwick, UK
15:00 - 15:30 Coffee
15:30 - 16:00 FDR: From theory to industrial application
Thomas Gibson-Robinson, Guy Broadfoot, Gustavo Carvalho, Philippa Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, and Augusto Sampaio
University of Oxford, UK and Universidade Federal de Pernambuco, Brazil
16:00 - 16:30 Stealthy Protocols: Metrics and Open Problems
Olga Chen, Catherine Meadows, and Gautam Trivedi
Naval Research Laboratory, USA
16:30 - 17:00 Selene: Voting with Transparent Verification and Coercion Mitigation
Peter Ryan
University of Luxembourg, Luxembourg
19:00 for 19:45 Celebratory dinner at University College, Oxford
Dress code: smart (jacket and tie).

Tuesday (10th January)

10:00 - 11:00 Keynote: A Denotational Framework for Weak Memory Concurrency
Stephen Brookes
Carnegie Mellon University, USA
11:00 - 11:30 Coffee
11:30 - 12:00 CSP for Business Processes
Jim Davies
University of Oxford and Genomics England, UK
12:00 - 12:30 Virtualisation Based Development of Embedded Software
Jay Yantchev, and Atanas Parashkevov
ASTC and VLAB Works, Australia
12:30 - 13:30 Lunch
13:30 - 14:00 Information Flow, Distributed Systems, and Refinement, by Example
Joshua Guttman
The MITRE Corporation and Worcester Polytechnic Institute, USA
14:00 - 14:30 More Stubborn Set Methods for Process Algebras
Antti Valmari
Tampere University of Technology, Finland
14:30 - 15:00 Abstractions for Transition Systems with Applications to Stubborn Sets
Henri Hansen
Tampere University of Technology, Finland
15:00 - 15:30 Coffee
15:30 - 16:00 A branching time model of CSP
Rob van Glabbeek
University of New South Wales, Australia
16:00 - 16:30 Incorporating time into CSP || B
Steve Schneider
University of Surrey, UK
16:30 - 17:00 A Specification Theory of Real-Time Processes
Chris Chilton, Marta Kwiatkowska, Faron Moller, and Xu Wang
University of Oxford, UK and Swansea University, UK
17:00 - 18:00 Close and Departmental Drinks Reception


Thomas Gibson-Robinson, University of Oxford
Philippa Hopcroft, University of Oxford
Ranko Lazić, University of Warwick


Details of the location of the department can be found at Please note that there is no onsite parking, so please use the Park and Ride, and public transport.

For information on travelling to Oxford, please see


Guests are expected to book their own accomodation. There are many hotels in Oxford, and below are some suggestions. Please get in touch with Jayne Bullock ( if you have any further queries.

University accommodation:


Further Information

If you have any queries, please do not hesitate to contact Thomas Gibson-Robinson ( or Philippa Hopcroft (