Ankündigung: SSV 2011

Den diesjährigen 6th International Workshop on Systems Software Verification (SSV 2011) organisiert Jörg Brauer aus unserer Gruppe gemeinsam mit Marco Roveri vom FBK-irst und Hendrik Tews von der TU Dresden. 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 2nd International Conference on Interactive Theorem Proving statt.


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland