Communicating Process Architectures 2017: Call for Papers

This is the Call for Papers for Communicating Process Architectures 2017, the 39th WoTUG conference on concurrent and parallel systems. CPA 2017 is hosted by Kevin Vella, Head of Department in Computer Science at the University of Malta. Conference sessions will take place at the Victoria Hotel in Sliema, Malta. It starts on the evening of Sunday 20th. August and finishes after lunch on Wednesday 23rd. August.

See the Author Information for details of how to submit. Please also see the calls for mini-workshop proposals and fringe presentations.

Themes for CPA 2017

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:

• design and implementation of programming languages and environments for concurrent systems;
• runtime environments for parallel and distributed applications;
• design patterns and implementation techniques for concurrent software;
• theoretical approaches to concurrency;
• formal specification of concurrent systems and formal languages supporting these approaches, including the integration of existing and novel formal notations;
• modelling and model-driven development of concurrent software architectures;
• verification and analysis of concurrent systems;
• model-checking techniques and tools for development and analysis;
• design and effective use of multicore / manycore processors and massively parallel computer architectures;
• 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.

Accepted papers will be published in the CPA 2017 Proceedings by IOS Press (in their Concurrent Systems Engineering Series). 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 20 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. Delegates are responsible for booking their own accommodation: a range of hotels will be listed on the registration page. A limited number of bursaries will be available to support students attending the conference – please see the registration page details.

Important dates

For more information on CPA 2017, please see the conference web site.

If you have any questions about the conference, please contact us at cpa2017@wotug.org. We look forward to seeing you in sunny Malta in August!