Invited speakers at CPA 2007: Professor Sir Tony Hoare (FRS) and Professor David May (FRS)
The organisers are further delighted to announce that an invited talk by Professor David May (of the University of Bristol) shall also be given at the conference. The abstract is available here.
Registration now open!Registration for CPA 2007 is now open. Details here.
Conference programme now available
The full conference programme, incuding abstracts, is available here.
From July 8th until July 11th 2007, the Communicating Process Architectures (CPA) 2007 conference will be hosted by the Department of Computing at the University of Surrey, Guildford, Surrey, U.K. The call for papers may be found here. An exciting new addition to the conference this year is a special interest session on hardware-software co-design, details may be found here.
Submitted papers will all be refereed, and accepted papers will be published in the conference proceedings. Copyright of CPA proceedings papers remains with the original authors. This makes CPA an ideal venue for presenting early research that may be suitable for future journal publication. CPA conferences are intense experiences - we aim for a workshop style, highly interactive atmosphere - this includes the more informal, unpublished, evening fringe sessions for open discussion.
Accommodation, including lectures and meals, will all be on the University campus. Registration is not yet open, but will cover accommodation for three nights (Sunday, Monday, Tuesday), all meals (including the conference dinner) and one copy of the proceedings. A limited number of student bursaries may be available at the discretion of the organizing committee.
Communicating Process Architectures addresses many of the key issues in modern computer science. In broad terms, the conference theme is concurrency, and models of concurrency - at all levels of granularity, and as applicable to both software and hardware. The conference aims to stimulate ideas and discussions relevant to the engineering of concurrent systems. The development of new methods, or integration and adaptation of existing methods, for the development, implementation, verification, validation, and engineering of such systems is a topic central to the conference.
CPA 2007 is the eighth under the name of CPA and the 30th in the series of WoTUG conferences. The origin for the inspiration of the CPA series of conferences, which began as the OUG-x, and later WoTUG-x series, is the theory of Communicating Sequential Processes (CSP) of C. A. R. Hoare. This gave rise to the design of the occam programming language and the Transputer – an entire computer on a single chip that could be composed with others to construct scalable systems. The combination of new theory, programming language, and system architecture, represented an unprecedented opportunity and challenge to systems engineering methodology. The OUG set out to answer that challenge. The proceedings of the last seventeen have been published by IOS Press, as part of their Concurrent Systems Engineering Series.
General enquiries may be sent to the organising committee (email@example.com).