Winter 2011/2012

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

Summer 2011

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

Winter 2010/2011

• Proseminar: SAT

Summer 2010

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

Winter 2009/2010

• Vorlesung: Ringvorlesung: Perspektiven der Informatik WS09/10

Summer 2009

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

Winter 2008/2009

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

Sommer 2008

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

Winter 2007/2008

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

Sommer 2006

• Vorlesung: Automated Reasoning

Winter 2005/2006

• Seminar: Decision Procedures for Logical Theories

Sommer 2005

• Vorlesung: LAN Design in Practice

Frühere Semester