ACSD 2005 : Scope of the Conference

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both types of research on the following topics:

• Methods for design of synchronous or asynchronous systems based on models of concurrency (data-flow, communicating automata, Petri nets, process algebras, statecharts, MSCs etc.).
• Correct-by-construction design methods and integration of verification techniques with the design process.
• Synchronous / asynchronous design and communication interfaces: Globally Asynchronous Locally Synchronous systems.
• Hardware / software co-design from common specifications.
• Concurrency issues in Systems on Chips (in particular, use of formal methods for communication protocol design and verification).