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