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 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;
• 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 from presentations.

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

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.

Important Dates