12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software

Workshop affiliated with ETAPS 2020

ETAPS logo
26 April 2020, Dublin, Ireland


 Proceedings available here.

The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) is dedicated to work in this area. The workshop offers a forum for researchers from different fields to exchange new ideas about these challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. The topic is central and combines well with the main conferences of ETAPS, in particular with ESOP. PLACES has been a satellite workshop of ETAPS since 2009, and is now well established as an ETAPS event. It is usually one of the larger ETAPS workshops in terms of attendance.

PLACES has had 11 previous iterations, most of which co-located with ETAPS; this will be the twelfth edition.

Accepted papers and presentations

  • Bas van den Heuvel and Jorge A. Pérez, Session Type Systems based on Linear Logic: Classical versus Intuitionistic (paper)
  • Ole Lehrmann Madsen, Using Coroutines for Multi-Core Preemptive Scheduling (presentation)
  • Anson Miu, Francisco Ferreira, Nobuko Yoshida and Fangyi Zhou, Generating Interactive WebSocket Applications in TypeScript (paper)
  • Nicolas Lagaillardie, Nobuko Yoshida and Rumyana Neykova, Implementing Multiparty Session Types (presentation)
  • Simon J. Gay, Peter Thiemann and Vasco T. Vasconcelos, Duality of Session Types: The Final Cut (paper)
  • Lucius Meredith and Mike Stay, Name-free combinators for concurrency (presentation)
  • Nicolas Dilley and Julien Lange, Bounded verification of message-passing concurrency in Go using Promela and Spin (paper)
  • Filipe Casal, Andreia Mordido and Vasco T. Vasconcelos, Mixed Sessions: the Other Side of the Tape (paper)
  • Shunsuke Kimura and Keigo Imai, Fluent Session Programming in C# (paper)

co-located with ETAPS