CPA 2008 Call For Papers

["P.H.Welch" <P.H.Welch@xxxxxxxxxx>]

                            ****   CPA 2008  ***

                     Communicating Process Architectures
                      York, UK,  7 to 10 September 2008

                       http://www.cs.york.ac.uk/CPA08/



This is a Call for Papers for CPA 2008, which this year will be hosted
by the Computer Science department at the University of York, England.

The theme of CPA 2008 is concurrency: the theory of concurrency, and 
concurrency as applied to software and hardware development, validation, 
verification, and implementation.  There is also a special session on 
hardware/software co-design.

A separate call will be issued for the CoSMoS workshop (Complex Systems 
Modelling and Simulation infrastructure), to be held in conjunction with 
CPA, on 11 September 2008.

CPA 2008 Invited Speakers include:

     * Professor Samson Abramsky, FRS, the Christopher Strachey Professor
       of Computing at the University of Oxford;
     * Professor Colin O'Halloran, head of the Systems Assurance Group
       at QinetiQ.

Contributions are sought for papers presenting novel, unpublished 
research, ideas, or accomplishments.  Papers should be as long as needed 
to convey the subject matter, but should not normally exceed 20 pages, 
in IOS format.  All submissions will be reviewed, and feedback given to 
authors.

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),
       especially with regard to efficient exploitation of multicores;
     * Applications that exploit, or rely on, concurrency.

For instructions regarding the format for submitted papers, and the 
submission process, and information about copyright, please see the 
nformation for authors on the conference website, where style templates 
will be available in due course.

                http://www.cs.york.ac.uk/CPA08/call.html

                      CPA 2008 : Important dates

        Submission                       Friday 25 April 2008         
        Notification of acceptance         Friday 6 June 2008         
        Early registration closes         Monday 30 June 2008         
        Final date for CRC                 Monday 7 July 2008         
        Conference                      7 - 10 September 2008         
        CoSMoS workshop                     11 September 2008