31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency
Common page at http://acsd-petrinets2010.di.uminho.pt
This call for papers is available at http://acsd-petrinets2010.di.uminho.pt/?page=ACSDCallForPapers
|NEW Abstract submission deadline:||January 10, 2010|
|Paper submission deadline:|
|(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:
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 http://www.computer.org/portal/web/cscps/home). The paper should be submitted via EasyChair: http://www.easychair.org/conferences/?conf=acsd10
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.
A best paper award will be given to the author(s) of the best regular paper presented at ACSD 2010.
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.
In 2010, the PETRI NETS and the ACSD conferences will feature five keynote speakers of international reputation:
|Program Committee Co-Chair||Program Committee Co-Chair|
Departamento de Engenharia Electrotécnica
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
2829-516 Monte de Caparica
School of Computing Science
Newcastle upon Tyne, NE1 7RU
|Organising Committee Chair||Tools Exhibition Chair|
Universidade do Minho
Dept. Informática / CCTC
Campus de Gualtar
Ricardo J. Machado
Universidade do Minho
Dept. Sistemas de Informação
Campus de Azurém
João Paulo Barros
Instituto Politécnico de Beja
Rua Pedro Soares
Campus do Instituto Politécnico de Beja
Luís Gomes (co-chair)
Erwin de Kock
Victor Khomenko (co-chair)
Marcello Soares Lubaszewski
Rocco de Nicola
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: