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

[PVS] Deadline extension: ACSD 2010 (Application of Concurrency toSystem Design)



*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***


Dear colleague,

Due to several requests the paper submission deadline for the ACSD 2010 (Application of Concurrency to System Design) conference has been extended by a week to 17th of January, provided that the abstract is submitted by the original deadline 10th of January. 

--------------------------------------------------------------------

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

Abstract submission deadline:          January 10, 2010
Paper submission deadline (extended):  January 17, 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. See the Paper Formatting Instructions 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

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