Winter 2016/17
Logic - PS2
- group 2, Thursday 10.15 – 12.00, SR 13 (architecture building)
Winter 2015/16
Logic - PS2
- group 2, Thursday 10.15 – 12.00, SR 13 (architecture building)
Winter 2014/15
Logic - PS2
- group 4, Thursday 10.15 – 12.00, SR 13 (architecture building)
Winter 2013/14
Logic - PS2
- group 2, Tuesday 08.15 – 10.00, HS 11 (architecture building)
Winter 2012/13
Logic - PS2
- group 3, Tuesday 14.15 – 16.00, HS 11 (architecture building)
Winter 2011/12
Logic - PS2
- group 3, Tuesday 12.15 – 14.00, SR 12 (architecture building)
Summer 2011
Formal Language and Automata Theory - PS2
- group 1, Tuesday 10.15 – 12.00, HS 11 (architecture building)
Supervised Bachelor Theses