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
Published
by
Published
by
Co-Sponsored
by

Co-Sponsored
by

In Cooperation with In Cooperation
with
In Cooperation
with
In Cooperation
with
Home
 

                              

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

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.

 

   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
 

acsd03@dsi.uminho.pt

get.dsi.uminho.pt/acsd03