[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Last Call for Papers: ACSD 2010 (Application of Concurrency toSystem Design)

*** Apologies for multiple copies due to cross-posting ***

*** Please forward to colleagues who might be interested ***



======================== Last Call for Papers ========================= =================================================================


ACSD 2010:

10th International Conference on Application of Concurrency to System Design June 21-25, 2010


Braga, Portugal


Web: http://acsd2010.di.uminho.pt/

Email : acsd2010[@]di[.]uminho[.]pt


Collocated with Petri Nets 2010:

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




Important Dates:


Paper submission deadline: January 10, 2010

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:


   * 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 (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct8.5x11.pdf,

see also the Formatting section from Information for Authors of the webpage http://www.computer.org/cps/), and 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.



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


More information is available at the following address:




Program Committee Co-Chairs


Luís Gomes

Universidade Nova de Lisboa



Victor Khomenko

Newcastle University

United Kingdom



Organising Committee Chair


João M. Fernandes

Universidade do Minho




Tools Exhibition Chair


Ricardo J. Machado

Universidade do Minho




Publicity Chair


João Paulo Barros

Instituto Politécnico de Beja




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:

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