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)