Previous semesters
| Summer Term 2009 | Theorem Proving and Equality (lecture + tutorial) Open |
| Winter Term 2008/09 | Term rewriting systems (tutorial) Open Seminar "Theoretical Computer Science" Open |
| Summer Term 2008 | Theorem Proving and Equality (lecture + tutorial) Open |
| Winter Term 2007/08 | Automata and Logic (tutorial) Open Seminar "Automata, Logics and Infinite Games" Open |
| Summer Term 2007 | Theorem Proving and Equality (lecture + tutorial) Open Seminar "Complexity of enumeration problems" Open Project Open |
| Winter Term 2006/07 | Term Rewriting Systems (tutorial) Open Seminar "Knowledge Representation" Open |
| Summer Term 2006 | Logic-based Knowledge Representation (tutorial) Open Project Open |
| Winter Term 2005/06 | Theorem Proving and Equality (lecture + tutorial) Open Project Open |
| Summer Term 2005 | Logic-based Knowledge Representation (tutorial) Open Project Open |
| Winter Term 2004/05 | Automata and Logic (tutorial) Open Project "Automated Reasoning in Logical Formalisms" Open |
| Summer Term 2004 | Term Rewriting Systems (tutorial) Open Seminar "Knowledge Representation and Reasoning with Description Logics" Open |
| Winter Term 2003/04 | Logic-based Knowledge Representation (tutorial) Open Project "Automated Reasoning in Logical Formalisms" Open |