[TYPES/announce] JLAMP special issue for PLACES

[Dominic Orchard]

--------------------------------
             Call for papers:

Special Issue of JLAMP for PLACES

(Programming Language Approaches to
Concurrency and Communication-cEntric Software)

--------------------------------
Submission deadline: July 29th 2016
--------------------------------
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-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 9th International 
Workshop on Programming Language Approaches to Concurrency and 
Communication-cEntric Software (PLACES 2016), which took place in April 
2016 in Eindhoven as part of ETAPS. 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. 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).

Submission deadline: 29th July 2016
Final decision due in: Jan 2017 (planned)

Guest Editors:

Dominic Orchard, University of Cambridge, dominic.orchard at cl.cam.ac.uk
Nobuko Yoshida, Imperial College London, UK, n.yoshida at imperial.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160422/4ecaeca1/attachment.html>