[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(Apologies for multiple postings.)
CALL FOR PAPERS
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Special Issue on
Programming Language Approaches to Concurrency and Communication-cEntric
Software
Important Dates
===============
Submission of papers: July 31, 2017
First review decision: October 31, 2017
Revision due: December 1, 2017
Acceptance notification: January 31, 2018
Final manuscript due: February 28, 2018
Expected publication: Spring 2018
Aims and Scope
==============
This special issue of the Journal of Logical and Algebraic Methods in
Programming (JLAMP,
https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming)
is devoted to the topics of the 10th International Workshop on Programming
Language Approaches to Concurrency and Communication-cEntric Software (PLACES
2017, http://places17.di.fc.ul.pt/), which took place on April 29, 2017, in
Uppsala, Sweden, as part of the European Joint Conferences on Theory and
Practice of Software (ETAPS). This is however an open call for papers;
therefore, both participants of the workshop and other authors are encouraged
to submit their contributions.
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.
Specific topics include, but are not limited to:
* Design and implementation of programming languages with first class support
for concurrency and communication
* Behavioural types, including session types
* Concurrent data types, objects and actors
* Verification and program analysis methods for concurrent and distributed
software
* Runtime systems for scalable management of concurrency and resource allocation
* High-level programming abstractions addressing security concerns in
concurrent and distributed programming
* Multi- and many-core programming models, including methods for harnessing
GPUs and other accelerators
* Memory models for concurrent programming on relaxed-memory architectures
* Integration of sequential and concurrent programming techniques
* Use of message passing in systems software
* Interface languages for communication and distribution
* Novel programming methodologies for sensor networks
* Programming language approaches to web services
* Concurrency and communication in event processing and business process
management
Submission
==========
We expect original articles (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 additional
pages; 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, which can be retrieved from the Elsevier website,
https://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors.
Submissions are handled by the Elsevier Editorial System and can be uploaded to
the JLAMP website.
Guest Editors
=============
Philipp Haller, KTH Royal Institute of Technology, SE, [email protected]
Vasco T. Vasconcelos, University of Lisbon, PT, [email protected]
--
Philipp Haller
Assistant Professor
Department of Theoretical Computer Science
KTH Royal Institute of Technology, Sweden
