Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Kirstin Peters, Lorenzo Gheri

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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
