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
from June 25th to 29th, 2012.
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,
hardware / software co-design,
hardware / software abstractions,
co-simulation and verification;
- synchronous and asynchronous design,
globally asynchronous locally synchronous (GALS) 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,
quality of service issues;
(industrial) case studies of general interest,
consumer electronics and multimedia,
internet and grid computing,
concurrency issues in ad-hoc, mobile and wireless networking,
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,
synthesis and control of concurrent systems,
(compositional) modeling and design,
(modular) synthesis and analysis,
distributed simulation and implementation,
(distributed) controller synthesis,
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
ACSD seeks papers describing original work which has not been
previously published and is not under review for publication
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
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
All papers should be submitted via EasyChair.
While the conference takes place from Wednesday to Friday, the
days before the conference also offer a wide range of
Last, but not least, ACSD is co-located with the
33rd International Conference on
Application and Theory of Petri Nets and Concurrency.
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|