Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Farzaneh Derakhshan (Illinois Institute of Technology), Jan Hoffmann (Carnegie Mellon University)

TL;DR
PLACES 2025 is a workshop focusing on innovative programming language approaches for concurrency and communication in modern distributed systems, fostering research exchange on foundational and practical challenges.
Contribution
The workshop provides a platform for presenting new ideas and research on programming languages, models, and verification techniques for concurrent and distributed software systems.
Findings
New language models for concurrency
Advances in program verification methods
Innovative applications in microservices and blockchain
Abstract
This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May 4, 2025, 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.
