Winter 2012
Proseminar - Term Rewriting- Monday 14:15 - 15:00 in HS 11
- Friday 12:15 - 13:00 in HS 10
Winter 2011
Proseminar - Term Rewriting- Monday 14:15 - 15:00 in SR 12
- Monday 14:15 - 15:00 in SR 12
Winter 2009/2010
Term Rewriting (exercise part)- Monday 9:15 to 10:00 in HS 10
- Group 10, Monday 16:15 to 17:45 in SR 13
- Group 3, Friday 9:15 to 10:00 in SR 13
Summer 2009
Proseminar - Formal Languages and Automata Theory- Group 1, Tuesday 10:15 - 11:45 in HS D
Winter 2007/2008
Proseminar - Logic- Group 1, Wednesday 12:15 to 13:45 in HS 10
- Group 2, Wednesday 14:15 to 15:45 in HS 10
Summer 2007
Exercises - Formal Methods- Group 1, Monday 10:15 - 11:00 in SR 12
- Group 2, Monday 11:15 - 12:00 in SR 12