Teaching
In addition, there are regular meetings (Kolloquim/Oberseminar) for
all students writing a thesis (bachelor, master or PhD) in our group.
Softwaretechnik 3
(Model Checking und SAT Solving)
Vorlesung/Seminar Mi. 14-16 Uhr, 5H oder 25.12.O2.55
Softwaretechnik 2
Vorlesung vom 19.10.2006 bis 14.12.2006, Do. 14-16 Uhr und Fr. 11-13 Uhr, Hörsaal 5G
Programmiersprachen 2
Vorlesung vom 15.12.2006 bis 09.02.2007, Do. 14-16 Uhr und Fr. 11-13 Uhr, Hörsaal 5G