PLACES 2020: 12th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Dublin, Ireland, April 26, 2020 |
Conference website | http://places20.by.di.fc.ul.pt |
Submission link | https://easychair.org/conferences/?conf=places2020 |
Submission deadline | February 2, 2020 |
For over a decade, PLACES has been a popular forum for researchers from different fields to exchange new ideas about challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern.
Submission Guidelines
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, and technical soundness. 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.
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
Committees
Chairs
- Stephanie Balzer, Carnegie Mellon University
- Luca Padovani, Università di Torino
Program Committee
- Jonathan Aldrich, Carnegie Mellon University
- Massimo Bartoletti, Università di Cagliari
- Ilaria Castellani, INRIA Sophia Antipolis Méditerranée
- Silvia Crafa, Università di Padova
- Cinzia Di Giusto, Université Nice Sophia Antipolis
- Hannah Gommerstadt, Vassar College
- Bart Jacobs, KU Leuven
- Wen Kokke, University of Edinburgh
- Hernán Melgratti, Universidad de Buenos Aires
- Andreia Mordido, Universidade de Lisboa
- Matthew Parkinson, Microsoft Research
- Jorge A. Perez, University of Groningen
Organizing committee
- Simon Gay, University of Glasgow
- Vasco T. Vasconcelos, Universidade de Lisboa
- Nobuko Yoshida, Imperial College London
Publication
Accepted papers will be published as an issue of EPTCS. After the workshop, there will be an open call for submissions to a JLAMP special issue aimed at accommodating extended versions of accepted papers and other contributions on the themes of PLACES 2020.
Contact
All questions about submissions should be emailed to luca.padovani@unito.it.