Courses and Seminars, Prof. Gert Smolka

Programming Systems

Introduction to Computational Logic, SS 2024

Introduction to Computational Logic, SS 2023
Introduction to Computational Logic, SS 2022
Programming 1, WS 21/22, with Fabian Kunze and Dominik Kirst
Introduction to Computational Logic, SS 2021, with Andrej Dudenhefner
Advanced Topics in Computational Type Theory, WS 2020/21
Advanced Coq Programming, WS 2020/21 (block course, October)
with Yannick Forster and Fabian Kunze
Introduction to Computational Logic, SS 2020, with Dominik Kirst
Constructive Theory of Computation, SS 2020, Andrej Dudenhefner
Proseminar: Funktionale Programmierung, SS 2020, with Fabian Kunze and Andrej Dudenhefner
Semantics, WS 19/20, with Derek Dreyer
Introduction to Computational Logic, SS 2019, with Dominik Kirst
Proseminar: Funktionale Programmierung, SS 2019, with Fabian Kunze and Kathrin Stark
Programmierung 1, WS 18/19, with Yannick Forster
Seminar: Foundations of Mathematics: An Introduction to Sets and Types, WS 18/19, with Dominik Kirst and Wilfried Keller (Philosophy)
Introduction to Computational Logic, SS 2018, with Dominik Kirst
Proseminar: Funktionale Programmierung, SS 2018, with Fabian Kunze, Steven Schäfer, and Kathrin Stark
Advanced Coq Programming, SS 2018, with Yannick Forster, Fabian Kunze, Moritz Lichter, Kathrin Stark
Semantics, WS 17/18, with Derek Dreyer
Seminar: Category Theory, WS 17/18, with Kathrin Stark, Yannick Forster, Dominik Kirst, Fabian Kunze, and Moritz Lichter
Introduction to Computational Logic, SS 17, with Yannick Forster
Seminar: Category Theory, SS 17, with Yannick Forster, Jonas Kaiser, Dominik Kirst, Steven Schäfer, and Kathrin Stark
Computational Logic II, WS 16/17
Proseminar: Funktionale Programmierung, WS 16/17, with Steven Schäfer, Yannick Forster, Jonas Kaiser, and Kathrin Stark.
Introduction to Computational Logic, SS 2016, with Kathrin Stark
Seminar: Computational Logic, SS 2016
Programmierung 1, WS 15/16, with Jonas Kaiser
Semantics, WS 15/16, with Derek Dreyer
Introduction to Computational Logic, SS 15, with Tobias Tebbi
Proseminar: Funktionale Programmierung, SS 15, with Christian Doczkal, Jonas Kaiser, Steven Schäfer, and Tobias Tebbi
Computational Logic II, WS 14/15
Introduction to Computational Logic, SS 14, with Chad Brown
Proseminar: Funktionale Programmierung, SS 14, with Christian Doczkal, Jonas Kaiser, Steven Schäfer, and Tobias Tebbi
Semantics, WS 13/14, with Steven Schäfer
Grundzüge der Theoretischen Informatik, WS 13/14, with Jonas Kaiser
Introduction to Computational Logic, SS 13, with Chad Brown
Proseminar: Funktionale Programmierung, SS 13, with Christian Doczkal, Jonas Kaiser, and Tobias Tebbi
Programmierung 1, WS 12/13, with Sigurd Schneider
Introduction to Computational Logic, SS 12, with Chad Brown
Proseminar: Funktionale Programmierung, SS 12, with Christian Doczkal, Jonas Kaiser and 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)

Legal notice, Privacy policy