posted by organizer: luca_padovani || 2978 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://places20.by.di.fc.ul.pt
 
When Apr 26, 2020 - Apr 26, 2020
Where Dublin, Ireland
Submission Deadline Feb 2, 2020
Notification Due Feb 28, 2020
Final Version Due Mar 13, 2020
Categories    programming languages   distribution and concurrency   type systems   verification
 

Call For Papers

# PLACES 2020 - Second 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

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 to language implementations, 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.

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.

## Key dates

* Submission deadline: 2 February 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!

Related Resources

LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
Philosophical Approaches to Games and Ga 2024   Call For Papers - Philosophical Approaches to Games and Gamification: Ethical, Aesthetic, Technological and Political Perspectives
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
NovelIQA 2024   Novel Approaches to Image Quality Assessment
APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
Dialogical Approaches to the Sphere ‘in 2024   Call For Papers - Dialogical Approaches to the Sphere ‘in-between’ Self and Other: The Methodological Meaning of Listening
FDL 2024   Forum on specification and Design Languages