| Title | Teacher(s) | Institution | Date |
| Operator-based Semantics for Logic Programs | Pascal Hitzler | Department of Computer Science
Dresden University of Technology (Computational Logic International Master Programme) |
WS 2004/2005 |
| Title | Teacher(s) | Institution | Date |
| Game Playing Computers and Artificial Intelligence | Sebastian Bader Pascal Hitzler |
Department of Computer Science
Dresden University of Technology (Computational Logic International Master Programme) |
SS 2004 |
| Theoretical Aspects of Logic Programming and Nonmonotonic Reasoning |
Pascal Hitzler | Department of Computer Science
Dresden University of Technology (Computational Logic International Master Programme) |
WS 2003/2004 |
| Logic and Connectionist Systems | Pascal Hitzler
Steffen Hölldobler |
Department of Computer Science
Dresden University of Technology (Computational Logic International Master Programme) |
SS 2002 |
| Lecture | Lecturer | Institution | Date of Substitution |
| Introduction to Prolog | Tom Cornell | Computational Linguistics
University of Tübingen |
July 1997
(several sessions) |
| Discrete Mathematics | Anthony Karel Seda | Department of Mathematics
University College Cork |
October 2000
(several sessions) |
| Differential and Integral Calculus | Anthony Karel Seda | Department of Mathematics
University College Cork |
October 2000
(several sessions) |
| Logik II | Steffen Hölldobler | Department of Computer Science
Dresden University of Technology |
04.04.2001 03.07.2002 |
| Logik I | Steffen Hölldobler | Department of Computer Science
Dresden University of Technology |
28.11.2001 04.12.2002 |
| Computational Logic and Connectionist Systems | Steffen Hölldobler | Department of Computer Science
Dresden University of Technology |
Several Sessions |
| Lecture | Lecturer | Institution | Date | Duties |
| Informatik I | Rüdiger Loos | Department of Computer Science
University of Tübingen |
WS 1995/96 | tutorials
exercise marking |
| Einführung in die Topologie | Richard Bödi | Department of Mathematics
University of Tübingen |
SS 1996 | tutorials
exercise marking |
| Einführung in Prolog | Tom Cornell | Department of Computational Linguistics
University of Tübingen |
SS 1997 | tutorials
exercise marking |
| several first-year maths classes | several | Department of Mathematics
University College Cork |
Autumn 1997 | tutorials |
| Discrete Mathematics | Anthony Karel Seda | Department of Mathematics
University College Cork |
Jan 1999 - Jun 2000 | tutorials
exam marking |
| Logik I + II | Steffen Hölldobler | Department of Computer Science
Dresden University of Technology |
Feb 2001 - Mar 2004 | tutorials
jointly responsible for: tutor supervision setting exercises exams |
| Computational Logic and Connectionist Systems | Steffen Hölldobler | Department of Computer Science
Dresden University of Technology (Computational Logic International Master Programme |
SS 2004 | tutorials |
| Name | Location | Date | Activities |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1996 | organization assistance
lecturing (LaTeX, metric spaces) supervision of students editor |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1997 | organization assistance
lecturing (LaTeX, Prolog) supervision of students editor |
| Begabtenförderung-Workshop Tübingen | Tübingen | March 1998 | main local organizer
lecturing (normed vector spaces) |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1998 | organization assistance
supervision of students editor |
| BCU Contest | Bratislava (Slovak Republic)
Cork (Ireland) Ulm (Germany) |
March 1999 | setting problems
local organization Cork conducting the actual contest in Cork |
| Intensivkurs Mathematik Konstanz-Ulm | Donaueschingen | September 1999 | organization assistance
lecturing (LaTeX, generalized metrics) supervision of students main supervisor of Irish participants editor |
| BCU Contest | Bratislava (Slovak Republic)
Cork (Ireland) Ulm (Gemany) Wegberg (Germany) |
March 2000 | setting problems
local organization Cork conducting the actual contest in Cork |
| Intensivkurs Mathematik Konstanz-Ulm | Ulm | September 2000 | organization assistance
lecturing (LaTeX, generalized metrics) supervision of students editor |
| BCU Contest | Bratislava (Slovak Republic)
Cork (Ireland) Ulm (Germany) |
March 2001 | setting problems
local organization Cork conducting the actual contest in Cork |
Back to my home page.