Apologies for any cross posting.
Submission deadline extended after requests.
Communicating Process Architectures (CPA) 2016
The 38th WoTUG Conference on Concurrent and Parallel Systems
Sunday (evening) 21st. - Wednesday (lunch) 24th. August 2016
www.wotug.org/cpa2016/
Hosts: Niels Bohr Institute, University of Copenhagen, Denmark
This is the first Call for Papers for Communicating Process Architectures 2016, the 38th WoTUG conference on concurrent and parallel programming.
Papers are sought presenting novel, interesting and useful work relevant to all aspects of concurrency in computer systems. For full details, please see the on-line pages at
http://www.wotug.org/cpa2016/. CPA is concerned with concurrency at all scales. It aims to bridge the gap between the mathematical theory of concurrency and its practical application to the design, implementation and validation of parallel applications for embedded,
multicore and distributed computing systems. Areas of interest to the CPA community include, but are not limited to:
·
Formal Specifications of Concurrent Systems;
·
Theoretical approaches to concurrency, and formal languages supporting these approaches, including the integration of existing and novel formal notations;
·
Verification and analysis of concurrent systems;
·
Model-checking techniques and tools for development and analysis;
·
Programming for Concurrency;
·
Concurrent programming languages such as Go, Erlang, Rust, etc.;
·
Runtime environments for parallel and distributed applications;
·
Libraries for managing concurrency; JCSP, PyCSP, Cocol, etc.;
·
Design patterns and implementation techniques for concurrent software;
·
Operating systems and runtime environments for parallel and distributed applications;
·
Modelling and model-driven development of concurrent software architectures;
·
Parallel hardware solutions;
·
Design of multicore processors and parallel computer architectures;
·
Theoretical approaches, tools and languages for hardware-software co-design;
·
Hardware and software approaches to reconfigurable computing;
·
The teaching of concurrency at high-school, university and postgraduate level;
·
Concurrent applications within academia and industry, such as complex systems simulation, robotic control and high-performance network servers;
·
Reports on experience with concurrency in an industrial context. CPA is an open-access conference: accepted papers will be published by Open Channel Publishing Ltd. in the CPA 2016 Proceedings, and made freely available from the WoTUG papers archive. All submissions will be refereed by an international
panel of academic and industrial reviewers, with extensive feedback given to authors. Authors retain copyright on their papers, shared with the publishers. This means that authors have the right to reuse any material from these papers in future publications
(e.g. in extended revisions for journals). CPA runs in a single track over two and a half days, with space for approximately 25 half-hour presentations. In addition, two evening Fringe sessions provide a forum for presenting and discussing new ideas and/or work in progress. The conference registration fee (covering admission to all sessions, one copy of the Proceedings, coffee/tea breaks, lunches and evening meals, including the conference dinner) will be announced on the registration page shortly. A limited
number of bursaries will be available to support students attending the conference – please see the registration page details. Important dates Paper submission: Notification of acceptance: Final revised CRC due: Conference: 21st. (evening) - 24th. (lunch) August 2016 For more information on CPA 2016, please see the conference web site. If you have any questions about the conference, please contact us at
cpa2016@xxxxxxxxx. We look forward to seeing you in Copenhagen in August! Dr Kevin Chalmers PhD BEng(Hons) SFHEA MBCS MIEE MACM Senior Lecturer School Academic Lead, Quality Enhancement School of Computing Edinburgh Napier University Merchiston Campus Edinburgh EH10 5DT T 0131 455 2484
|