Call for Papers and Announcement

ACSD 2010

10th International Conference on Application of Concurrency to System Design

Braga, Portugal, June 21-25, 2010

Additional information about the conference will be published via

Contact e-mail:

Collocated with Petri Nets 2010:
31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency

Common page at

This call for papers is available at

Important Dates:
NEW Abstract submission deadline: January 10, 2010
Paper submission deadline: January 10, 2010 January 17, 2010
(provided that the abstract is submitted by the original deadline 10th of January)
Notification of acceptance: March 12, 2010
Final version due: April 9, 2010
Conference: June 21-25, 2010

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there is already a large number of 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 theoretical and applied research on topics including, but not limited to, the following:

Paper submission

All papers should be in IEEE Computer Society Press 2-column format. See the Paper Formatting Instructions that is available at the section "Information for Authors" of the webpage The paper should be submitted via EasyChair:

The separate cover page should include the corresponding author’s physical and e-mail addresses, phone and FAX numbers (including the country code), the type of submission (regular, short or tool paper), and an abstract of at most 60 words.

The deadline for submission of papers is given at the top of this letter. The page limits are: 10 pages for regular papers, 6 pages for short papers, and 5 pages for tool papers.

Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. Acceptance of a tool paper implies that a tool demonstration should be given at the conference. Further information can be obtained through the conference web-site (given at the top).


Proceedings containing accepted and invited papers are planned to be published by IEEE Computer Society Press.

Best Paper Award

A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2010.

Special Issue

Several best papers of ACSD 2010 will be considered for publication in extended and revised form in a special issue of IET Computers & Digital Techniques.

Invited Speakers

In 2010, the PETRI NETS and the ACSD conferences will feature five keynote speakers of international reputation:

More information is available at the following address


Program Committee Co-Chair Program Committee Co-Chair
Luís Gomes
Departamento de Engenharia Electrotécnica
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
2829-516 Monte de Caparica
Phone: +351 212948336
Fax: +351 212948532
E-mail:  lugo[@]uninova[.]pt
Victor Khomenko
Newcastle University
School of Computing Science
Newcastle upon Tyne, NE1 7RU
United Kingdom
Phone: +44 191 222 8789
Fax: +44 191 222 8232
E-mail:  Victor[.]Khomenko[@]ncl[.]ac[.]uk
Organising Committee Chair Tools Exhibition Chair
João M. Fernandes
Universidade do Minho
Dept. Informática / CCTC
Campus de Gualtar
P-4710-057 Braga
Phone: +351 253604454
Fax: +351 253604471
E-mail:  jmf[@]di[.]uminho[.]pt
Ricardo J. Machado
Universidade do Minho
Dept. Sistemas de Informação
Campus de Azurém
P-4800-058 Guimarães
Phone: +351 253510307
Fax: +351 253510300
E-mail:  rmac[@]dsi[.]uminho[.]pt
Publicity Chair
João Paulo Barros
Instituto Politécnico de Beja
Rua Pedro Soares
Campus do Instituto Politécnico de Beja
Apartado 6155
P-7800-295 Beja
Phone: +351 284314400
Fax: +351 284314401
E-mail:  jpbarros[@]acm[.]org
Saint Barbara's garden

Steering Committee

Alex Yakovlev, (Newcastle University, UK), Chair
Benoit Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Alex Kondratyev (Cadence, USA)
Luciano Lavagno (Politecnico di Torino, Italy)
Antti Valmari, (Tampere University of Technology, Finland)

Program Committee

Joao-Paulo Barros
Twan Basten
Behzad Bordbar
Hanifa Boucheneb
Manfred Broy
Benoit Caillaud
Josep Carmona
Thomas Chatain
Gianfranco Ciardo
Erica Cota
Zhenhua Duan
Eric Fabre
Marc Geilen
Luís Gomes (co-chair)
Keijo Heljanko
Petr Jancar
Ryszard Janicki
Mark Josephs
Gabriel Juhas
Erwin de Kock
Victor Khomenko (co-chair)
Fabrice Kordon
Maciej Koutny
Antonin Kucera
Charles Lakos
Elizabeth Leonard
Johan Lilius
Lin Liu
Robert Lorenz
Marcello Soares Lubaszewski
Ricardo Machado
Agnes Madalinski
Roland Meyer
MohammadReza Mousavi
Rocco de Nicola
Doron Peled
Elisabeth Pelz
Laure Petrucci
Dumitru Potop-Butucaru
S Ramesh
Jean-Francois Raskin
Anders Ravn
Sandeep Shukla
Jean-Pierre Talpin
Irek Ulidowski
Antti Valmari
Walter Vogler
Karsten Wolf
Tomohiro Yoneda
Wenhui Zhang
Wlodek Zuberek

History of the Conference

The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems.

Previous editions of the ACSD conference: