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

  Groups:
   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

  Groups:
   2 (LVA-Code: 702006-2), Monday from 16:00 to 18:00 in SR 12
  

Summer 2005

• Logic in Computer Science - Exercises

  Groups: 
   3, Wednesday from 9:00 to 10:00 in SR 12 (architecture building)