KCW
Welcome to the Kent Concurrency Workshop on Concurrency Theory and related topics. This event is free of charge and lunch will be provided on the first day.
Please sign up using the Doodle poll. Contact Mark Batty with any questions.
Location
The workshop will take place in Marlowe Lecture Theatre 1 (MarLT1) in the middle of the Canterbury campus, north of the town.
Getting here
It is most convenient to get here by train or by car. The nearest train station is Canterbury West, 1.2 miles from the Marlowe lecture theatre. It is possible to walk to the campus, but there are also taxis available from the station and on campus.
If you intend to travel by car and to park on campus, please get in touch: you will need a parking pass.
For those travelling from further afield, Canterbury has high-speed train links to London (1h), and its many airports, and to Europe through Eurostar (Paris 2h30).
Accommodation
Accommodation is left for participants to arrange. There are rooms to rent at the university, as well as many hotels near the campus, including Acacia Lodge, The Retro, House of Agnes, and The Falstaff. In town, there are rooms to rent at the Cathedral Lodge.
Previous workshops
The Kent Concurrency Workshop is the latest in a series previously held at Imperial, York, Oxford, Trinity College Dublin, Cambridge, Newcastle, and Queen Mary.
Steering committee
The Concurrency Workshop series is brought to you by Mark Batty, Mike Dodds, Philippa Gardner, Cliff Jones, Matthew Parkinson, and John Wickerson.
Schedule
The workshop will take place on the 21st and 22nd of July, with a dinner on the first night. If you have specific dietary requirements, please get in touch.
| Thursday, 21st of July | |
| 11:45–12:00 | Welcome |
| 12:00–13:00 | Buffet lunch |
| 13:00–14:00 | Tyler Sorensen - Imperial - The Design, Implementation and Evaluation of a Portable Inter-Workgroup Barrier for GPUs Daniel Poetzl - Oxford - Thread Refinement in the SC-for-DRF Memory Model Richard Bornat - Middlesex/Queen Mary - New Lace is a weak memory program logic (perhaps) |
| 14:00–14:30 | Break |
| 14:30–16:00 | Thomas Dinsdale-Young - Aarhus - Caper: Automatic Verification with Concurrent Abstract Predicates Matthew Windsor - York - Starling: a small but powerful concurrent prover Peter O'Hearn - UCL/Facebook - Concurrent Separation Logic: Retrospects and Prospects |
| 16:00–16:30 | Break |
| 16:30–17:30 | Shale Xiong - Imperial - Abstract Specifications for Concurrent Maps: resoning about clients and a skiplist implementation Marko Doko - MPI-SWS - Verifying Atomic Reference Counter |
| 19:00 | Dinner at the Cathedral Lodge (please pay for your own drinks) |
| Friday, 22nd of July | |
| 9:30–10:30 | Stephen Brookes - Carnegie Mellon - A Denotational Framework for Weak Memory Concurrency Ori Lahav - MPI-SWS - A Promising Semantics for Relaxed-Memory Concurrency |
| 10:30–11:30 | Break |
| 11:30–12:30 | Artem Khyzha - IMDEA - Proving Linearizability Using Partial Orders Dan Ghica - Birmingham - From operational semantics to game semantics via process calculus Gian Ntzik - Imperial - A Concurrent Specification of POSIX File Systems |
| 12:30 | Lunch: self organised, restraunt suggestions will be announced |