Courses and Seminars
Programming Systems Lab
Prof. Gert Smolka

• Semantics, WS 09/10, with Jan Schwinghammer
• Seminar: Advanced Topics in Computational Logic, WS 09/10, with Chad Brown.


• Introduction to Computational Logic, SS 09, with Chad Brown
• Programmierung 1, WS 08/09, with Mark Kaminski
• Proseminar: Funktionale Programmierung, WS 08/09, with Jan Schwinghammer.
• Introduction to Computational Logic, SS 08, with Chad Brown
• Seminar: Advanced Topics in Semantics, SS 08, with Jan Schwinghammer.
• Semantics, WS 07/08, with Jan Schwinghammer
• Perspektiven der Informatik, Vortrag Was ist Logik?, WS 07/08
• Introduction to Computational Logic, SS 07, with Mark Kaminski
• Constraint Programming, SS 07, with Marco Kuhlmann and Guido Tack
• Seminar: Theory of Communicating Systems, SS 07, with Jan Schwinghammer and Mark Kaminski.
• Programmierung 1, WS 06/07, with Jan Schwinghammer
• Seminar: Formal Grammars, WS 06/07, with Ralph Debusmann, Marco Kuhlmann, Mathias Möhl, Guido Tack
• Introduction to Computational Logic, SS 06, with Mathias Möhl
• Semantics, WS 05/06, with Andreas Rossberg
• Seminar: Advanced Functional Programming, WS 05/06, with Christian Lindig, Andreas Rossberg, Ralph Debusmann and Jan Schwinghammer.
• Introduction to Computational Logic, SS 05, with Lutz Straßburger
• Constraint Programming, SS 05, with Marco Kuhlmann and Guido Tack (won Teaching Award)
• Programmierung 1, WS 04/05, with Guido Tack (won Teaching Award)
• 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, with Guido Tack, Tim Priesnitz and Andreas Rossberg.
• Semantics, WS 03/04, with Guido Tack
• Proseminar Programmiersysteme, WS 03/04, with Andreas Rossberg, Thorsten Brunklaus, Marco Kuhlmann, Gábor Szokoli, and Guido Tack.
• Einführung in die Computationale Logik, SS 03, with Marco Kuhlmann
• Seminar/Proseminar Logische Aspekte von XML, SS 03, with Tim Priesnitz
• Programmierung, WS 02/03, with Thorsten Brunklaus
• Seminar Types and Programming Languages, WS 02/03, with Andreas Rossberg
• Logik, Semantik und Verifikation, SS 02, with Tim Priesnitz
• Semantik von Programmiersprachen, WS 01/02, with Thorsten Brunklaus and Andreas Podelski
• Seminar Garbage Collection, WS 01/02, with Thorsten Brunklaus and Christian Schulte
• Logik, Semantik und Verifikation, SS 01, with Christian Schulte
• Programmierung, WS 00/01, with Thorsten Brunklaus
• C-Blockkurs, WS 00/01, durch Tobias Müller
• Logik, Semantik und Verifikation, SS 00, with Christian Schulte
• Programmierung, WS 99/00, with Andreas Rossberg
• Seminar Typsysteme, WS 99/00, with Leif Kornstaedt, Joachim Niehren, Andreas Rossberg and Christian Schulte
• C-Blockkurs, WS 99/00, durch Tobias Müller
• Programmiersprachen, SS 99, with Leif Kornstaedt
• Informatik I (Programmierung),  WS 98/99, with Andreas Rossberg
• C-Blockkurs,  WS 98/99,  durch Tobias Müller
• Programmiersprachen, WS 97/98, with Leif Kornstaedt
• Seminar: Java, WS 97/98, with Leif Kornstaedt, Michael Mehl, and Christian Schulte
• Semantik von Programmiersprachen, SS97, with Martin Müller
• Informatik II, SS 96, with Michael Mehl
• Informatik I, WS 95/96, with Christian Schulte
• Semantik von Programmiersprachen, SS95, with Joachim Niehren
• Logisches Programmieren, WS 94/95, with Martin Henz, (4+2)
• Semantik von Programmiersprachen, WS 93/94, with Ralf Treinen, (4+2)
• Logische Programmierung, SS93, with Christian Schulte, (4+2)
• Logik für Informatiker,  WS 92/93, with Ralf Treinen, (4+2)
• Seminar: Logische Berechnung, SS 92, with Ralf Treinen, (2)
• Logische Berechnung, WS 91/92, (4)
• Künstliche Intelligenz, SS-91, with Ralf Scheidhauer, (4+2)
• Logik-basierte Berechnungsmodelle WS 90/91, (2)