<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span apple-content-name="body" style="display: block; " apple-content-edited="true" applecontenteditable="true"><br>CALL FOR PAPERS<br><br>12th International Conference on<br>Application of Concurrency to System Design (ACSD 2012) <br><br>Hamburg, Germany, June 27-29, 2012 <br><br><a href="http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/home.shtml">http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/home.shtml</a><br><br><br>CONFERENCE SCOPE <br><br>The conference aims at cross-fertilizing both theoretical and applied research on the following topics: <br><br>* design methods, tools and techniques based on models of computation and<br>concurrency (data-flow models, communicating automata, Petri nets, process<br>algebras, state charts, MSCs, etc.), performance analysis, verification,<br>testing and synthesis;<br><br>* hardware / software co-design, platform-based design, component-based<br>design, refinement techniques, hardware / software abstractions,<br>co-simulation and verification;<br><br>* synchronous and asynchronous design, asynchronous circuits, globally<br>asynchronous locally synchronous (GALS) systems, interface design,<br>multi-clock systems, functional and timing verification;<br><br>* concurrency issues in systems on chips, massively parallel architectures,<br>networks on chip, task and communication scheduling, resource, memory and<br>power management, fault-tolerance and quality of service issues;<br><br>* (industrial) case studies of general interest, gaming applications,<br>consumer electronics and multimedia, automotive systems, (bio-)medical<br>applications, internet and grid computing, etc.;<br><br>* concurrency issues in ad-hoc, mobile and wireless networking, sensor<br>networks, communication protocols, cross-layer optimization,<br>concurrency-related security issues;<br><br>* business process modeling, simulation and verification, (distributed)<br>workflow execution, business process (de-)composition, inter-organizational<br>and heterogeneous workflow systems, computer-supported collaborative work<br>systems, web services;<br><br>* synthesis and control of concurrent systems, (compositional) modeling and<br>design, (modular) synthesis and analysis, distributed simulation and<br>implementation, (distributed) controller synthesis, adaptive systems,<br>supervisory control.<br><br><br>PAPER SUBMISSION <br><br>ACSD seeks papers describing original work which has not been previously<br>published and is not under review for publication elsewhere. All files must<br>be prepared using the latest IEEE Computer Society conference proceedings<br>guidelines (8.5" x 11" two-column format). Templates and further instructions<br>are available from the ACSD website. The page limit for regular papers is 10<br>pages. <br><br>In addition to regular submissions, described above, there will be a tools<br>section. Tool paper submissions are limited to 6 pages. They will be<br>presented at the conference in an interactive session.<br><br>Conference proceedings will be published by IEEE Computer Society Press.<br>According to the IEEE publication requirements, authors of accepted papers<br>are expected to present their papers at the conference, and will be required<br>to sign copyright release forms. Several papers will be considered for<br>publication in extended and revised form in a special issue of a journal.<br><br>All papers should be submitted via EasyChair:<br>http://www.easychair.org/conferences/?conf=acsd12 <br><br>IMPORTANT DATES<br><br>* abstract submission deadline: 13 Jan 2012<br>* paper submission deadline: 20 Jan 2012<br>* notification of acceptance: 19 Mar 2012<br>* conference: 27-29 Jun 2012<br><br>PROGRAM COMMITTEE <br><br>Jiri Barnat, Czech Republic<br>Twan Basten, The Netherlands<br>Behzad Bordbar, UK<br>Hanifa Boucheneb, Canada<br>Jens Brandt, Germany (co-chair)<br>Benoît Caillaud, France<br>Javier Campos, Spain<br>Josep Carmona, Spain<br>Franck Cassez, France<br>Thomas Chatain, France<br>Silvia Crafa, Italy<br>Rocco De Nicola, Italy<br>Jörg Desel, Germany<br>Zhenhua Duan, China<br>Keijo Heljanko, Finland (co-chair)<br>Masashi Imai, Japan<br>Petr Jancar, Czech Republic<br>Ryszard Janicki, Canada<br>Mark Josephs, UK<br>Gabriel Juhas, Slovakia<br>Victor Khomenko, UK<br>Fabrice Kordon, France<br>Barbara König, Germany<br>Johan Lilius, Finland<br>Robert Lorenz, Germany<br>Agnes Madalinski, Chile<br>Roland Meyer, Germany<br>Mohammadreza Mousavi, The Netherlands<br>Wojciech Penczek, Poland<br>Marta Pietkiewicz-Koutny, UK<br>Dumitru Potop Butucaru, France<br>Jean-Francois Raskin, Belgium<br>Partha Roop, New Zealand<br>Sandeep Shukla, USA<br>Nikola Trcka, The Netherlands<br>Antti Valmari, Finland<br>Walter Vogler, Germany<br>Karsten Wolf, Germany<br>Tomohiro Yoneda, Japan<br><br><br>STEERING COMMITTEE <br><br>Alex Yakovlev, UK (chair)<br>Benoît Caillaud, France<br>Jordi Cortadella, Spain<br>Jörg Desel, Germany<br>Alex Kondratyev, USA<br>Luciano Lavagno, Italy<br>Antti Valmari, Finland<br><br></span></body></html>