Lecture Courses
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.