ACSD 2005: Call for Papers
Download the Call for Papers in PDF or plain text formats.
The deadline for paper submission is extended to December 17th
Dates and Venue
6-9th of June 2005, Palais du Grand Large, St Malo, France
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
- Benoît Caillaud (IRISA / INRIA Rennes), General
Chair
- Jörg Desel (Katholische Universität
Eichstätt-Ingolstadt, Germany), program committee co-chair
- Yosinori Watanabe (Cadence, USA), program committee co-chair
Steering Committee
- A. Yakovlev (Univ. of Newcastle upon Tyne, UK), Chair
- J. Cortadella (Univ. Politecnica de Catalunya, Spain)
- J. Desel (Katlische Univ. Eichstatt, Germany)
- A. Kondratyev (Cadence, USA)
- L. Lavagno (Politecnico di Torino, Italy)
- A. Valmari (Tampere Univ. of Technology, Finland)
Program Committee
- Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany), co-chair
- Yosinori Watanabe (Cadence, USA), co-chair
- D.K. Arvind (University of Edinburgh, Scotland)
- 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)
- Paul Caspi (VERIMAG, France)
- Werner Damm (Universität Oldenburg, Germany)
- Heiko Dörr (DaimlerChrysler Research, Germany)
- Stephen Edwards (Columbia University, USA)
- Javier Esparza (Universität Stuttgart, Germany)
- Ursula Goltz (Technische Universität Braunschweig, Germany)
- Radu Grosu (SUNY at Stony Brook, USA)
- Thomas Henzinger (EPFL Lausanne, Switzerland)
- Ryszard Janicki (McMaster University, Canada)
- Kurt Jensen (University of Aarhus, Denmark)
- Bengt Jonsson (Uppsala University, Sweden)
- Mark Josephs (London South Bank UNiversity, England)
- Sri Kanajan (General Motors Research, USA)
- Michael Kishinevsky (INTEL, USA)
- Erwin de Kock (Philips Research, The Netherlands)
- Robert Kurshan (Cadence, USA)
- Luciano Lavagno (Politecnico de Torino, Italy)
- Johan Lilius (TUCS and Aabo Akademi University, Finland)
- Ricardo Machado (Universidade do Minho, Portugal)
- Miroslaw Malek (Humboldt-Universität zu Berlin, Germany)
- John Moondanos (INTEL, USA)
- Laure Petrucci (Université Paris Nord, France)
- Jan Rabaey (University of California at Berkeley, USA)
- Anders Ravn (Aalborg University, Denmark)
- Enric Pastor (Universitat Politecnica de Catalunya, Spain)
- Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland)
- P.S. Thiagarajan (National University of Singapore)
- Antti Valmari (Tampere University of Technology, Finland)
- Alex Yakovlev (University of Newcastle upon Tyne, England)
- Tomohiro Yoneda (National Institute of Informatics, Japan)
- Qiang Zhu (Fujitsu Labs, Japan)
- Wlodek Zuberek (Memorial University of Newfoundland, Canada)
Proceedings
Proccedings will likely be published by IEEE Computer Society
Press.
Papers
Submitted papers should be in IEEE CS Press 2-column format (see at
ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf),
with no more than 10 pages. The cover page should include the
corresponding authors' physical and e-mail addresses, phone, FAX
numbers and a 60-word abstract. The deadline for submissions is 10
December 2004. Paper submission will be handled electronically. More
information will be available on the conference web-pages.
Accepted papers will appear in the conference proceedings, likely
be published by IEEE Computer Society Press.
Tool Demos
Submissions for tool demonstration should be no more than 2 pages
and sent to Hervé Marchand
<Herve.Marchand@irisa.fr> by 4 February 2005.
Organizing Committee
- Edith Blin (IRISA / INRIA Rennes)
-
Benoît Caillaud (IRISA / INRIA Rennes), general chair
- Myriam David (IRISA / INRIA Rennes)
-
Loïc Hélouët, (IRISA / INRIA Rennes), web pages, communication
- Elisabeth Lebret (IRISA / INRIA Rennes)
-
Hervé Marchand, (IRISA / INRIA Rennes), tool demos
-
Laure Petrucci, (LIPN / Univ. Paris Nord), satellite workshops
-
Sophie Pinchinat, (IRISA / Univ. Rennes 1)
Sponsoring and Cooperation
The event is organized in cooperation with ACM SIGDA and SIGSOFT. The
conference is sponsored by INRIA and is likely to be sponsored by several other
institutions, including University of Rennes 1, Conseil général d'Ille et
Vilaine, Conseil régional de Bretagne and The Town of St
Malo.
Important Dates
- Extended deadline for paper submission: 17 December 2004
- Deadline for tool demonstration submission: 8 April 2005
- Notification of acceptance: 24 March 2005
- Deadline for final version: 8 April 2005
- Conference: 6-9 June 2005
Links