Lehrveranstaltungen

• Universität Coimbra
• Universität München
• Universität Tübingen
• Universität Ulm
• Universität Bern

Universität Coimbra

• Wintersemester 2004/2005
  • Datenbanken (Vorlesung mit Übungen)
  • Höhere Logik (Vorlesung (Master))
• Sommersemester 2004
  • Algorithmen und Datenstrukturen II (Vorlesung)
  • Objektorientiert Programmierung (Vorlesung mit Übungen)
• Wintersemester 2003/2004
  • Spezifikation und Verifikation (Vorlesung mit Übungen)
  • Datenbanken (Vorlesung mit Übungen)

Universität München

• Wintersemester 2001/2002
  • Applikative Theorien und explizite Mathematik (Vorlesung mit Übungen)
• Sommersemester 2001
  • Techniken der Logikprogrammierung (Vorlesung mit Übungen)
  • Übungen zu Informatik II (Vorlesung von Prof. Ohlbach), gemeinsam mit Norbert Eisinger, Slim Abdennadhar und Bertram Fronhöfer
• Wintersemester 2000/2001
  • Synonymie und Intensionalität (Seminar), gemeinsam mit Dr. Hans Leiß, Centrum für Informations- und Sprachverarbeitung.
  • Übungen zu Informatik I (Vorlesung von Prof. Bry), gemeinsam mit Norbert Eisinger, Slim Abdennadhar und Bertram Fronhöfer
  • Organisation des Kolloquiums Sprache, Information, Logik (Graduiertenkolleg SIL)
• Sommersemester 2000
  • Organisation des Kolloquiums Sprache, Information, Logik (Graduiertenkolleg SIL)

Universität Tübingen

• Sommersemester 2001
  • Logiken für Programme (Seminar)
• Wintersemester 2000/2001
  • Einführung in die Logikprogrammierung (Vorlesung mit Übungen)
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Sommersemester 2000
  • Intensionalität, gemeinsam mit PD Dr. Fritz Hamm, Institut für Sprachwissenschaften.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Wintersemester 1999/2000
  • Einführung in die funktionale Programmierung (Vorlesung mit Übungen)
  • Quantenlogik und Quantencomputing (Seminar), gemeinsam mit Prof. Klaus-Jörn Lange und Dr. Andreas Weber.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Sommersemester 1999
  • Einführung in die Logikprogrammierung (Vorlesung mit Übungen)
  • Übungen zu Kombinatorische Logik und Lambda-Kalkül (Vorlesung von Prof. Schroeder-Heister)
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Wintersemester 1998/99
  • Logik für Quantoren (Seminar), gemeinsam mit Dr. Fritz Hamm, Institut für Sprachwissenschaften.
  • Organisation des Kolloquiums Logik und Sprachtheorie
• Sommersemester 1998
  • Automatisches Beweisen (Vorlesung)
• Sommersemester 1997
  • Übungen zu Kombinatorische Logik und Lambda-Kalkül (Vorlesung von Prof. Schroeder-Heister)

Humboldt-Studienzentrum, Universität Ulm

• Wintersemester 2001/2002
  • Einführung in die Logik (Vorlesung)

Universität Bern

• Wintersemester 1993/94
  • Übungen zu Formale Methoden des Reasoning - Logik-Programmierung (Vorlesung von Prof. Jäger)