|
******************************************************************
* * * Communicating
Process Architectures - 2007 *
* * * C A L
L F O R P A P E R S *
* * * http://www.cs.surrey.ac.uk/host/cpa2007/
*
* * * Sunday (evening) 8th.
July to Wednesday 11th. July, 2007 *
* * *
* *
****************************************************************** This is the first 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
<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). For instructions regarding
the formatting of a submission, and the submission process, please see
Information for Authors: http://www.cs.surrey.ac.uk/host/cpa2007/authors.shtml OTHER INFORMATION Please see the CPA 2007
website for all further details (such as the Programme Committee, invited
speakers, the hardware/software co-design workshop, accepted papers and fringe
programme as they become known): 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 |