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 http://acsd2010.di.uminho.pt/

Contact e-mail: acsd2010@di.uminho.pt

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.

Topics

The conference aims at cross-fertilizing both theoretical and applied research on topics including, but not limited to, the following:

• Design methods, tools and techniques based on models of computation and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance) analysis, verification, testing and synthesis;
• Hardware / software co-design, platform-based design, component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification;
• Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous (GALS) systems, interface design, multi-clock systems, functional and timing verification;
• Concurrency issues in Systems on Chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues;
• (Industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.;
• Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, concurrency-related security issues;
• Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-) composition, inter-organisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services;
• Synthesis and control of concurrent systems, (compositional) modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.

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 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

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:

• David Harel (Distinguished Carl Adam Petri Lecture);
• Kim Guldstrand Larsen;
• Gabriel Juhás;
• Maciej Koutny;
• Lars M. Kristensen.

Organisation

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 Portugal 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 Portugal 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 Portugal 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 Portugal Phone: +351 284314400 Fax: +351 284314401 E-mail:  jpbarros[@]acm[.]org

Steering Committee

Program Committee

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.

• 9. 2009 Augsburg, Germany
• 8. 2008 Xi'an, China
• 7. 2007 Bratislava, Slovakia
• 6. 2006 Turku, Finland
• 5. 2005 St Malo, France
• 4. 2004 Hamilton, Ontario, Canada
• 3. 2003 Guimarães, Portugal
• 2. 2001 Newcastle Upon Tyne, UK
• 1. 1998 Fukushima, Japan