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

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).