Unser Gast Diplom Komponist Kilian Sprotte hielt am 10.03.2010 einen Vortrag zum Thema: Lazy Evaluation in der computergestützten Komposition
Dipl.-Ing. Thilo Vörtler hielt am 04.03.2010 einen Vortrag im Rahmen des Informatik-Kolloquiums.
Model Checking als Ansatz zur Verifikation digitaler und eingebetteter System
























