The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating advanced research results on theory and practice of design of concurrent systems. While there are a few success stories in this field, there is a real need to provide practitioners with adequately sound and expressive tools, and researchers with real motivations and examples. The aim of this conference is to contribute towards this goal by bringing together experts in a wide variety of fields related to complex concurrent system design and analysis.

Proceedings will be published by IEEE CS Press, and a selection of six papers will also be published in a special edition of "Fundamenta Informaticae", IOS Press, Netherlands.

Program Co-chairs

Johan Lilius, TUCS and Åbo Akademi University, Finland, Johan.Lilius@abo.fi

Felice Balarin, Cadence Berkeley Labs, USA, felice@cadence.com

Organization: Universidade do Minho, Portugal

Ricardo J. Machado (Chair), rmac@dsi.uminho.pt

João M. Fernandes (Co-Chair), miguel@di.uminho.pt

Previous ACSD conferences

• CSD'98 was in Fukushima, Japan, in March 1998. The proceedings are available at the following address:
  http://computer.org/cspress/CATALOG/pr08350.htm
  

• ACSD'01 was in Newcastle Upon Tyne, UK, in June 2001. The conference web site is still available at the following address:
  http://www.cs.ncl.ac.uk/conferences/2001/pn/CSDcall.html
  The proceedings can be found in:
  http://computer.org/cspress/CATALOG/pr01071.htm

For further information about ACSD 2003 please send email to acsd03@dsi.uminho.pt.

Venue

ACSD03 will take place at Hotel da Falperra, in a quite location near the town of Braga.