Automation of Logic
Deutsch

Former Lectures of D2

  • 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