Courses and Seminars, Programming Systems Lab, Prof. Gert Smolka

• Introduction to Computational Logic, SS 05, with Lutz Straßburger
• Constraint Programming, SS 05, with Marco Kuhlmann and Guido Tack
• Programmierung 1, WS 04/05, mit Guido Tack
• Seminar: Constraint Programming, WS 04/05, with Marco Kuhlmann and Guido Tack.
• Introduction to Computational Logic, SS 04, with Marco Kuhlmann
• Proseminar/Seminar: Theory of Communicating Systems, SS 04, mit Guido Tack, Tim Priesnitz und Andreas Rossberg.
• Semantics, WS 03/04, mit Guido Tack
• Proseminar Programmiersysteme, WS 03/04, mit Andreas Rossberg, Thorsten Brunklaus, Marco Kuhlmann, Gábor Szokoli, und Guido Tack.
• Einführung in die Computationale Logik, SS 03, mit Marco Kuhlmann
• Seminar/Proseminar Logische Aspekte von XML, SS 03, mit Tim Priesnitz
• Programmierung, WS 02/03, mit Thorsten Brunklaus
• Seminar Types and Programming Languages, WS 02/03, mit Andreas Rossberg
• Logik, Semantik und Verifikation, SS 02, mit Tim Priesnitz
• Semantik von Programmiersprachen, WS 01/02, mit Thorsten Brunklaus und Andreas Podelski
• Seminar Garbage Collection, WS 01/02, mit Thorsten Brunklaus und Christian Schulte
• Logik, Semantik und Verifikation, SS 01, mit Christian Schulte
• Programmierung, WS 00/01, mit Thorsten Brunklaus
• C-Blockkurs, WS 00/01, durch Tobias Müller
• Logik, Semantik und Verifikation, SS 00, mit Christian Schulte
• Programmierung, WS 99/00, mit Andreas Rossberg
• Seminar Typsysteme, WS 99/00, mit Leif Kornstaedt, Joachim Niehren, Andreas Rossberg und Christian Schulte
• C-Blockkurs, WS 99/00, durch Tobias Müller
• Programmiersprachen, SS 99, mit Leif Kornstaedt
• Informatik I (Programmierung),  WS 98/99, mit Andreas Rossberg
• C-Blockkurs,  WS 98/99,  durch Tobias Müller
• Programmiersprachen, WS 97/98, mit Leif Kornstaedt
• Seminar: Java, WS 97/98, mit Leif Kornstaedt, Michael Mehl, und Christian Schulte
• Semantik von Programmiersprachen, SS97, mit Martin Müller
• Informatik II, SS 96, mit Michael Mehl
• Informatik I, WS 95/96, mit Christian Schulte
• Semantik von Programmiersprachen, SS95, mit Joachim Niehren
• Logisches Programmieren, WS 94/95, mit Martin Henz, (4+2)
• Semantik von Programmiersprachen, WS 93/94, mit Ralf Treinen, (4+2)
• Logische Programmierung, SS93, mit Christian Schulte, (4+2)
• Logik für Informatiker,  WS 92/93, mit Ralf Treinen, (4+2)
• Seminar: Logische Berechnung, SS 92, mit Ralf Treinen, (2)
• Logische Berechnung, WS 91/92, (4)
• Künstliche Intelligenz, SS-91, mit Ralf Scheidhauer, (4+2)
• Logik-basierte Berechnungsmodelle WS 90/91, (2)