====== Thomas Reinbacher zu Gast ======

Vom 06. bis zum 20. Januar 2012 hat unsere Gruppe Besuch von [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]] von der TU Wien. Zwischen der TU Wien im Allgemeinen und Thomas im Speziellen sowie dem i11 bestehen seit einigen Jahren Kooperationen bei Forschungsthemen wie Binärcode-Analyse und -Testing oder Laufzeitverifikation. 
\\
\\
Zur Laufzeitverifikation für eingebettete Systeme wird er am 19. Januar um 12:30 bis 13:15 im Raum 2002 einen Vortrag halten. Interessierte sind herzlich eingeladen.