ACSD 2005

   Fifth International Conference on  Application of Concurrency to
			    System Design

		      http://acsd2005.irisa.fr/

			Second Call for Papers

          *** Deadline for paper submission: 10 December 2004 ***

          *** The electronic submission service is now online ***

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 (U. of Newcastle upon Tyne, UK), Chair 
  J. Cortadella (U. 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 (U. of Edinburgh, Scotland) 
  Twan Basten (Eindhoven University of Technology, The Netherlands) 
  Jonathan Billington (U. 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 (U. 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 U. 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

  Proceedings will likely 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 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

  * Deadline for paper submission: 10 December 2004 
  * Deadline for tool demonstration submission: 4 February 2005 
  * Notification of acceptance: 24 March 2005 
  * Deadline for final version: 8 April 2005 
  * Conference: 6-9 June 2005 

Links

  * ACSD 2005 web page: http://acsd2005.irisa.fr/ 
  * IEEE CS Press 2-column format:
   ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf