CPA 2006 will take place from the evening of Sunday 17th September, through to lunchtime on Wednesday 20th September, at Napier University in Edinburgh, Scotland (UK). The CPA conference aims to promote discussion and research in the area of hardware and software concurrency, based on communicating process architectures (e.g. CSP, the pi–calculus, MPI). Concurrency is an area of increasing interest and importance, and a goal of the CPA conferences are to stimulate discussion and ideas as to the role concurrency will play in current and future generations of scalable computer infrastructure and applications. The programme will consist of two and a half days of talks plus two evening (fringe) sessions.<br><b>Keywords:</b> * Theoretical support (CSP, Pi–calculus, ASP, ...)<br>* Modelling concurrent software architectures (Real–time UML, dataflow models, CSP, KPN, ...)<br>* Verification and model–checking (FDR, SPIN, ...)<br>* Methods and tools (B, BSP, SPARK, ...)<br>* Programming languages (occam, Handel–C, Honeysuckle, ...)<br>* Programming environments (JCSP, CCSP, CTJ, ...)<br>* Distributed application environments (GRID, clusters, web services, ...)<br>* Machine architecture (multiprocessor chips, VLIW, instruction set design for multi–threading, h/w scheduling, link and router design, ...)<br>* Reconfigurable computing (FPGA, FPSoC, PicoChip, ...)<br>* Safety and security issues (race–hazards, deadlock, livelock, process starvation, ...)<br>* System issues (lightweight multithreading kernels, lightweight external communications, interrupts, ...)<br>* Illustrative applications (scientific, embedded, mechatronic, real–time, safety–critical, mobile, ...).<br>
Abbrevation
CPA
City
Edinburgh
Country
UK
Deadline Paper
Start Date
End Date
Abstract