About the Conference

The conference aims at cross-fertilizing both theoretical and applied research on the following topics:

• design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), performance analysis, verification, testing and synthesis;

• hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification;

• synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous (GALS) systems, interface design, multi-clock systems, functional and timing verification;

• concurrency issues in systems on chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault-tolerance and quality of service issues;

• (industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.;

• concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, concurrency-related security issues;

• business process modeling, simulation and verification, (distributed) workflow execution, business process (de-)composition, inter-organizational and heterogeneous workflow systems, computer-supported collaborative work systems, web services;

• synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.

Conference Dates