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