Announcement: SSV 2011

The 6th International Workshop on Systems Software Verification (SSV 2011) will be organized by Jörg Brauer from our group together with Marco Roveri from FBK-irst and Hendrik Tews from TU Dresden. The head of the Embedded Software Laboratory, Stefan Kowalewski will serve as part of the program committee. SSV 2011 will take place on August 26 and 27, 2011 in Nijmegen, The Netherlands. It will be held in conjunction with the 2nd International Conference on Interactive Theorem Proving.


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany