CPA 2007 Call for Papers
The theme of CPA 2007 is concurrency: the theory of concurrency, and
concurrency as applied to software and hardware development,
validation, verification, and implementation. This year, as part of the regular
conference program, CPA is co-hosting a special interest session on
hardware/software co-design. 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
- 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;
- 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.
Presentations will typically be limited to thirty minutes (including ten
minutes for discussion/questions following each presentation), and tutorials
and seminars to fifty minutes. Opportunities exist for about
twenty presentations and about four tutorials and seminars. Some time will
be reserved in the schedule for extended discussion of issues that emerge
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.
For instructions regarding the formatting of a submission, please see
Information for authors.
Copyright of published material remains with the original authors.
This makes CPA an ideal venue for presenting early research that may
be suitable for future journal publication.
|Initial paper submission deadline:
|16th February 2007
|Paper acceptance notification:
|30th March 2007
|Camera-ready submission deadline:
|27th April 2007
|8th - 11th July 2007