ACSD 2006
Sixth International Conference on Application of Concurrency to
System Design
http://www.cs.abo.fi/acsd2006
*** Extended deadline for paper submission: 9 december 2005 ***
Dates and Venue
27-30 june 2006, Åbo Akademi University, Turku, Finland
Co-located with the International Conference on Application and Theory of
Petri Nets (http://www.cs.abo.fi/atpn2006)
Conference Focus
The International Conference on Application of Concurrency to System
Design (ACSD) serves as a forum for disseminating theoretical results
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 types
of research on the following topics:
* Methods for design of synchronous or asynchronous systems based on
models of concurrency (data-flow, communicating automata, Petri
nets, process algebras, statecharts, MSCs etc.).
* Correct-by-construction design methods and integration of
verification techniques with the design process.
* Synchronous / asynchronous design and communication interfaces:
Globally Asynchronous Locally Synchronous systems.
* Hardware / software co-design from common specifications.
* Concurrency issues in Systems on Chips (in particular, use of formal
methods for communication protocol design and verification).
Chairs
Kees Goossens (Philips, The Netherlands), programme committee co-chair
Johan Lilius (TUCS and Åbo Akademi University, Finland), general chair
Laure Petrucci (Université Paris 13, France), programme committee co-chair
Steering Committee
Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
Benoît Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politècnica 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
Kees Goossens (Philips, The Netherlands), co-chair
Laure Petrucci (Université Paris 13, France), co-chair
Twan Basten (Eindhoven University of Technology, The Netherlands)
Jonathan Billington (University of South Australia, Australia)
Marius Bozga (VERIMAG, France)
Franck van Breugel (York University, Canada)
Manfred Broy (Technische Universität München, Germany)
Benoît Caillaud, (IRISA, France)
Paul Caspi (VERIMAG, France)
Werner Damm (Universität Oldenburg, Germany)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Heiko Dörr (DaimlerChrysler Research, Germany)
Stephen Edwards (Columbia University, USA)
Radu Grosu (SUNY at Stony Brook, USA)
Thomas Henzinger (EPFL Lausanne, Switzerland)
Ryszard Janicki (McMaster University, Canada)
Kurt Jensen (University of Aarhus, Denmark)
Mark Josephs (London South Bank University, England)
Gabriel Juhas (Slovak University of Technology, Slovakia)
Sri Kanajan (General Motors Research, USA)
Faraydon Karim (ST Microelectronics, USA)
Michael Kishinevsky (INTEL, USA)
Victor Khomenko (University of Newcastle upon Tyne, England)
Erwin de Kock (Philips Research, The Netherlands)
Fabrice Kordon (University Paris 6, France)
Charles Lakos (University of Adelaide, Australia)
Johan Lilius (TUCS and Åbo Akademi University, Finland)
Ricardo Machado (Universidade do Minho, Portugal)
John Moondanos (INTEL, USA)
Enric Pastor (Universitat Politècnica de Catalunya, Spain)
Doron Peled (University of Warwick, England)
Wojciech Penczek (Polish Academy of Science and Univ. of Podlasie, Poland)
Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Yosinori Watanabe (Cadence, USA)
Alex Yakovlev (University of Newcastle upon Tyne, England)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Proceedings
Proceedings will be published by IEEE Computer Society Press.
Papers
Submitted papers should be in IEEE CS Press 2-column format (see links
below), with no more than 10 pages. The cover page should include the
corresponding author physical and e-mail addresses, phone, FAX numbers
and a 60-word abstract. The deadline for submissions is *9 december 2005*.
Paper submission will be handled electronically. More information will be
available on the conference web-pages.
Accepted papers will appear in the conference proceedings, published by
IEEE Computer Society Press.
Tool Demos
Submissions for tool demonstration should be no more than 2 pages (IEEE
format) and sent to Jerker Björqvist ([EMAIL PROTECTED]) by 1 march
2006.
Organizing Committee
Johan Lilius (general chair)
Jerker Björqvist (tool demo chair)
Xinrong Zhou (workshop chair)
Christel Engblom (secretary)
Ulf Tigerstedt (technical support)
Sponsoring and Cooperation
TBA
Important Dates
- Deadline for paper submission: 9 december 2005
- Deadline for tool demonstration submission: 1 march 2006
- Notification of acceptance: 13 march 2006
- Deadline for final version: 7 april 2006
- Conference: 27-30 june 2006
Links
* ACSD 2006 web page: http://www.cs.abo.fi/acsd2006
* IEEE CS Press 2-column format:
ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
