ACSD 2009
9th International Conference on
Application of Concurrency to System Design
1-3 July 2009
University of Augsburg, Germany
acsd[at]informatik[dot]uni-augsburg[dot]de
http://www.informatik.uni-augsburg.de/acsd/
*** Paper deadline: 4 January 2009 ***
Notification of acceptance: 10 March 2009
Final version due: 10 April 2009
The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following:
* 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 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, resource and power management, fault-tolerance, concurrency-related security issues.
* Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, interorganisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services.
* Synthesis and control of concurrent systems, (compositional) modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.
Programme Committee Co-Chairs
Stephen Edwards (Columbia University, USA)
Walter Vogler (Augsburg University, Germany)
Organizing Chair
Robert Lorenz (Augsburg Unversity, Germany)
Steering Committee
Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoit Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
J�rg Desel (Katholische Universit�t Eichst�tt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari (Tampere University of Technology, Finland)
Programme Committee
Wil van der Aalst (TU Eindhoven, The Netherlands)
Twan Basten (TU Eindhoven, The Netherlands)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universit�t M�nchen, Germany)
Benoit Caillaud (IRISA, France)
Gianfranco Ciardo (University of California at Riverside, USA)
Zhenhua Duan (Xidian University, China)
Stephen Edwards (Columbia University, USA), co-chair
Marc Geilen (TU Eindhoven, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Mark Josephs (London South Bank University, UK)
Gabriel Juhas (Slovak University of Technology, Slovakia)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (NXP Semiconductors, The Netherlands)
Fabrice Kordon (Universite Paris 6, France)
Maciej Koutny (Newcastle University, UK)
Antonin Kucera (Masaryk University in Brno, Czech Republic)
Charles Lakos (University of Adelaide, Australia)
Elizabeth Leonard (Naval Research Labs, Washington, DC, USA)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Lin Liu (University of South Australia, Australia)
Robert Lorenz (Universit�t Augsburg, Germany), organizing chair
Ricardo Machado (Universidade do Minho, Portugal)
Mohammad Mousavi (Eindhoven University of Technology, The Netherlands)
Rocco De Nicola (Universita degli Studi di Firenze, Italy)
Jens Palsberg (University of California, Los Angeles, USA)
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Universite Paris 12, France)
Wojciech Penczek (Polish Acad of Science and Univ of Podlasie)
Laure Petrucci (Universite Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-Francois Raskin (Universite Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (IRISA, France)
Irek Ulidowski (Leicester University, UK)
Antti Valmari (Tampere University of Technology, Finland)
Walter Vogler (Universit�t Augsburg, Germany), co-chair
Karsten Wolf (Universit�t Rostock, Germany)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wenhui Zhang (ISCAS, China)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Regular Papers
Regular papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), and should be submitted via Easychair. Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can be submitted. Authors submitting long papers should indicate in their submission whether they would be prepared to reduce the length of their submissions to 6 pages on the recommendation of the programme committee.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The deadline for submission of regular papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. More information can be obtained through the conference web-pages.
Tool Papers
Tool papers should be in IEEE Computer Society Press 2-column format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf, see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), with no more than 5 pages, and should be submitted via Easychair.The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The references should include a link to the tool-homepage, where it can be downloaded. The deadline for submission of tool papers is 4 January 2008. Papers will also be accepted up to 10 January 2008, so long as the cover page (including title and abstract) is submitted by 4 January 2008. Acceptance of a tool paper implies that a tool demonstration should be given at the conference. For facility arrangements and questions, please contact acsd@informatik.uni-augsburg.de.
Proceedings
Proceedings containing accepted regular papers, tool papers and invited papers are planned to be published by IEEE Computer Society Press.
Best Paper Award
A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2009.
Special Issue Fundamenta Informaticae
Best papers of ACSD will be considered for publication in extended and revised form in a special issue of the journal Fundamenta Informaticae.
Organizing Committee
Robert Lorenz (organizing chair)
Christian K�lbl (secretary, web pages)
Markus Huber (technical support, communication)
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
