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.