Skip to main content Link Search Menu Expand Document (external link)
PLACES 2024

CfP: PLACES 2024 Special Issue of JLAMP

Following the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2024), it is our pleasure to announce a call for publishing related work in the upcoming Special Issue of Journal of Logical and Algebraic Methods in Programming (JLAMP).

Guest Editors

For any queries, please contact Diana Costa and Raymond Hu.

Important Dates

  • Manuscript submission deadline: 15th October 31st October, 2025
  • Author notification: 15th December, 2025
  • Revised manuscripts due: 30th January, 2026
  • Publication by: 15th February, 2026

Submission Instructions

Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 20 pages, are invited through the following website:

  • Authors should choose ‘VSI:PLACES 2024’ under the article type drop down so that their paper gets submitted to our Special Issue.

Topics

Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies.

Relevant topics include, but are not limited to:

  • Design and implementation of programming languages with first class concurrency and communication primitives
  • Models for concurrent and distributed systems, such as process algebra and automata, and their mechanisation in proof assistants
  • Behavioural types, including session types
  • Concurrent data types, objects and actors
  • Verification and program analysis methods for safe and secure concurrent and distributed software
  • Interface and contract languages for communication and distribution
  • Applications to microservices, sensor networks, scientific computing, HPC, blockchains, robotics
  • Concurrency and communication in event processing and business process management