posted by user: wimmer || 10629 views || tracked by 17 users: [display]

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


Conference Series : International Conference on Application of Concurrency to System Design
When Jun 27, 2012 - Jun 29, 2012
Where Hamburg, Germany
Abstract Registration Due Jan 13, 2012
Submission Deadline Jan 20, 2012
Notification Due Mar 19, 2012
Categories    concurrency   formal methods   verification   design

Call For Papers

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

Hamburg, Germany, June 27-29, 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, 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.


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). Templates and further instructions
are available from the ACSD website. The page limit for regular papers is 10

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 in an interactive session.

Conference proceedings will be published by IEEE Computer Society Press.
According to the IEEE publication requirements, authors of accepted papers
are expected to present their papers at the conference, and will be required
to sign copyright release forms. Several papers will be considered for
publication in extended and revised form in a special issue of a journal.

All papers should be submitted via EasyChair:


* abstract submission deadline: 13 Jan 2012
* paper submission deadline: 20 Jan 2012
* notification of acceptance: 19 Mar 2012
* conference: 27-29 Jun 2012


Jiri Barnat, Czech Republic
Twan Basten, The Netherlands
Behzad Bordbar, UK
Hanifa Boucheneb, Canada
Jens Brandt, Germany (co-chair)
Benoît Caillaud, France
Javier Campos, Spain
Josep Carmona, Spain
Franck Cassez, France
Thomas Chatain, France
Silvia Crafa, Italy
Rocco De Nicola, Italy
Jörg Desel, Germany
Zhenhua Duan, China
Keijo Heljanko, Finland (co-chair)
Masashi Imai, Japan
Petr Jancar, Czech Republic
Ryszard Janicki, Canada
Mark Josephs, UK
Gabriel Juhas, Slovakia
Victor Khomenko, UK
Fabrice Kordon, France
Barbara König, Germany
Johan Lilius, Finland
Robert Lorenz, Germany
Agnes Madalinski, Chile
Roland Meyer, Germany
Mohammadreza Mousavi, The Netherlands
Wojciech Penczek, Poland
Marta Pietkiewicz-Koutny, UK
Dumitru Potop Butucaru, France
Jean-Francois Raskin, Belgium
Partha Roop, New Zealand
Sandeep Shukla, USA
Nikola Trcka, The Netherlands
Antti Valmari, Finland
Walter Vogler, Germany
Karsten Wolf, Germany
Tomohiro Yoneda, Japan


Alex Yakovlev, UK (chair)
Benoît Caillaud, France
Jordi Cortadella, Spain
Jörg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland

Related Resources

Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
TASE 2022   Theoretical Aspects of Software Engineering
SASIMI 2022   The 24th Workshop on Synthesis And System Integration of Mixed Information technologies
ICDEPI-SCOPUS 2022   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2022)
DIS 2022   Designing Interactive Systems
PLACES 2022   13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
ISDEA--Ei Compendex, Scopus 2022   2022 International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2022)--Scopus, Ei Compendex
SMACD 2022   18th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CoMSE 2022   2022 International Conference on Materials Science and Engineering (CoMSE 2022)
CONCUR 2022   International Conference on Concurrency Theory