The paper "Designing and analyzing open application-oriented Labs in Software-Verification Education" by Antje Rogalla, Timo Kamph, Ulrike Bulmann, Katrin Billerbeck, Mathias Blumreiter and Sibylle Schupp has been accepted at the <link https: www.sefi2020.eu _blank sefi2020>Sefi2020.
This year, the Sefi Conference will be held online.