12th International Conference on Application of Concurrency to System Design

12th International Conference on
Application of Concurrency to System Design

For full details, please have a look at the Call for Papers (PDF).

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.

Proceedings

The conference proceedings of ACSD 2012 are published by IEEE Computer Society's Conference Publishing Services as ISBN 978-0-7695-4709-1. They are also available online at IEEE Xplore (doi:10.1109/ACSD.2012.33).

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 Conference Publishing Services (CPS) 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 Conference Publishing Services (CPS). According to the CPS 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.

All papers should be submitted via EasyChair.

More Activities

While the conference takes place from Wednesday to Friday, the days before the conference also offer a wide range of activities:

several one-day or two-day Workshops,
the three-day Petri Net Course,
the Tools Exhibition, and
a Model Checking Contest.

Last, but not least, ACSD is co-located with the 33rd International Conference on Application and Theory of Petri Nets and Concurrency.

Important Dates

The abstract and paper submission deadlines have been extended by one week!

abstract submission deadline	20 Jan 2012
paper submission deadline	27 Jan 2012
notification of acceptance	19 Mar 2012
workshops & tutorials:	25-26 Jun 2012
conferences	27-29 Jun 2012

Petri Nets 2012 & ACSD 2012

Hamburg, Germany, June 25–29, 2012