CPA 2006 Call for Papers
High quality contributions are invited on any field or topic related to the conference
theme. Topics addressed include but are not limited to:
- Theoretical support (CSP, Pi-calculus, ASP, ...)
- Modelling concurrent software architectures (Real-time UML, dataflow models,
CSP, KPN, ...)
- Verification and model-checking (FDR, SPIN, ...)
- Methods and tools (B, BSP, SPARK, ...)
- Programming languages (occam, Handel-C, Honeysuckle, ...)
- Programming environments (JCSP, CCSP, CTJ, ...)
- Distributed application environments (GRID, clusters, web services, ...)
- Machine architecture (multiprocessor chips, VLIW, instruction set design for multi-threading, h/w scheduling, link and router design, ...)
- Reconfigurable computing (FPGA, FPSoC, PicoChip, ...)
- Safety and security issues (race-hazards, deadlock, livelock, process starvation, ...)
- System issues (lightweight multithreading kernels, lightweight external communications, interrupts, ...)
- Illustrative applications (scientific, embedded, mechatronic, real-time, safety-critical, mobile, ...).
Contributions include formal papers presenting novel ideas or accomplishments,
advanced tutorials on an existing method, or leading an evening seminar on
some outstanding difficulty or controversy. All submissions will be critically
reviewed and we promise strong feedback to both accepted and rejected papers.
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
There is no limit on the number of pages that a submission may be, but it should be
appropriate for the material. Previously published papers are typically 8 - 30 pages in length,
including all appendices and references.
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:||19th June 2006|
|Paper acceptance notification:||3rd July 2006|
|Camera-ready submission deadline:||24th July 2006|
|Conference dates:||17th - 20th September 2006|