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

Programming Systems

Introduction to Computational Logic, SS 12, with Chad Brown
Proseminar: Funktionale Programmierung, SS 12, with Christian Doczkal, Jonas Kaiser und Mark Kaminski

Semantics, WS 11/12, with Chad Brown
Introduction to Computational Logic, SS 11, with Chad Brown
Proseminar: Funktionale Programmierung, WS 10/11, with Jan Schwinghammer und Thomas Schneider.
Programmierung 1, WS 10/11, with Christian Doczkal
Introduction to Computational Logic, SS 10, with Chad Brown
Semantics, WS 09/10, with Jan Schwinghammer
Seminar: Advanced Topics in Computational Logic, WS 09/10, with Chad Brown.
Proseminar: Funktionale Programmierung, WS 09/10, with Jan Schwinghammer.
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)

Webmaster, Thu Apr 19 17:12:50 2012