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