8th International Conference on Application of Concurrency to System Design (ACSD 2008) in China

Date and Venue : 23-27 June 2008, Xidian University, Xi’an, China

Important Dates• Paper submission deadline: 4 January 2008
• Notification of acceptance: 1 March 2008
• Deadline for final version: 11 April 2008

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-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 (dataflow
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 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, resource, power and Quality of Service
management, fault-tolerance, concurrency-related security issues.
• Business process modeling, simulation and verification, (distributed) workflow execution,
business process (de-) composition, interorganizational and heterogeneous workflow systems,
computer-supported collaborative work systems, web services.
• Synthesis and control of concurrent systems, (compositional) modeling and design, distributed
simulation and implementation, (distributed) controller synthesis, adaptive systems,
supervisory control.

<--more-->
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. The joint web site for the two conferences is given above.

Regular PapersSubmitted papers should be in IEEE Computer Society Press 2-column format available from ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf. Both long papers (with no more than 10 pages) and short papers (with no more than 6 pages) can be submitted. Submitted papers should describe original work that has not been previously published and is not under review for publication elsewhere. More information can be obtained through the conference web site (see above).

Tool Papers and Demonstrations Submissions for tool demonstrations should be no more than 5 pages in IEEE CS Press format.
Acceptance of a tool paper implies that a tool demonstration should be given at the conference.

Proceedings
Proceedings containing accepted regular papers, invited papers and tool papers are planned to be published by IEEE Computer Society Press.

Best Paper Award
An award will be given to the author(s) of the best regular paper presented at ACSD 2008.
Special Issue Fundamenta Informaticae
Best papers of ACSD will be considered for publication in extended and revised form in a special issue of the Fundamenta Informaticae journal.

For complete information visit : http://ictt.xidian.edu.cn/acsd2008/Pages/ACSD_CFP.jsp