Teaching - Earlier Terms

Lecture: Automatic Planning, Jörg Hoffmann, SS 2005
Lecture: Introduction to Proof Theory, Hans de Nivelle, Ruzica Piskac, WS 2005/2006
Seminar: Software Model Checking, Andreas Podelski, Andrey Rybalchenko, Alexander Malkis, SS 2005
Seminar: Automatic Planning Systems, Jörg Hoffmann, SS 2005
Lecture: Verification, Bernd Finkbeiner, Andreas Podelski, Patrick Maier, WS 2004/2005
Lecture: Search Methods for Transition Systems, Example AI Planning, Jörg Hoffmann, WS 2004/2005
Lecture: Diskrete Strukturen und Logik (Univ. Trier), Viorica Sofronie-Stokkermans, WS 2004/2005
Lecture: Automatisches Beweisen (Univ. Trier), Viorica Sofronie-Stokkermans, WS 2004/2005
Seminar: Entscheidungsverfahren für Logische Theorien (Univ. Koblenz), Peter Baumgartner, WS 2004/2005
Lecture: Logik und Datenbanken (Univ. Koblenz), Peter Baumgartner, SS 2004
Lecture: Programmierung I, Andreas Podelski, WS 2003/2004
Lecture: Solving Constraints over the Real Numbers, Stefan Ratschan, WS 2003/2004
Seminar: Logik in der Informatik (Univ. Koblenz), Peter Baumgartner, WS 2003/2004
Lecture: Verifikation, Finkbeiner, Hermanns, Andreas Podelski, SS 2003
Lecture: LAN Design in Practice, Christoph Weidenbach. SS 2003
Lecture: Probabilistische Modelle in Künstlicher Intelligenz und Verifikation, Manfred Jaeger, SS 2003
Lecture: Automated Deduction for Equational Logic, Uwe Waldmann, SS 2003
Lecture: Angewandte Automatentheorie, Andreas Podelski, Thomas (RWTH Aachen), SS 2003
Lecture: Interactive Proof Tools, Hans de Nivelle, Patrick Maier, SS 2003
Lecture: Entscheidungsverfahren fur logische Theorien/ Decision Procedures for Logical Theories, Harald Ganzinger, WS 2002/2003
Lecture: Logik für InformatikerInnen, Harald Ganzinger, SS 2002
Lecture: Optimierung, Friedrich Eisenbrand, SS 2002
Lecture: Übersetzerbau, Andreas Podelski, SS 2002
Lecture: Nichtklassische Logiken, Viorica Sofronie-Stokkermans, SS 2002
Lecture: IT Projektmanagement, Christoph Weidenbach, SS 2002
Lecture: Proof Tools, Hans de Nivelle, Thomas Hillenbrand, WS 2001/2002
Seminar: Entscheidungsverfahren für logische Theorien , Harald Ganzinger, Uwe Waldmann, Thomas Hillenbrand, WS 2001/2002
Lecture: Semantik von Programmiersprachen, Andreas Podelski, Gerd Smolka, WS 2001/2002
Lecture: Programmiersprachen, Harald Ganzinger, Andreas Podelski, SS 2001
Lecture: Universelle Algebra und Verbandstheorie, Viorica Sofronie-Stokkermans, SS 2001
Lecture: Bayessche Netzwerke, Manfred Jaeger, SS 2001
Lecture: IT Projektmanagement, Christoph Weidenbach SS 2001
Kolloquim:MPI Informatik,SS 2001
Lecture: Einführung in die Informatik fur Hörer aller Facultaten II, Uwe Waldmann, WS 2000/2001
Lecture: Logik fur InformatikerInnen, Harald Ganzinger, WS 2000/2001
Lecture: Computer Algebra, Friedrich Eisenbrand, WS 2000/2001
Lecture: Automata Theory and Applications, Charatonik, Talbot, WS 2000/2001
Seminar: Logik-Seminar der Fachrichtung 6.2, Harald Ganzinger, Jörg H. Siekman, Gert Smolka, WS 2000/2001
Kolloquium: MPI Informatik, Uwe Waldmann, WS 2000/2001
Lecture: Einführung in die Informatik für Hörer aller Fakultäten I, Andreas Podelski, SS 2000
Lecture: Analyse von Programmen durch "Model Checking", Harald Ganzinger, Andreas Podelski, SS 2000
Lecture: Logik für Informatiker, Harald Ganzinger, WS 1999/2000
Lecture: Einführung in die Informatik für Hörer aller Fakultäten II, Andreas Podelski, WS 1999/2000
Lecture: Einführung in die Stochastik für Informatiker, Manfred Jaeger, WS 1999/2000
Lecture: Termersetzungssysteme, Harald Ganzinger, SS 1999
Lecture: Theorie und Anwendung Bayesscher Netzwerke und verwandter Formalismen, Manfred Jaeger, A. Jameson, SS 1999
Lecture: Einführung für die Hörer aller Fakultäten, Andreas Podelski, SS 1999
Lecture: Universelle Algebra und Verbandstheorie, Viorica Sofronie-Stokkermans, SS 1999
Lecture: Praxis des Programmierens, Uwe Waldmann, SS 1999
FOPRA: Beweisen mit SPASS, Christoph Weidenbach, SS 1999
Lecture: Logik für Informatiker, Harald Ganzinger, WS 1998/1999
Seminar: Formale Methoden in der Sicherheit, Harald Ganzinger, Birgit Pfitzmann, Andreas Podelski, M. Schunter, WS 1998/1999
Seminar: Optimierung, Alexander Bockmayr, Friedrich Eisenbrand, WS 1998/1999
Lecture at ESSLLI'99 in Saarbrücken: Formal systems of probabilistic inference, Manfred Jaeger, Emil Weydert, WS 1998/1999
Lecture at the International Masters Program at the University of Dresden: Automated Reasoning, Christoph Weidenbach, WS 1998/1999
Lecture: Rechnergestütztes Beweisen, Andreas Podelski, Christoph Weidenbach, SS 1998
Lecture: Optimierung, Alexander Bockmayr, SS 1998
Lecture: Unix für fortgeschrittene Benutzer, Uwe Waldmann, SS 1998
Seminar: Schliessen und Entscheiden mit grafischen Modellen, Harald Ganzinger, Manfred Jaeger, Emil Weydert, SS 1998
Lecture: Praxis des Programmierens, Christoph Weidenbach, WS 1997/1998
Lecture: Probabilistisches Schließen, Emil Weydert, WS 1997/1998
Lecture: Informatik IV, Harald Ganzinger, SS 1997
Lecture: Programmiersprachen, Andreas Podelski, WS 1996/1997
Lecture: Informatik III, Harald Ganzinger, WS 1996/1997
Lecture: Programmiersprachen, Harald Ganzinger, WS 1995/1996
Lecture: Modellbildung in der mathematischen und logischen Programmierung, Alexander Bockmayr, WS 1995/1996
Lecture: Logik und Wahrscheinlichkeit, Emil Weydert, SS 1995
Lecture: Lambda-Kalkül und Typentheorie, Harald Ganzinger, David A. Basin, SS 1995
Seminar: Logic Engineering, Hans Jürgen Ohlbach, SS 1995
Seminar: Logikseminar, N.N., SS 1995
Lecture: Programmiersprachen, Harald Ganzinger, WS 1994/1995
Lecture: Verbandstheorie und algebraische Logik, Hans Jürgen Ohlbach, WS 1994/1995
Lecture: Nichtmonotone Logik, Emil Weydert, SS 1994