This edition is organised by the Systematic Construction of Correct Systems Research Group at Graz University of Technology in collaboration with ARiSE – Austrian Society for Rigorous Systems Engineering and LogiCS – Logical Methods in Computer Science.
Organization: