Teaching Fall 2013/14

• Topics in Automated Theorem Proving (last given in 2006) 236714

Teaching Spring 2013

• Introduction to Database Systems 236363
• Graduate Seminar: 238900
  The millennium question NP = P over the real numbers and other fields and rings

Teaching in previous semesters

• Annually: Introduction to Database Systems 236363
• 2010/11: Database Theory 236356
• 2012: Computability and Definability 236331 (2012) ,
  236331 (2008) , Older Material , and Lecture Notes from 2001
• 2006: Topics in Automated Theorem Proving 236714

• 2011: Advanced Topics in Computer Science 236603
  Graph polynomials and graph invariants
• 2012/13: Advanced Topics in Computer Science 236604
  Logical Methods in Combinatorics

• 2011/12: Research Seminar in Combinatorics and Graph Theory 236902
  Structural Graph Theory and Algorithmic Meta-theorems
• 2010: Logic and Combinatorics Research Seminar (238901) 236901
  Graph polynomials and their Complexity
• 2005/06 Theory Research Seminar (238900) 236900
  Graph polynomials and graph decompositions, I