SSV 2009

This year, the 4th international Systems Software Verification workshop (SSV 09) is organized by our institute and will be held from 22. until 24. June 2009 at the RWTH Aachen University in the Super C building. The program committee is chaired by Dr. Ralf Huuck (National ICT Australia), Dr. Gerwin Klein (National ICT Australia), and Dr. Bastian Schlich (Embedded Software Laboratory).


Further information can be found on the SSV 09 homepage.


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