[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Call for participation: CPA 2007



****************************************************************************************
**                                                                                                          **
**      Registration for CPA 2007 now open                                               **

**                                                                                                          **

**      8th – 11th July, University of Surrey, Guildford, UK                              **

**                                                                                                         **

**      Details available from http://www.cs.surrey.ac.uk/host/cpa2007/        **

**                                                                                                          **

****************************************************************************************

 

Invited speakers confirmed:

 

  • Professor Sir Tony Hoare FRS: Fine grained concurrency
  • Professor David May FRS: Communicating process architectures for multicores

 

Registration for CPA 2007 is as follows:

 

  • For those registering before 22nd June, the early registration fee of £425 is available.
  • For those registering on or after 234d June, the cost of registration is £475.

 

Conference programme

 

The conference programme is available from the conference website.

 

Student bursaries

 

A limited number of student bursaries are available, to the value of £100.  Bursaries are typically offered on a first-come, first-served basis.  The cost of registration for those in receipt of a student bursary is therefore £325 for those before the early registration deadline, and £375 for those after.

 

 

About CPA 2007

 

The theme of CPA 2007 is concurrency: the theory of concurrency, and concurrency as applied to software and hardware development, validation, verification, and implementation. This year, as part of the regular conference program, CPA is co-hosting a special interest session on hardware/software co-design. Contributions are invited in any of the areas of interest to the conference, and those in the area of hardware/software co-design are particularly welcome. Areas of interest include, but are not limited to:

  • Theoretical approaches to concurrency, and formal languages supporting these approaches, including the integration of existing formal notations;
  • Modelling of, and model-driven development of concurrent software architectures;
  • Verification and analysis of concurrent systems;
  • Model-checking techniques and tools for development and analysis;
  • Theoretical approaches to hardware-software co-design;
  • Tools and languages for hardware-software co-design;
  • Verification and analysis of hardware-software co-design systems;
  • Programming languages and environments for concurrent systems;
  • Environments for distributed applications, such as grid applications;
  • Hardware and machine architectures such as multiprocessor cores and instructiion set design;
  • Reconfigurable computing, and tools relating to reconfigurable computing;
  • Programming and implementation issues for concurrent languages; such as deadlock-freedom by design, starvation, and efficient inter-process communication architectures;
  • System issues for programming languages supporting concurrency, such as multithreading kernels and interrupt architectures;
  • Applications that exploit, or rely on, concurrency.

Special interest session on hardware/software co-design

 

Hardware/software co-design is an area where the application of concurrency research is becoming increasingly important. Hardware offers vast opportunity for the exploitation of concurrency. When coupled with software design, opportunity for exploitation increases further. There is much research in the area of co-design - tools, verification, development methodologies and so forth.

For the first time, as part of CPA 2007, a special interest session on co-design will be held. The workshop is sponsored by AWE. The workshop will be integrated into the main conference, and all accepted papers will appear in the main conference proceedings.

 

________________________________

 

Dr Alistair A.McEwan

Tel: +44 1483 682648