Lecture Courses

• Lecture Course in Autumn 2008 at Saarland University: Working with Automated Reasoning Tools. (with Prof. G. Sutcliffe)
• Lecture course in Autumn 2007 at IT University in Copenhagen: Semantics of Higher-Order Logic (SEMHOL). (pdf, exercises, solutions)
• Lecture course in Summer 2006 at ESSLI 2006 in Malaga: Semantics of Higher-Order Logic (SEMHOL). (with Dr. Chad Brown) (pdf, pdf-6on1)
• Lecture course in Summer 2006 at the University of Darmstadt: Automated Theorem Proving in Higher-Order Logics (ATPHOL), 3 SWS + exercises. (pdf, pdf-6on1)
• Lecture course in Winter 2005 at Saarland University: Semantics and Mechanization of Classical Higher-Order Logic (SEMHOL), 4 SWS + theoretical and practical exercises. (with Dr. Chad Brown)
• Lecture course in Summer 2005 at Saarland University: Introduction to Artificial Intelligence (AI), 4 SWS + theoretical and practical exercises. (with Prof. J. Siekmann, Dr. S. Autexier).
• Lecture course in Winter 2004 at Saarland University: Mathematical Assistance Systems (MAS), 4 SWS + theoretical and practical exercises. (Prof. J. Siekmann, Dr. S. Autexier, Dr. C. Brown, Dr. A. Fiedler, Dr. C.-P. Wirth)
• Lecture course in Summer 2004 at Saarland University: Automated Theorem Proving in First-Order and Higher-Order Logic. 2 SWS + theoretical and practical exercises.
• Lecture course in Winter 2003 at Saarland University: Human-Oriented Theorem Proving, 4 SWS + theoretical and practical exercises. (jointly with Dr. Claus-Peter Wirth and Dr. Armin Fiedler)
• Lecture course in Summer 2003 at Saarland University: Introduction to Artificial Intelligence, 4 SWS + theoretical and practical exercises. (with Prof. Jörg Siekmann, Dr. Erica Melis).
• Lecture course at CALCULEMUS Autumn School 2002 in Pisa: From Natural Deduction Calculus to Sequent Calculus and back.
• Lecture course in 2002 at Saarland University: Automated Theorem Proving in First-Order and Higher-Order Logic, 2 SWS + theoretical and practical exercises.
• Lecture course in 2001 at Saarland University: Introduction to Artificial Intelligence (with Prof. Jörg Siekmann), 4 SWS + theoretical and practical exercises.
• Lecture course in 1999 at Saarland University: Introduction to Artificial Intelligence(with Prof. Jörg Siekmann), 4 SWS + theoretical and practical exercises.

Seminars

• Summer 2006: Mathematical Assistant System Shootout; full organisation.
• Summer 2005: Proof Assistants Shootout; full organisation.
• Winter 2000/2001: Tutorial Systems; supervision of students.
• Summer 2000: Deduction and Computation; full organisation.
• Since 2000: weekly or two-weekly OMEGA seminar of the AG Siekmann.
• Winter 1999/2000:AI Planning;supervision of students.
• Winter 1999/2000:Deduction Systems; supervision of students.
• Summer 1998: Deduction Systems; supervision of students.