CPA2005 Call for Papers

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, ...).

A contribution may be a presentation of novel ideas or accomplishments, an advanced tutorial on an existing method, or leading a seminar on some outstanding difficulty or controversy.

Presentations will typically be limited to twenty minutes, and tutorials and seminars to fifty minutes. An additional ten minutes will be scheduled for discussion following each presentation. 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.

For instructions regarding submission, please see Information for authors