<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">[Apologies for multiple copies]<br><br>Please note that the deadline has been extended to August 31.<br><br><blockquote type="cite"><br><br>Call for Papers<br><br>JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING<br><br>Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software<br><br><a href="http://places14.di.fc.ul.pt/jlamp-call-for-papers">http://places14.di.fc.ul.pt/jlamp-call-for-papers</a><br><br>_ IMPORTANT DATES<br><br> Submission of papers: August 31, 2014<br> First review decision: November 31, 2014<br> Revision due: January 1, 2014<br> Acceptance notification: February 31, 2015<br> Final manuscript due: March 28, 2015<br> Expected publication: Late Spring 2015<br><br>_ AIMS AND SCOPE<br><br>This special issue of the Journal of Logical and Algebraic Methods in Programming<br>(JLAMP,<br><a href="http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming">http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming</a>) <br>is devoted to the topics of the 7th International Workshop on<br>Programming Language Approaches to Concurrency and<br>Communication-cEntric Software (PLACES 2014,<br><a href="http://places14.di.fc.ul.pt/">http://places14.di.fc.ul.pt</a>), which took place on April 2014 in<br>Grenoble, as part of the European Joint Conferences on Theory and<br>Practice of Software (ETAPS). This is however an open call for papers,<br>therefore both participants of the workshop and other authors are<br>encouraged to submit their contributions.<br><br>Submissions are invited in the general area of programming language<br>approaches to concurrency, communication and distribution, ranging<br>from foundational issues, through language implementations, to<br>applications and case studies. Specific topics include, but are not<br>limited to:<br><br>- Design and implementation of programming languages with first class<br>support for concurrency and communication<br>- Behavioural types, including session types<br>- Concurrent data types, objects and actors<br>- Verification and program analysis methods for concurrent and<br>distributed software<br>- Runtime systems for scalable management of concurrency and resource<br>allocation<br>- High-level programming abstractions addressing security concerns in<br>concurrent and distributed programming<br>- Multi- and many-core programming models, including methods for<br>harnessing GPUs and other accelerators<br>- Memory models for concurrent programming on relaxed-memory<br>architectures<br>- Integration of sequential and concurrent programming techniques<br>- Use of message passing in systems software<br>- Interface languages for communication and distribution<br>- Novel programming methodologies for sensor networks<br>- Programming language approaches to web services<br>- Concurrency and communication in event processing and business<br>process management<br><br>_ SUBMISSION<br><br>We expect original articles (20-30 pages) that present high-quality<br>contributions that have not been previously published in another<br>journal and that must not be simultaneously submitted for publication<br>elsewhere. Longer papers will be considered if there is a clear<br>justification for why additional pages are necessary; authors should<br>contact the guest editors to discuss this. Each paper will undergo a<br>thorough evaluation by at least two reviewers. The authors will have<br>about one month to incorporate the comments of the reviewers and<br>submit a revised version of their papers, which will be evaluated<br>again by the reviewers to make a final decision.<br><br>Contributions should be typeset in PDF format and must comply with<br>JLAMP's author guidelines, which can be retrieved from<br><a href="http://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors">http://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors</a>. <br><br>Submissions are handled by the Elsevier Editorial System and can be<br>uploaded from the JLAMP web page.<br><br>_ GUEST EDITORS<br><br>Alastair Donaldson, Imperial College London, UK,<a href="mailto:alastair.donaldson@imperial.ac.uk">alastair.donaldson@imperial.ac.uk</a><br>Vasco T. Vasconcelos, University of Lisbon, PT,<a href="mailto:vv@di.fc.ul.pt">vv@di.fc.ul.pt</a></blockquote></body></html>