Session 1: 9.00 - 11.00

9.00   From Lock Freedom to Progress Using Session Types    Luca Padovani (University of Torino, Italy)

9.30   Session Types for Dynamically Evolvable Communicating Systems     Cinzia Di Giusto (INRIA, France) and Jorge A. Pérez (New University of Lisbon, Portugal)

10.00   Session Types in Abelian Logic     Yoichi Hirai (University of Tokyo, Japan)

10.30   Embedding Session Types in HML     Romain Demangeon (Queen Mary, University of London, UK) and Laura Bocchi (University of Leicester, UK)

Break: 11.00 - 11.30

Session 2: 11.30 - 12.30

11.30   Coinductive big-step semantics for concurrency     Tarmo Uustalu (Tallinn University of Technology, Estonia)

12.00   A Parallel Task Composition Approach to Manycore Programming     Ashkan Tousimojarad (University of Glasgow, UK)

Lunch: 12.30 - 14.00

Session 3: 14.00 - 15.30

14.00   Invited Talk: Parallelism turned the other way around - From Hardware to Software     Stefan Möhl (Mitrionics AB)

15.00   Session Types Go Dynamic or How to Verify Your Python Conversations     Rumyana Neykova (Imperial College London, UK)

Break: 15.30 - 16.00

Session 4: 16.00 - 17.30

16.00   Towards deductive verification of MPI programs against session types     Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos (University of Lisbon, Portugal), Nicholas Ng (Imperial College London, UK) and Nuno Dias Martins
(University of Lisbon, Portugal)

16.30   Verification of Transactions in STM Haskell using Contracts and Program Transformation     Romain Demeyer and Wim Vanhoof (University of Namur, Belgium)

17.00   Minimising virtual machine support for concurrency     Simon Dobson, Alan Dearle and Barry Porter (University of St-Andrews, UK)