Published by

Last news

Invited Speakers

Keynote Talks by Steve Furber and Yosinori Watanabe.

Deadline extended

Deadline for submissions of papers extended until 17 january 2009.

Last call for papers

Please note the extended deadline for paper submission.

Conference hompage online

Please note the important dates and the preliminary call for papers.

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