====== Ankündigung: SSV 2011 ======

Den diesjährigen [[https://es.fbk.eu/events/ssv2011/index.php|6th International Workshop on Systems Software Verification]] (SSV 2011) organisiert[[:en:lehrstuhl:mitarbeiter:brauer| Jörg Brauer]] aus unserer Gruppe gemeinsam mit [[http://es.fbk.eu/index.php?n=People.Roveri|Marco Roveri]] vom FBK-irst und [[http://www.askra.de/|Hendrik Tews]] von der TU Dresden. [[:en:lehrstuhl:mitarbeiter:kowalewski|Herr Professor Stefan Kowalewski]] wird zudem Mitglied des Programmkomittees sein. Die Veranstaltung findet am 26. und 27. August 2011 in Nijmegen in den Niederlanden zusammen mit der [[http://itp2011.cs.ru.nl/ITP2011/Home.html|2nd International Conference on Interactive Theorem Proving]] statt.