CPA 2015 - Communicating Process Architectures 2015

Communicating Process Architectures 2015, the 36th WoTUG conference on concurrent and parallel programming. CPA 2015 will be held at the University of Kent, starting on the evening of Sunday 23rd. August, and finishing at lunch-time on Wednesday 26th. August.
Keynes duck pond Kent campus slopes Keynes Dolche-Vita
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 2015
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, 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 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.