[TYPES/announce] JLAMP special issue for PLACES (2nd Call for Papers)
Dominic Orchard
dom.orchard at gmail.com
Thu Jun 23 15:48:43 EDT 2016
--------------------------------
2nd 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/20160623/78b57b10/attachment.html>
More information about the Types-announce
mailing list