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, graph rewriting, state charts, MSCs, etc.);
  • graph transformations (as an elementary model of concurrency and many applications), logics for concurrency (e.g., modal and temporal logics);
  • verification, testing, synthesis and (performance) analysis;
  • software and hardware memory models, semantics (operational, axiomatic), theorem proving, memory model aware verification;
  • hardware/software co-design, platform-based design, component-based design, energy-aware 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 hard real-time systems, embedded systems and Systems on Chip, massively parallel architectures, Networks on Chip, task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service issues;
  • concurrency issues in ad-hoc, mobile and wireless networking, wireless sensor networks, communication protocols, cross-layer optimization, resource and power management, fault-tolerance, concurrency-related security and safety-critical issues;
  • systems of systems (e.g., cyber-physical systems, ambient systems): design, verification and deployment;
  • synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control;
  • concurrent programming, scalability and the Cloud;
  • (industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.;
  • 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.

Posted by ACSD September 19th, 2012