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).
Agenda
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 |
Organisers
Thomas Gibson-Robinson, University of Oxford
Philippa Hopcroft, University of Oxford
Ranko Lazić, University of Warwick
Travel
Details of the location of the department can be found at http://www.cs.ox.ac.uk/aboutus/directions.html. 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 https://www.ox.ac.uk/visitors/visiting-oxford/how-get-oxford.
Accomodation
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 (jayne.bullock@cs.ox.ac.uk) if you have any further queries.
University accommodation:
- Rewley House. 1 Wellington Square, Oxford, OX1 2JA. Tel: 01865 270360. From £65.00 per night including breakfast (approx. 10 minute walk to department). res-ctr@conted.ox.ac.uk
- University Club. 11 Mansfield Road, Oxford, OX1 3SZ. Tel: 01865 271044. From £65.00 per night including breakfast (approx. 10 minute walk to department). reception@club.ox.ac.uk
- University Rooms. Rooms in various colleges from £50.00 per night including breakfast. http://www.universityrooms.com/en/city/oxford/home
Hotels:
- Cotswold Lodge Hotel. 66a Banbury Road, Oxford, OX2 6JP. Tel: 01865 512121. From £90.00 per night including breakfast (approx. 15 minute walk to department and on a bus route). enquiries@cotswoldlodgehotel.co.uk
- Linton Lodge. 11-13 Linton Road, OX2 6UJ, Oxford. Tel: 01865 553461. From £95.00 per night including breakfast (approx. 15 minute walk to department and on a bus route). sales@lintonlodge.com
- The Old Parsonage Hotel. 1 Banbury Road, Oxford, OX2 6NN. Tel: 01865 310210. From £180.00 per night including breakfast (approx. 2 minute walk to department). reception@oldparsonage-hotel.co.uk
- Vanbrugh House Hotel. 20-24 St Michael’s Street, Oxford, OX1 2EB. Tel: 01865 244622. From £200.00 per night including breakfast (approx. 15 minute walk to department). info@vanbrughhousehotel.co.uk
Further Information
If you have any queries, please do not hesitate to contact Thomas Gibson-Robinson (thomas.gibson-robinson@cs.ox.ac.uk) or Philippa Hopcroft (philippa.hopcroft@cs.ox.ac.uk).