The University of Surrey is delighted to host the Communicating Process Architectures 2007 conference. There are many reasons why this University, and Guildford in particular, is appropriate for a conference about Computer Science and models of Concurrency. Not least is the connection with one of the most famous Computer Scientists of them all: Alan Turing, who grew up only a short distance from the site of the University. A statue of him erected in the main plaza overlooks the conference venue, serving as an inspiration and reminder to the strong theoretical and mathematical basis of the topic of this conference. Delegates may also have paused for enlightenment at the village of Occam (now spelt Ockham), famously the birthplace of William of Occam, as they approached Guildford.
This is the 30th meeting of this conference series. The first was a single day workshop, organised by Inmos, and took place in Bristol in 1985. With the success of the Transputer, the meeting grew into an international conference series, with the proceedings formally published by IOS press since March 1988. The fact that the conference series is growing in strength as technology evolves shows that its founding ideas still push the boundaries of Computer Science and are as relevant as ever.
Since inception, the CPA conference series has always had strong interest from industry, and this year is no exception with the conference being co-sponsored by AWE UK. This year, there is a particular emphasis on hardware/software co-design, and the understanding of concurrency that results from these systems. A range of papers on this topic have been included, from the formal modeling of buses in co-design systems through to software simulation and development environments.
Industrial relevance is further reflected in the achievements of this year's invited speakers. Professor Sir Tony Hoare, FRS, is the founding father of the theoretical basis upon which much of the work in this series is based. The organisers are delighted that he has accepted the invitation to address the conference on his new thoughts on fine-grained concurrency. Professor David May, FRS, has been one of the leading lights of this, and other, communities for many years. He was chief architect for the Transputer and the occam programming language. The organisers are also delighted that he has accepted the invitation to address the conference on his latest work on communicating process architecture for massively multicore processors and how to program them.
We hope you will find the meeting exciting, invigorating, and motivating. We trust you will find the published proceedings informative and inspirational – and the informal Fringe presentations fun and thought provoking. This year, we have published abstracts of several fringe presentations that were offered in advance of the conference.
Finally, the editors would like to thank the Programme Committee, friends of the conference, and reviewers, for all their diligent hard work in reviewing papers, the staff of the University of Surrey – especially Sophie Gautier-O'Shea – for their assistance in organizing the event, and the Systems Assurance Group at the AWE for all their support.
Alistair McEwan (University of Surrey), Steve Schneider (University of Surrey), Peter Welch (University of Kent), Wilson Ifill (AWE UK)