====== 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).\\
\\
<style center>{{:lehrstuhl:neuigkeiten:ssv09_logo.jpg|}}</style>
\\
Further information can be found on the [[http://www.embedded.rwth-aachen.de/ssv09|SSV 09 homepage]].