Vom 06. bis zum 20. Januar 2012 hat unsere Gruppe Besuch von 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.