Aarhus University Seal

May 30-31 at Aarhus University

The Aarhus Concurrency Workshop

Welcome to the Aarhus Concurrency Workshop on Concurrency Theory and related topics. The event is free of charge and will take place at the Department of Computer Science at Aarhus University on May 30 and 31.

Registration for the event is closed. If you have any questions please contact Sofia Rasmussen.

Accommocation and Transportation

We will book and pay for hotel rooms, for all workshop participants, at hotel The Mayor in the city center from May 29-31. Also, transportation from the hotel to venue will be arranged. Speakers will have their expenses for transportation reimbursed. More information about travel and accommodation under practical information and Transportation.

The workshop will take place at the Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N, Denmark. Find directions to the department here.

Previous workshops

The Aarhus Concurrency Workshop is the latest in a series previously held at University of KentImperial, 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 and Matthew Parkinson.

Event organizers


May 30

9:00 Glynn Winskel on A brief introduction to concurrent strategies 

9:30 Aquinas Hobor on Disjoint Semirings for Fractional Permissions


10:30 Cliff Jones on Limits of expressiveness of Rely/Guarantee notation

10:50 Matt Windsor (and Mike Dodds) on Starling: Modular Lightweight Concurrency Verification

11:10 Johannes Kloos on  Introducing asynchronous concurrency to sequential programs 

11.30 Andrea Cerone on Algebraic Laws for Weak Consistency

11.50 Simon Cooksey on Further Work On Thin Air Reads

12.10 Jean Pichon-Pharabod on Designing a memory model for a programming language

12:30 LUNCH

13.30 Soham Chakraborty on Formalizing the Concurrency Semantics of an LLVM Fragment

14.00 Ori Lahav on Repairing Sequential Consistency in C/C++11

14.30 Christopher Pulte on Multi-copy-atomic ARM concurrency


15.30 Alex Jeffery on Type-safe overloading in the pi-calculus

16.00 Bernardo Toninho On the Expressiveness of Parametricity in Polymorphic Session Types

16.30 Raymond Hu on Distributed Programming using Java APIs Generated from Session Types


May 31

9.00 Álvaro García Pérez on Towards modular verification of consensus protocols (cancelled)

9.30 Jan-Oliver Kaiser on  Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

10.00 Ilya Sergey on A Separation Logic for Modular Verification of Distributed Systems


11:00 Workshop ends - rooms will be available for networking until 14:00

PACKED LUNCH AVAILABLE - Eat at the department or bring with you.