PLACES 2020: 12th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Country: Ireland

City: Dublin

Abstr. due: 24.01.2020

Dates: 26.04.20 — 26.04.20

Area Of Sciences: Technical sciences;

Organizing comittee e-mail: luca.padovani@unito.it.

Organizers: PLACES Committee

List of 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