[TYPES/announce] CfP: JLAMP special issue associated with PLACES 2019

[Dominic Orchard]

Call for Papers:

Special issue of JLAMP for the 11th Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software (PLACES)
2019.

https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/11th-workshop-on-programming-language-approaches

This special issue of the Journal of Logical and Algebraic Methods in
Programming (JLAMP) is devoted to the topics of the 11th International
Workshop on Programming Language Approaches to Concurrency- and
Communication-cEntric Software (PLACES 2019), which took place in
Prague as part of ETAPS 2019. This is however an *open call* for
papers, therefore both participants of the workshop and other authors
are encouraged to submit their contributions.

*** Themes ***

Modern hardware platforms, from the very small to the very
large, increasingly provide parallel computing resources for
applications to maximise performance. Many applications therefore need
to make effective use of tens, hundreds, and even thousands of compute
nodes. Computation in such systems is thus inherently concurrent and
communication centric. Effectively programming such applications is
challenging; performance, correctness, and scalability are difficult
to achieve.

Submissions are invited in the area of programming language approaches
to concurrency, communication and distribution, ranging from
foundational issues, through language implementations, to applications
(such as scientific computing) and case studies. Please visit the
above website for more detailed topics of interest.

*** Submission ***

We expect original articles (roughly 20-30 pages) that
present high-quality contributions that have not been previously
published in another journal and that must not be simultaneously
submitted for publication elsewhere. Extended versions of papers
published in the workshop’s proceedings are permitted. Longer papers
will be considered if there is a clear justification for why
additional pages are necessary; authors should contact the guest
editors to discuss this. Each paper will undergo a thorough evaluation
by at least two reviewers. The authors will have about one month to
incorporate the comments of the reviewers and submit a revised version
of their papers, which will be evaluated again by the reviewers to
make a final decision. Contributions should be typeset in PDF format
and must comply with JLAMP's author guidelines (see website for
details).

*** Guest editors ***

Dominic Orchard, University of Kent (d.a.orchard at kent.ac.uk)
Francisco Martins, University of the Azores (fmartins at acm.org)

*** Dates ***

Submission deadline: 31st September 2019
Acceptance notification: 3rd February 2020
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190610/1b6267a2/attachment-0001.html>