Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

TL;DR

The proceedings of PLACES 2026 present recent research on programming languages, models, and verification techniques for concurrency and communication-centric software systems.

Contribution

This volume compiles new ideas and research findings on designing languages, models, and verification methods for concurrent and distributed programming.

Findings

New models for concurrent systems

Innovations in language design for distributed computing

Advances in program verification techniques

Abstract

This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April 11, 2026, as a satellite event of ETAPS, the European Joint Conferences on Theory and Practice of Software. PLACES offers a forum for exchanging new ideas on how to address the challenges of concurrent and distributed programming and how to improve the foundations of modern and future computer applications. PLACES welcomes researchers from various fields, and its topics include the design of new programming languages, models for concurrent and distributed systems, type systems, program verification, and applications in various areas (e.g., microservices, sensor networks, blockchains, event processing, business process management).