Third International Conference on Application of Concurrency to System Design 

18-20 June, 2003 Guimarães, Portugal

Proceedings published by IEEE Computer Society Press A selection of papers published by IOS Press Co-sponsored by IFIP WG10.5 and SIG-ES Co-sponsored by Colégio de Engenharia Informática da Ordem dos Engenheiros In cooperation with Formal Methods Europe In cooperation with ACM SIGSOFT In cooperation with ACM SIGDA In cooperation with EU ACiD-WG


In Cooperation with In Cooperation
In Cooperation
In Cooperation


Third International Conference on Application of Concurrency to System Design (ACSD 2003)


18-20th of June 2003, Guimarães, Portugal

Co-sponsored by

IFIP WG10.5 and SIG-ES
OE/CEI - Colégio de Engenharia Informática da Ordem dos Engenheiros Portuguesa
In cooperation with
FME - Formal Methods Europe
Proceedings published by
IEEE Computer Society Press 

A selection of six papers of ACSD 2003 will also be published in a special edition of "Fundamenta Informaticae", IOS Press, Netherlands

The International Conference on Application of Concurrency to System Design (ACSD) is being organized for the third time (see also ACSD 2001) to serve 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. The scientific program will also include invited lectures covering the areas of current interest, tool presentations and demonstration.


Felice Balarin - Cadence Berkeley Labs,USA
Johan Lilius - Turku Centre for Computer Science and Åbo Akademi University, Finland


  • Formal and semi-formal models: Petri nets, Process Algebras, Temporal Logics, Data Flow nets, Statecharts (both Harel's and UML), Synchronous Languages, HDLs, etc.
  • Formal methods for CAD and verification of concurrent systems: model checking, asynchronous design, high-level synthesis, hardware/software co-design, etc.
  • Real-time and hybrid systems
  • Discrete-event systems, communication protocols and interfaces
  • Concurrency issues in designing Systems-on-Chip
  • Case studies of concurrent systems design and verification
  • Presentation of software tools supporting the above topics

Submitted papers should be no more than 15 pages in 11-point font with a 60-word abstract, and should include a cover page with authors' physical and e-mail addresses, phone and FAX numbers by 1st December 2002. Paper submission will be handled electronically. More information will be available on the Conference web-pages.

Accepted papers will be published by the IEEE Computer Society Press.


Submissions for tool demonstration should be no more than 2 pages and sent to Felice Balarin ( by 1st of February 2003. The accepted tool descriptions will appear as an appendix in the conference proceedings.


Deadline for paper submission: 1st December 2002 
New: Submission Deadline extended to Dec. 10th 2002!

Deadline for tool demonstration submission: 1st February 2003
Notification of acceptance: 1st March 2003
Deadline for final version: 28th March 2003


F. Balarin (Cadence, USA) -
M. Bednarczyk (IPI PAN, Poland) -
M. Broy (Technical Univ. of Munich, Germany) -
J. Billington (Univ. of South Australia, Australia) -
P. Caspi (VERIMAG, France) -
J. Cortadella (UPC, Spain) -
J. Desel (Katlische Univ. Eichstatt, Germany) -
H. Hsieh (Univ. of California - Riverside, USA) -
R. Janicki (McMaster University, Canada) - janicki@mail.CAS.McMaster.CA
M. Josephs (SBU, UK) -
M. Kishinevsky (Intel, USA) -
B. Kleinjohann (C-LAB, Germany) -
A. Kondratyev (Cadence, USA) -
R. Kurshan (Cadence, USA) -
L. Lavagno (Politecnico di Torino, Italy) -
J. Lilius (TUCS and Åbo Akademi Univ., Finland) -
R. J. Machado (Univ. do Minho, Portugal) -
N. Marranghello (Unesp, Brazil) -
A. Moreira (Univ. Nova de Lisboa, Portugal) -
E. Pastor (Univ. de Catalunya, Spain) -
G. Rozenberg (Leiden Univ, Netherlands) -
S. Tripakis (VERIMAG, France) -
A. Valmari (Tampere Univ. of Technology, Finland) -
A. Yakovlev (Univ. of Newcastle upon Tyne, UK) -
W. Yi (Uppsala, Sweden) -
T. Yoneda (Tokyo IT, Japan) -

ORGANIZING COMMITTEE (Universidade do Minho, Portugal)

Ricardo J. Machado (chair)
João M. Fernandes (co-chair & finance)
Maribel Y. Santos (local arrangements)
Luís P. Santos (sponsors)
Rui J. José (web & internet services)
Íris S. Saraiva (publicity & media)
António J. Esteves (travel & tourism)


IFIP Link: B. Kleinjohann, C-LAB, Germany
FME Link: J.N. Oliveira, Universidade do Minho, Portugal
OE/CEI Link: J.M. Tribolet, INESC/IST, Portugal


   Supported by 

Supported by Universidade do Minho Supported by Escola de Engenharia Supported by Centro Algoritmi Supported by Dept. de Sistemas de Informação Supported by Dept. de Informática