Teaching Experience up to 2006
At Summer Schools
| Title | Teacher(s) | Event | Date |
| Approximate Reasoning for the Semantic Web | Frank van Harmelen Pascal Hitzler Holger Wache |
European Summer School in Logic, Language, and Information, ESSLLI2006
Malaga, Spain |
July/August 2006 |
| Knowledge, Reasoning, and the Semantic Web | Pascal Hitzler | ICCL Summer School 2006
Dresden, Germany |
June/July 2006 |
| Neural-symbolic learning and reasoning | Sebastian Bader Pascal Hitzler |
Interdisciplinary College IK2006
Günne, Germany |
March 2006 |
| Integrating Logic Programs and Connectionist Systems | Sebastian Bader Pascal Hitzler Steffen Hölldobler |
European Summer School in Logic, Language, and Information, ESSLLI2005
Edinburgh, Scotland |
August 2005 |
Lectures
| Title | Teacher(s) | Institution | Date |
| Angewandte Informatik I | Andreas Oberweis Rudi Studer Pascal Hitzler |
Department of Economics and Business Engineering
Universität Karlsruhe |
WS 2006/2007 |
| Intelligente Systeme im World Wide Web: Semantic Web | Pascal Hitzler York Sure |
Department of Economics and Business Engineering
Universität Karlsruhe |
SS 2006 |
| Angewandte Informatik I | Andreas Oberweis Rudi Studer Pascal Hitzler |
Department of Economics and Business Engineering
Universität Karlsruhe |
WS 2005/2006 |
| Intelligente Systeme im World Wide Web: Semantic Web | Pascal Hitzler York Sure |
Department of Economics and Business Engineering
Universität Karlsruhe |
SS 2005 |
| Operator-based Semantics for Logic Programs | Pascal Hitzler | Department of Computer Science
TU Dresden (Computational Logic International Master Programme) |
WS 2004/2005 |
Seminars
| Title | Teacher(s) | Institution | Date |
| Semantische Technologien: Advanced Topics | Rudi Studer Pascal Hitzler Markus Krötzsch |
AIFB Universität Karlsruhe |
WS 2005/2006 |
| Knowledge Representation and Reasoning for the Semantic Web | Pascal Hitzler Markus Krötzsch |
Department of Computer Science TU Dresden (Computational Logic International Master Programme) |
WS 2005/2006 |
| Semantische Technologien: Methoden und Anwendungen | Rudi Studer Pascal Hitzler Stephan Bloehdorn |
Universität Karlsruhe | SS 2005 |
| Game Playing Computers and Artificial Intelligence | Sebastian Bader Pascal Hitzler |
Department of Computer Science
TU Dresden (Computational Logic International Master Programme) |
SS 2004 |
| Theoretical Aspects of Logic Programming and Nonmonotonic Reasoning |
Pascal Hitzler | Department of Computer Science
TU Dresden (Computational Logic International Master Programme) |
WS 2003/2004 |
| Logic and Connectionist Systems | Pascal Hitzler
Steffen Hölldobler |
Department of Computer Science
TU Dresden (Computational Logic International Master Programme) |
SS 2002 |
Substitute Lecturing
I have been a temporary substitute in the following lectures.
| 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
TU Dresden |
04.04.2001 03.07.2002 |
| Logik I | Steffen Hölldobler | Department of Computer Science
TU Dresden |
28.11.2001 04.12.2002 |
| Computational Logic and Connectionist Systems | Steffen Hölldobler | Department of Computer Science
TU Dresden |
Several Sessions |
| Grundlagen der Informatik I | Rudi Studer | Department of Economics and Business Engineering
University of Karlsruhe |
25.05.2005 |
Tutorials
I have been a tutor for the following lectures.
| 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
TU Dresden |
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
TU Dresden (Computational Logic International Master Programme |
SS 2004 | tutorials |
Enhancement Programmes
The following table lists my active involvements in enhancement programmes.
| 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 |
| Enhancement project of the Alexander-Nexö Gymnasium | Dresden (Germany) | September 2003 - July 2004 | project design student supervision evaluation |
