19th International Conference on Application of Concurrency to System Design, Aachen, Deutschland

Abbrevation

ASCD

Link

http://www.petrinets2019.de/acsd-2019/

City

Aachen

Country

Germany

Deadline Paper

2019-02-01

Start Date

2019-06-23

End Date

2019-06-28

Abstract

The 19th international ACSD conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The conference will take place in the conference area of the Tivoli football stadium, close to the city center of Aachen. The language of the conference is English. The conference proceedings will be submitted for inclusion to IEEE Xplore. CONFERENCE 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 – Resource management in implementations including task and communication scheduling, network–, memory–, and power–management, energy/power distribution, fault–tolerance, quality of service, scalability, load balancing, power proportionality – Real–time aspects, incl. hard real–time requirements, security– and safety–critical issues, functional and timing verification – Cyber–physical systems, hybrid systems, networked systems, and networks in biological systems – Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio–) medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications.