Summer 2022
-
Program Verification - Exercises
Group: 2 (LVA-Code: 703084-2), Wednesday from 16:15 to 17:45 in RR 21
Winter 2021/2022
-
Functional Programming - Exercises
Groups: 11 (LVA-Code: 703025-11), Wednesday from 17:15 to 18:00 in OLAT 12 (LVA-Code: 703025-12), Wednesday from 18:15 to 19:00 in OLAT
Winter 2020/2021
-
Functional Programming - Exercises
Group: 11 (LVA-Code: 703025-11), Wednesday from 17:15 to 18:00 in OLAT
Summer 2019
-
Interactive Theorem Proving - Exercises
Group: 0 (LVA-Code: 703641), Wednesday from 14:15 to 16:30 in RR 22
Winter 2018/2019
-
Functional Programming - Lecture + Exercises
Group: 3 (LVA-Code: 703025-1), Friday from 10:15 to 11:00 in HS 11
-
Logic
- Exercises
Group: 3 (LVA-Code: 703027-2), Thursday from 10:15 to 12:00 in SR 13
Summer 2018
- Practice of Decision Procedures - Lecture
-
Discrete Mathematics
- Exercises
Group: 1 (LVA-Code: 703015-1), Monday from 11:15 to 13:00 in HSB4
Winter 2017/2018
-
Functional Programming - Lecture + Exercises
Group: 1 (LVA-Code: 703025-1), Friday from 10:15 to 11:00 in HS 11
-
Logic
- Exercises
Group: 3 (LVA-Code: 703027-3), Thursday from 13:15 to 15:00 in HS 10
-
Formal Languages
and Automata Theory
- Exercises
Group: 0 (LVA-Code: 703604), Friday from 12:15 to 13:00 in SR 13
Summer 2017
-
Term Rewriting
- Exercises
Group: 0 (LVA-Code: 703126), Monday from 13:15 to 14:00 in 3W03
-
Discrete Mathematics
- Exercises
Group: 1 (LVA-Code: 703015-1), Monday from 11:15 to 13:00 in HSB4
Winter 2016/2017
-
Logic
- Exercises
Group: 3 (LVA-Code: 703027-3), Thursday from 13:15 to 15:00 in HS 10
Winter 2015/2016
-
Logic
- Exercises
Group: 4 (LVA-Code: 703027-4), Thursday from 14:15 to 16:00 in HS 10
Summer 2015
-
Discrete Mathematics
- Exercises
Group: 2 (LVA-Code: 703015-2), Tuesday from 12:15 to 14:00 in HS 11
Summer 2014
-
Discrete Mathematics
- Exercises
Groups: 2 (LVA-Code: 703015-2), Tuesday from 12:15 to 14:00 in HS 11 4 (LVA-Code: 703015-4), Tuesday from 14:15 to 16:00 in HS 11
Summer 2011
- Experiments in Verification - Lecture
Winter 2010/2011
- Functional Programming - Lecture
Summer 2010
- Experiments in Verification - Lecture
Winter 2009/2010
- Functional Programming - Lecture
Summer 2009
- Experiments in Verification - Lecture
Winter 2008/2009
- Functional Programming - Lecture
Winter 2007/2008
-
Functional Programming - Lecture + Exercises
Group: 1 (LVA-Code: 703018-1), Friday from 08:00 to 09:00 in HS 10
Winter 2006/2007
-
Logic in Computer Science
- Exercises
Groups: 2 (LVA-Code: 703103-2), Wednesday from 11:00 to 12:00 in SR 24 3 (LVA-Code: 703103-3), Wednesday from 10:00 to 11:00 in SR 24
Summer 2006
-
Logic in Computer Science
- Exercises
Groups: 1, Wednesday from 14:00 to 15:00 in HS 11 (architecture building) 2, Wednesday from 15:00 to 16:00 in HS 11 (architecture building)
Winter 2005/2006
-
Formale Methoden I
- Exercises
Group: 2 (LVA-Code: 702006-2), Monday from 16:00 to 18:00 in SR 12
Summer 2005
-
Logic in Computer Science
- Exercises
Group: 3, Wednesday from 9:00 to 10:00 in SR 12 (architecture building)