ACSD 2014

14th International Conference on
Application of Concurrency to System Design (ACSD 2014)

ACSD 2014 is Technically Co-Sponsored by IEEE Computer Society

VENUE

ACSD 2014 will take place in Tunis (Tunisia) from June 23 to
June 27, 2014, and will be co-located with Petri Nets 2014.
You can get more information here:

http://acsd2014.cnam.fr/

CONFERENCE SCOPE

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

* High-performance and massively parallel architectures:
many-core processors, Systems and Networks on Chip, dataflow
architectures.

* Hard real-time & embedded systems: concurrency, security
and safety-critical issues.

* Concurrency issues in ad-hoc, mobile and wireless networking,
wireless sensor networks, and communication protocols.

* Synchronous and asynchronous circuit design, globally
asynchronous locally synchronous systems, interface design,
multi-clock systems, functional and timing verification.

* High-scalability system design: load balancing, network &
memory management, power proportionality, decentralised
control, cloud and swarm computing.

* Resource management: task and communication scheduling,
resource, memory and power management, fault-tolerance
and Quality of Service.

* Business process modelling, simulation and verification,
(distributed) workflow execution, business process
(de-)composition, inter-organisational and heterogeneous
workflow systems, computer-supported collaborative work
systems, web services.

* Software engineering for concurrent systems: languages,
verification, synthesis, and cross-layer optimisation.

* Compositional design and modelling of concurrent systems,
modular synthesis and analysis, distributed simulation and
implementation, distributed control, adaptive systems,
supervisory control.

* Hardware/software co-design, platform-based design,
component-based design, energy-aware design, refinement
techniques, hardware/software abstractions, co-simulation
and verification.

* (Industrial) case studies of general interest, gaming
applications, consumer electronics and multimedia,
automotive systems, (bio-)medical applications, internet
and grid computing, etc.

* Systems of systems (e.g., cyber-physical systems, ambient
systems): design, verification and deployment.

* Software and hardware memory models, DRAM scheduling,
cache coherency, memory-aware algorithms.

STEERING COMMITTEE

Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Jorg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland