Winter 2011/2012

• Lecture: Automated Reasoning II
• Quantifier Elimination
• Lecture: Vorlesung: Perspektiven der Informatik WS11/12

Summer 2011

• Lecture: Automated Reasoning
• Selected Topics in Automated Reasoning:
  Decision Procedures and Applications

Winter 2010/2011

• Proseminar: SAT

Summer 2010

• Lecture: Automated Reasoning
• Seminar: Decision Procedures for Logical Theories
• Lecture: Vorlesung: Perspektiven der Informatik SS10

Winter 2009/2010

• Lecture: Ringvorlesung: Perspektiven der Informatik WS09/10

Summer 2009

• Lecture: Programming Challenges
• Lecture: Selected Topics in Automated Reasoning

Winter 2008/2009

• Lecture: Advanced C Programming
• Lecture: Ringvorlesung: Perspektiven der Informatik WS08/09

Summer 2008

• Lecture: Automated Reasoning
• Seminar: Decision Procedures for Logical Theories

Winter 2007/2008

• Proseminar: Decision Procedures based on SAT (Propositional Satisfiability) WS 2007/2008
• Lecture: Unix for advanced users

Summer 2006

• Lecture: Automated Reasoning

Winter 2005/2006

• Seminar: Decision Procedures for Logical Theories

Summer 2005

• Lecture: LAN Design in Practice

Earlier terms