Description

The Dublin Concurrency Workshop 2011 is a two-day event aimed at bringing together researchers working on the theory of concurrency and related areas. It is the fourth in a series of workshops, preceded by: UPDATE: The next concurrency workshop is the Oxford Concurrency Workshop 2012

Programme

Thursday, April 14th

11:00 - 11:30 Welcome, coffee/tea (Lloyd common room on the ground floor)
11:30 - 13:00 Glynn Winskel (University of Cambridge): Concurrent strategies [abstract] [slides]
Edsko de Vries (Trinity College Dublin): Safety and Liveness of Communicating Transactions [abstract] [slides] [paper]
Mike Dodds (University of Cambridge): Generic Reasoning for Bespoke Concurrency [abstract] [slides] [paper]
13:00 - 14:00 Lunch (Lloyd common room)
14:00 - 15:30 Adrian Francalanza (University of Malta): Reasoning about Explicit Resource Management [abstract] [slides]
Romain Demangeon (Queen Mary): Subtyping in a linear-affine pi-calculus [abstract] [slides]
Uday Reddy (University of Birmingham): Syntactic Control of Interference for Concurrent Separation Logic Constructs [abstract] [slides] [paper]
15:30 - 16:00 Coffee/tea (Lloyd common room)
16:00 - 17:30 Akbar Hussain (Queen Mary): On Separation, Session Types and Algebra [abstract] [slides] [paper]
Laura Bocchi (University of Leicester): Design by Contract for multiparty distributed interactions: static and dynamic validation [abstract] [slides]
Peter Sewell (University of Cambridge): Shared-memory concurrency: multiprocessors, languages, and compilation [abstract] [slides]
18:30 - Dinner at Tante Zoes (map)

Friday, April 15th

9:00 - 9:30 Coffee/tea (Lloyd common room)
9:30 - 11:00 Gerhard Schellhorn (University of Augsburg): Verification of Lock-Free Algorithms with RGITL [abstract] [slides]
John Wickerson (University of Cambridge): "Ribbon Proofs" for Separation Logic [abstract] [slides]
Alexander J. Summers (ETH Zurich): Fractional Permissions without the Fractions [abstract] [pdf slides] [pptx slides]
11:00 - 11:30 Coffee/tea (Lloyd common room)
11:30 - 13:00 Adrien Piérard (Tohoku University): Sound Bisimulations for Higher-Order Distributed Process Calculus [abstract] [slides]
Damien Pous (CNRS): Axiomatisations of bisimilarity in absence of sum. [abstract] [slides]
Jules Villard (Queen Mary): Tracking Heaps that Hop with Heap-Hop [abstract] [slides] [website]
13:00 - 14:30 Lunch
14:30 - 16:00 Pierre-Malo Denielou (Imperial College London): Dynamic Multirole Session Types [abstract] [slides]
Gareth Smith (Imperial College London): Local Reasoning for JavaScript [abstract] [slides]
Andrew Butterfield (Trinity College Dublin): Concurrency and State in UTP - Choice as Parallelism [abstract] [slides]

Travel

To/from the Airport

You can take a taxi (~30€), the Aircoach bus, or the 747 - 748 local buses. Aircoach bus stops in the city center can be found on the map. The map also shows how to reach the Lloyd institute from the two nearest bus stops and from the Pearse street entrance (in case you arrive by taxi).

Accommodation

You can book a room at any hotel in Dublin city center via the standard booking websites, such as booking.com, hotels.com, or kayak.com. Some hotels around Trinity College are marked on the map.

Organizers

Edsko de Vries
Matthew Hennessy
Vasileios Koutavas