Abbrevation
ACSD
City
Aachen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract

<span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">The conference aims at cross&#8211;fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour&#046; In particular, the following topics are of interest: </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Formal models of computation and concurrency for the above systems and problems, like data&#8211; flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Compositional design principles like modular synthesis, distributed simulation and implementation, distributed control, adaptivity, supervisory control </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* 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 </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Synchronous and asynchronous systems on all design levels: polychronous systems, endochronous systems, globally asynchronous locally synchronous systems </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Cyber&#8211;physical systems, hybrid systems, networked systems, and networks in biological systems </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* High&#8211;performance computer architectures like many&#8211;core processors, networks on chip, graphics processing units, instruction&#8211;level parallelism, dataflow architectures, up to ad&#8211;hoc, mobile, and wireless networks </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Memory consistency models for multiprocessor and multicore architectures, replicated data, including software and hardware memory models, DRAM scheduling, cache coherency, memory&#8211;aware algorithms </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Real&#8211;time aspects, including hard real&#8211;time requirements, security and safety&#8211;critical issues, functional and timing verification </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Implementation aspects like resource management, including task and communication scheduling, network&#8211;, memory&#8211;, and power&#8211;management, energy/power distribution, fault&#8211;tolerance, quality of service, scalability, load balancing, power proportionality </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Design principles for concurrent systems, in particular hardware/software co&#8211;design, platform&#8211;based design, component&#8211;based design, energy&#8211;aware design, refinement techniques, hardware/software abstractions, cross&#8211;layer optimization </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Business process modelling, workflow execution systems, process (de&#8211;)composition, inter&#8211;organizational and heterogeneous workflow systems, systems for computer&#8211;supported collaborative work, web services </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"> </span><br style="background&#8211;color: transparent; color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; padding&#8211;bottom: 0px; padding&#8211;left: 0px; padding&#8211;right: 0px; padding&#8211;top: 0px; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;"><span style="display: inline !important; float: none; background&#8211;color: rgb(246, 246, 246); color: rgb(17, 17, 17); font&#8211;family: verdana,arial,helvetica,sans&#8211;serif; font&#8211;size: 13px; font&#8211;size&#8211;adjust: none; font&#8211;stretch: 100%; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;align: left; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none; &#8211;webkit&#8211;text&#8211;stroke&#8211;width: 0px; white&#8211;space: normal; word&#8211;spacing: 0px;">* Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio&#8211;)medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications&#046; </span>