This edition is organized by the Fault Tolerant Systems Research Group in Budapest University of Technology and Economics in collaboration with ARiSE – Austrian Society for Rigorous Systems Engineering and LogiCS – Logical Methods in Computer Science.
Organization: