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: August 1, 2014
First review decision: October 31, 2014
Revision due: December 1, 2014
Acceptance notification: January 31, 2015
Final manuscript due: February 28, 2015
Expected publication: Spring 2015
_ AIMS AND SCOPE
This special issue of the Journal of Logical and Algebraic Methods in Programming
(JLAMP,
http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming)
is devoted to the topics of the 7th International Workshop on
Programming Language Approaches to Concurrency and
Communication-cEntric Software (PLACES 2014,
http://places14.di.fc.ul.pt), which took place on April 2014 in
Grenoble, 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 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, which can be retrieved from
Submissions are handled by the Elsevier Editorial System and can be
uploaded from the JLAMP web page.
_ GUEST EDITORS
Alastair Donaldson, Imperial College London, UK, alastair.donaldson@imperial.ac.uk
Vasco T. Vasconcelos, University of Lisbon, PT, vv@di.fc.ul.pt