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

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

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Application of Concurrency to System Design
 
Link: http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/home.shtml
 
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

http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/home.shtml


CONFERENCE SCOPE

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.


PAPER SUBMISSION

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
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 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:
http://www.easychair.org/conferences/?conf=acsd12

IMPORTANT DATES

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

PROGRAM COMMITTEE

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


STEERING COMMITTEE

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

ICDM 2018   18th Industrial Conference on Data Mining ICDM 2018
NMOCT 2017   3rd International Conference on Networks, Mobile Communications and Telematics (NMOCT-2017)
ACSD 2017   Application of Concurrency to System Design
VLSIA 2017   3rd International Conference on VLSI and Applications
PLDI 2018   Programming Language Design and Implementation
LICS 2018   Logic in Computer Science
data-driven 2017   Special Issue on “Data-Driven User Behavioral Modeling: From Real-World Behavior to Knowledge, Algorithms, and Systems”
AEROIJ 2017   Aerospace Engineering: An International Journal
CODASPY 2018   Conference on Data and Application Security and Privacy
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)