Call for Papers: ACSD 2008 - Xian, China

Call for Papers: ACSD 2008 - Xian, China

[maciej koutny]

[Apologies for cross-postings]


===========================================================================
                     *** CALL FOR PAPERS ***

8th International Conference on Application of Concurrency to System Design

                          ACSD 2008

         *** Deadline for paper submission: 4 January 2008 ***
===========================================================================

   Dates: 23-27 June 2008
   Venue: Xidian University, Xi'an, China
   Email: acsd2008@xidian.edu.cn
   Web:   http://ictt.xidian.edu.cn/acsd2008/Pages/ACSD_main.jsp

ACSD 2008 will be co-located with

  29th International Conference on Application and
  Theory of Petri Nets and Other Models of Concurrency

and the two conferences will share invited speakers as well as the
satellite workshops and tutorials:

  http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/main.jsp

Conference Focus

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 are already quite a few success
stories in the field, there is still a strong need to bring theory and
practice closer together. The conference aims at cross-fertilising 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 systems, interface design, multi-clock
    systems, functional and timing verification.

  * Concurrency issues in systems-on-a chip, massively parallel architectures,
    networks-on-a-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, resource and
    power management, fault-tolerance, concurrency-related security issues.

  * Business process modelling, simulation and verification, (distributed)
    workflow execution, business process (de-)composition, interorganisational
    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.

ACSD Keynote Speaker 

  Mike Kishinevsky (Intel, Hillsboro, Oregon, USA)

General Chair

  Zhenhua Duan (Xidian University, China)

Program Committee Co-Chairs

  Jonathan Billington (University of South Australia, Australia)
  Maciej Koutny (University of Newcastle upon Tyne, UK)

Steering Committee

  Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
  Benoît 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)

Regular Papers

  Submitted papers should be in IEEE Computer Society Press 2-column format
  (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf).
  ***
  Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can be 
  submitted. 
  Authors submitting long papers should indicate in their submission 
  whether they would be prepared to reduce the length of their submissions 
  to 6 pages on the recommendation of the programme committee.
  ***
  The cover page should include the corresponding
  author, physical and e-mail addresses, phone and FAX numbers, and an
  abstract of at most 60 words. The deadline for submission of regular papers
  is *4 January 2008*. Paper submission will be handled electronically.
  Submitted papers should describe original work that has not been previously
  published and is not under review for publication elsewhere. 

Tool Papers and Demonstrations

  Submissions for tool demonstrations should be no more than 5 pages in IEEE
  CS Press format and should be submitted by *4 January 2008*. Tool papers will
  be reviewed by the programme committee. Acceptance of a tool paper implies
  that a tool demonstration should be given at the conference. For facility
  arrangements and questions, please contact Xiaobing Wang
  (xbwang@mail.xidian.edu.cn).

Submissions 
    
  Both regular and tool papers should be submitted to ACSD 2008 via Easy Chair:
  ***
  http://www.easychair.org/conferences/?conf=ACSD-08
  ***
  More information will be provided through the conference web site (see above).

Proceedings

  The proceedings, containing invited papers and accepted regular and tool
  papers, will 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 2008.

Special Issue Fundamenta Informaticae

  The best papers of ACSD will be considered for publication in extended and
  revised form in a special issue of the journal Fundamenta Informaticae.

Organising Committee

  Zhenhua Duan  (general chair)
  Xinbuo Gao    (co-chair)
  Shouzhi Wang  (co-chair)
  Bin Yu        (publicity chair)
  Xiaobing Wang (tool exhibition chair)

Sponsorship and Cooperation

  National Natural Foundation of China
  Shaanxi Province Computer Federation
  Institute of Computing Theory and Technology, Xidian University
  International Cooperation and Exchange Office, Xidian University

Important Dates

  - Deadline for paper submission:  4 January 2008
  - Notification of acceptance:     1 March   2008
  - Deadline for final version:    11 April   2008
  - Tutorials & Workshops:      23-24 June    2008
  - Conference:                 25-27 June    2008

Program Committee

Wil van der Aalst (TU Eindhoven, The Netherlands) 
Twan Basten (TU Eindhoven, The Netherlands)
Jonathan Billington (University of South Australia, Australia, co-chair)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universität München, Germany)
Gianfranco Ciardo (University of California at Riverside, USA) 
Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
Zhenhua Duan (Xidian University, China)
Stephen Edwards (Columbia University, USA)
Marc Geilen (TU Eindhoven, The Netherlands)
Keijo Heljanko (Helsinki University of Technology, Finland)
Petr Jancar (Technical University of Ostrava, Czech Republic)
Ryszard Janicki (McMaster University, Canada)
Kurt Jensen (University of Aarhus, Denmark)
Mark Josephs (London South Bank University, UK)
Gabriel Juhás (Slovak University of Technology, Slovakia)
Victor Khomenko (University of Newcastle upon Tyne, UK)
Erwin de Kock (NXP Semiconductors, The Netherlands)
Fabrice Kordon (University Paris 6, France)
Maciej Koutny (Newcastle University, UK, co-chair
Antonín Kucera (Masaryk University in Brno, Czech Republic)
Marta Kwiatkowska (Oxford University, UK)
Charles Lakos (University of Adelaide, Australia)
Johan Lilius (TUCS and Abo Akademi University, Finland)
Lin Liu (University of South Australia, Australia) 
Ricardo Machado (Universidade do Minho, Portugal)
Huaikou Miao (Shanghai University, China)
Rocco De Nicola (Universita` degli Studi di Firenze, Italy) 
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Université Paris 12, France)  
Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland)
Laure Petrucci (Université Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
Anders Ravn (Aalborg University, Denmark)
Sandeep Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (IRISA, France)
P.S. Thiagarajan (National University of Singapore, Singapore)
Irek Ulidowski (Leicester University, UK)  
Walter Vogler (Universität Augsburg, Germany) 
Jinyun Xue (Jiangxi Normal University, China)
Tomohiro Yoneda (National Institute of Informatics, Japan)
Bin Yu (Xidian University, China)
Wenhui Zhang (ISCAS, China)
Hong Zhu (Fudan University, China)
Wlodek Zuberek (Memorial University of Newfoundland, Canada)