The York Concurrency Workshop 2014 was a two-day event aimed at bringing together researchers in the UK and elsewhere working on the theory of concurrency and related areas. This workshop was the next iteration in the Newcastle, London, Cambridge, Dublin and Oxford series. The list of participants is here.

A sequel workshop will take place at Imperial College on 15-16 July 2015.


28th April
12.00 - 13.00. Buffet lunch.
13.00 - 14.00. Towards a formalisation of the OpenCL memory model (Mark Batty, Cambridge) [slides]
Tools for exploring and understanding memory models (John Wickerson, Imperial) [slides]
Testing GPU memory models (Daniel Poetzl, Oxford) [slides]
14.00 - 14.30. Break.
14.30 - 16.00. Temporal Reasoning in Lace Logic (Richard Bornat)
TaDA: A Logic for Time and Data Abstraction (Pedro Da rocha Pinto, Imperial) [slides]
CoLoSL: Concurrent Local Subjective Logic (Azalea Raad, Imperial) [slides]
16.00 - 16.30. Break.
16.30 - 17.30. Parameterised Linearisability (Andrea Cerone, IMDEA) [slides]
Separation as Abstraction (Nisansala Yatapanage, Newcastle) [slides]
29th April
9.30 - 10.30. Concurrency Testing Using Schedule Bounding: an Empirical Study (Paul Thomson, Imperial) [slides]
A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums (Alastair Donaldson, Imperial) [slides]
10.30 - 11.00. Break.
11.00 - 12.30. Fast Concurrent Data-Structures Through Explicit Timestamping (Andreas Haas, Salzburg) [slides]
Reasoning about Eventual Consistency and Replicated Data Types (Alexey Gotsman, IMDEA) [slides]
Angelic CSP (Pedro Ribeiro, York) [slides]
12.30 - 13.30. Buffet lunch.