WoTUG - The place for concurrent processes

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

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

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

    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