[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
# PLACES 2020 - First Call for Papers
The 12th edition of PLACES (Workshop on Programming Language Approaches to
Concurrency- and Communication-cEntric Software) will be co-located with ETAPS
2020 in Dublin, Ireland on 26 April 2020.
http://places20.by.di.fc.ul.pt <http://places20.by.di.fc.ul.pt/>
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.
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.
In addition, we are planning a journal special issue dedicated to PLACES 2020
to accommodate extended versions of accepted workshop papers along with an open
call for submissions to this special issue.
## Key dates
* Submission deadline: 24 January 2020, AOE
* Author notification: 28 February 2020, AOE
* Camera ready: 13 March 2020, AOE
* Workshop: 26 April 2020
* ETAPS: 25-30 April 2020
## 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
## Chairs
* Stephanie Balzer, Carnegie Mellon University
* Luca Padovani, Università di Torino
## Programme 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
We hope you will submit and join us for another successful edition of PLACES!
