Today’s increasingly parallel landscape of software and hardware infrastructure demands exploration of a wide variety of foundational and practical ideas for the development of programming methodologies.  The International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) offers a platform for researchers from diverse backgrounds to exchange new ideas on concurrent and distributed programming.

Submissions are welcomed in the general area of programming language approaches to concurrency, communication, and distribution and may range from foundational issues, language implementations, to applications and case studies.  Submissions will be peer-reviewed by a minimum of three reviewers, with the aim of allocating at least one expert reviewer.  Submissions will be assessed based on their novelty, clarity, technical soundness and their potential to foster fruitful discussions at the workshop. Submissions must not be submitted for publication elsewhere and must be formatted in EPTCS format, containing a maximum of 8 pages (with no restriction on bibliography or appendices, which the reviewers need not read). Accepted papers will be published as an issue of EPTCS.

Topics

Relevant topics include, but are not limited to:

• Design and implementation of programming languages with first class concurrency and communication
• Models, such as process algebra and automata
• Behavioural types, including session types
• Concurrent data types, objects, and actors
• Verification and program analysis methods for concurrent and distributed software
• Memory models for concurrent programming on relaxed-memory architectures
• Interface and contract languages for communication and distribution
• Applications in web services, sensor networks, scientific computing, HPC, and blockchains
• Concurrency and communication in event processing and business process management

Important dates

•  Submission deadline: 24 January 2020 2 February 2020, AOE
• Author notification: 28 February 2020, AOE
• Camera ready: 13 March 2020, AOE
• Workshop: 26 April 2020 CANCELLED
• ETAPS: 25-30 April 2020 CANCELLED

Submission

The deadline for submissions is over.

Special issue

Authors of PLACES 2020 papers are invited to submit an extended version of their work to a special issue of JLAMP dedicated to the topics of the workshop. The call is open to anyone.