[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

(http://petrinets2010.di.uminho.pt)

 

Common page at http://acsd-petrinets2010.di.uminho.pt

 

===========================================================

This call for papers is available at

http://acsd-petrinets2010.di.uminho.pt/?page=ACSDCallForPapers

 

===========================================================

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.

 

===========================================================

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

 

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:

 http://acsd-petrinets2010.di.uminho.pt/?page=InvitedSpeakers

 

===========================================================

Program Committee Co-Chairs

 

Luís Gomes

Universidade Nova de Lisboa

Portugal

 

Victor Khomenko

Newcastle University

United Kingdom

 

================================

Organising Committee Chair

 

João M. Fernandes

Universidade do Minho

Portugal

 

================================

Tools Exhibition Chair

 

Ricardo J. Machado

Universidade do Minho

Portugal

 

================================

Publicity Chair

 

João Paulo Barros

Instituto Politécnico de Beja

Portugal

 

===========================================================

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