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

2nd CFP: CPA2007, and invited speaker announcement



 

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

  *                                                                *

  *           Communicating Process Architectures - 2007           *

  *                                                                *

  *                2nd C A L L   F O R   P A P E R S                *

  *   ***  NEW ANNOUNCEMENT: TONY HOARE TO SPEAK AT CPA2007  ***   *

  *                                                                *

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

  *                                                                *

  *     Keynote speaker: Sir Tony Hoare (Microsoft Research)       * 

  *                                                                *

  *    Sunday (evening) 8th. July to Wednesday 11th. July, 2007    * 

  *                    University of Surrey, UK                    *

  *                                                                *

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

 

 

Announcement: keynote talk to be given by Sir Tony Hoare

--------------------------------------------------------

 

The CPA 2007 organising committee are delighted to announce that Sir Tony Hoare of Microsoft Research, Cambridge, will present the keynote talk at CPA 2007.

 

Call for papers

---------------

 

This is the second Call for Papers for CPA 2007, which will be hosted during July 8-11, 2007, by the Department of Computing at the University of Surrey, England.

 

The conference is the 30th. in the series sponsored by WoTUG (http://www.wotug.org).

 

Please note the change of timing from the normal September dates for CPA!

 

An exciting new addition to the conference this year is a Special Interest Session on Hardware-Software Co-design.  Further details will be announced later.

 

The conference theme is concurrency, and models of concurrency, at all levels of granularity, and applicable to both software and hardware.

 

The conference will report on and stimulate ideas and discussions relevant to the engineering and application of concurrent systems.

 

New methods, or integration and adaptation of existing methods, for the specification, development, implementation, verification, validation, and engineering of such systems are topics central to this conference.

 

Submitted papers will be refereed, with strong feedback given to authors.

Accepted papers will be published as Proceedings in the Concurrent Systems Engineering Series of IOS Press.

 

Copyright of articles in CPA proceedings remains with the authors.

This makes CPA an ideal venue for presenting early research that may be

suitable for subsequent revision for journal publication.   We aim for

a workshop style, highly interactive atmosphere - this includes the more informal, unpublished, evening fringe sessions for open discussion.

 

 

IMPORTANT DATES

 

  Initial paper submission deadline:  16th. February, 2007

  Paper acceptance notification:      30th. March, 2007

  Camera-ready submission deadline:   27th. April, 2007

  Conference dates:                   8-11th. July, 2007

 

 

CALL FOR PAPERS

 

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;

 

 * Efficient and safe harnessing of current and future generation

   multicore processors;

 

 * 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.

 

Contributions may be regular papers presenting novel, unpublished research, ideas, or accomplishments. Invitation is also extended to contributions for advanced tutorial sessions. All submissions will be reviewed, and feedback given to authors.

 

 

PAPER LENGTH AND FORMATTING

 

CPA does not impose a page limit on submissions; but authors are advised that it should be appropriate for the material presented.  Papers published in the conference previously have been typically around 10-20 pages, including all appendices and references, when in the conference format (12-point, single-spaced lines, one column).

 

Submissions should be emailed to cpa2007-submissions@xxxxxxxxxxxxxxxxx.  For instructions regarding the formatting of a submission, please see Information for Authors:

 

  http://www.cs.surrey.ac.uk/host/cpa2007/authors.shtml

 

 

OTHER INFORMATION

 

Enquiries should be directed to cpa2007@xxxxxxxxxxxx.  Details are also available from the CPA 2007 website:

 

  http://www.cs.surrey.ac.uk/host/cpa2007/

 

 

CPA 2007 ORGANISING COMMITTEE

 

  Dr Alistair McEwan, University of Surrey

  Dr Roger Peel, University of Surrey

  Professor Steve Schneider, University of Surrey

  Professor Peter Welch, University of Kent

  Wilson Ifill, AWE