ACSD 2012 - 12th International Conference on Application of Concurrency to System Design

12th International Conference on
Application of Concurrency to System Design
The 12th ACSD conference will take place in Hamburg from June 25th to 29th, 2012.

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

Conference Scope
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.
Paper Submissions
ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5" x 11" two-column format). The page limit for regular papers is 10 pages.

In addition to regular submissions, described above, there will be a tools section. Tool paper submissions are limited to 6 pages. They will be presented at the conference venue in an interactive session.

Conference proceedings will be published by the IEEE Computer Society CPS. According to the IEEE publication requirements, authors of accepted papers are expected to present their papers at the conference, and they will be required to sign copyright release forms.