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 |