Subject Area and Category
Publication type
Conferences and Proceedings
Scope
The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit concurrent behavior. In particular, the following topics are of interest:
Formal models of computation and concurrency for synchronous and asynchronous systems and problems, like data-flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics
Design principles for concurrent systems, in particular hardware/software co-design, platform-based design, component-based design, modular synthesis, distributed simulation and control, refinement techniques, hardware/software abstractions, cross-layer optimization
Algorithms and tools for concurrent systems, ranging from programming languages to algorithmic methods, for system analysis and construction, including model checking, verification, and static analysis techniques as well as synthesis procedures
High-performance computer architectures like many-core processors, on-chip-networks, graphics processing units, instruction-level parallelism, dataflow architectures, cache coherency, memory systems, up to ad-hoc, mobile, and wireless networks.