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.
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.
9:00 Glynn Winskel on A brief introduction to concurrent strategies
9:30 Aquinas Hobor on Disjoint Semirings for Fractional Permissions
10:00 COFFEE BREAK
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
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:00 COFFEE & CAKE
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
19:00 DINNER AT HÆRVÆRK
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
10:30 COFFEE BREAK
11:00 Workshop ends - rooms will be available for networking until 14:00
PACKED LUNCH AVAILABLE - Eat at the department or bring with you.