ARiSE: Rigorous Systems Engineering Network

We participate in the new ARiSE Network on Rigorous Systems Engineering, which connects the unusually high critical mass of researchers in formal verification and related topics concentrated in Austria. Member organizations are IST Austria, JKU Linz, TU Graz, TU Wien and Universität Salzburg. See for details.