|
******************************************************************
*
*
* 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 *
*
*
*
****************************************************************** 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, 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, Dr Roger Peel, Professor Steve Schneider, Professor Peter Welch, Wilson Ifill, AWE |