For this workshop, we kindly request contributions on (i) technical research or methodology (max. 15 pages), (ii) case studies (max. 15 pages), and (iii) problem statements or tools (max. 5 pages) in (but not limited to) the following topics:
Formal verification and validation (e.g. testing, simula- tion, experimentation) ofsafe high-performance requirements,safe non-deterministic behaviors (weakest invariants),safe off-line and on-line machine-learnable behaviors,resilience against hazardous unintentional or malicious misuse (e.g. non-vigilance, security attacks),Formal models and design methods forcontrollers,monitors,platforms (i.e., architecture, SW, HW, network),Verified efficient algorithms forincremental and online synthesis of controllers,optimal adaptive control,context-aware self-adaptation and run-time reconfiguration