====== SSV 2009 ======

Der 4. internationale Systems Software Verification Workshop (SSV 09) wird dieses Jahr von unserem Lehrstuhl veranstaltet und findet vom 22. bis 24. Juni 2009 an der RWTH Aachen im Super C statt. Vorsitzende des Programmkomitees sind Dr. Ralf Huuck (National ICT Australia), Dr. Gerwin Klein (National ICT Australia) und Dr. Bastian Schlich (Lehrstuhl Informatik 11).\\
\\
<style center>{{:lehrstuhl:neuigkeiten:ssv09_logo.jpg|}}</style>
\\
Weitere Informationen finden Sie auf der [[http://www.embedded.rwth-aachen.de/ssv09|Homepage des Workshops]].