Vom 19. Juli bis zum 13. August bekommt unser Lehrstuhl Besuch von Thomas Reinbacher, einem Doktoranden an der TU Wien. Im Rahmen seiner Forschung beschäftigt Thomas sich vor allem um Testfallgenerierung auf Basis von ausführbarem Programmcode und die Anbindung von Testing an den [mc]square Model-Checker.
Am 29. Juli um 10:00 Uhr wird er im Raum 2002 einen 30-minütigen Vortrag über seine Arbeit halten. Interessierte Zuhörer sind herzlich eingeladen.
Am 18.06.2010 wurden in einer feierlichen Zeremonie Herrn salewski die Borchersplakette und Herrn Dipl.-Inform. Volker Kamin die Springorum Denkmünze verliehen. Wir gratulieren den Preisträgern.
Vom 15. bis zum 18. Juni besuchte Dr. Andy King von der University of Kent in Canterbury unsere Gruppe, um gemeinsam mit Dr. rer. nat. Jörg Brauer an interessanten Problemstellungen in Bereich der abstrakten Interpretation zu arbeiten. Die Royal Society, die englische Akademie der Wissenschaften, finanzierte den Besuch.