[TYPES/announce] PLACES 2019 workshop

[Dominic Orchard]

The 11th edition of PLACES (Workshop on Programming Language Approaches to
Concurrency and Communication-cEntric Software) will be co-located with
ETAPS 2019 in Prague, Czech Republic on 7th April 2019.
------------------------------------------------------------------------------------
https://conf.researchr.org/track/etaps-2019/places-2019-papers
------------------------------------------------------------------------------------
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 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. Submissions will be peer-reviewed by a minimum of three
reviewers, with the aim of allocating at least one expert reviewer. Papers
are reviewed based on their novelty, clarity, and technical soundness.
Submissions must not be submitted 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). The
proceedings of PLACES 2019 will be published as a volume of EPTCS.

After the workshop, there will be a special issue of JLAMP dedicated to
PLACES 2019. Authors of PLACES 2019 will be invited to submit extended
versions of their workshop papers. There will also be an open call for
submissions to this special issue.

Key dates:
- Submission deadline: 24th January 2019 (AoE)
- Author notification: 21st February 2019
- Camera ready: 7th March 2019
- Workshop: 7th April 2019
- ETAPS: 6th-11th April 2019

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 languages for communication and distribution
- Applications in web services, sensor networks, scientific computing, HPC.
- Concurrency and communication in event processing and business process
management

Chairs for 2019:
- Francisco Martins (University of the Azores)
- Dominic Orchard (University of Kent)

Programme Commitee:
- Tiago Cogumbreiro (University of Massachusetts Boston)
- Ornela Dardha (University of Glasgow)
- Simon Fowler (University of Edinburgh)
- Adrian Francalanza (University of Malta)
- Hai Liu (DFINITY)
- Michele Loreti (University of Florence)
- Stefan Marr (University of Kent)
- Francisco Martins (University of the Azores)
- Rumyana Neykova (Brunel University London)
- Dominic Orchard (University of Kent)
- Antonio Ravara (New University of Lisbon)
- Malavika Samak (MIT)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181127/0f7023cc/attachment-0001.html>