Algebraic and Logical Foundations of Computer Science: Teaching
From International Center for Computational Logic
Algebraic and Logical Foundations of Computer Science: Teaching
Theses
We offer bachelor's, master's and Diplom theses as well as the Großer Beleg (Student Research Project). The topics are usually closely related to our current research projects. The Bachelorseminar is intended to be taken in conjunction with a bachelor's thesis and the Belegseminar is intended to be taken in conjunction with a Großer Beleg (see below). If you are interested in writing your thesis at our chair, please contact Sascha Klüppelholz.
Winter term 2026
Lecture “Model Checking” (WS 2026)
Christel Baier; Sascha Klüppelholz • 4/4/0 SWS • in English
Modules: INF-25-Ma-FTK-MC
Analysis of a Research Topic (WS 2026)
Christel Baier • 0/0/40h SWS • in German or English
Modules: INF-25-Ma-AFT
Student Project Seminar (Belegseminar) (WS 2026)
Christel Baier • 0/4/0 SWS • in German or English
Modules: INF-25-Ma-BSem
CMS Research Project “Model Checking” (WS 2026)
Sascha Klüppelholz • 0/0/12 SWS • in English
Modules: CMS-PRO
Exploration of a Research Subject (WS 2026)
Christel Baier • 0/0/40h SWS • in German or English
Modules: INF-25-Ma-ERS
Student Research Project (Großer Beleg) (WS 2026)
Christel Baier • 0/0/100h SWS • in German or English
Modules: INF-25-Ma-GB
Proseminar “Binäre Entscheidungsgraphen” (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-Ba-WIA
Proseminar “Theoretische Informatik” (WS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-Ba-WIA
Seminar “Games and Graphs” (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • in English
Modules: INF-25-Ma-FTK-Sem
Seminar “Selected Topics in Logic and Verification” (WS 2026)
Christel Baier; Jakob Piribauer • 0/2/0 SWS • in English
Modules: CMS-SEM, INF-25-Ma-FTK-Sem
Summer term 2026
Lecture “Advanced Logics” (SS 2026)
Christel Baier; Jakob Piribauer • 4/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, CMS-LM-AI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-25-Ma-FTK-TI, INF-25-Ma-FTK-AL
Analyse eines Forschungsthemas (SS 2026)
Christel Baier • Projektbearbeitung • in German or English
Modules: INF-D-960, INF-25-MA-AFT
CMS Research Project “Model Checking” (SS 2026)
Sascha Klüppelholz • 0/0/12 SWS • in English
Modules: CMS-PRO
Forschungsprojekt (SS 2026)
Christel Baier • Projekte (100 Stunden) • in German or English
Modules: INF-25-MA-FP
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (SS 2026)
Christel Baier • 0/0/8 SWS • in German or English
Modules: INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS 2026)
Christel Baier • 0/0/4 SWS • in German or English
Modules: INF-MA-PR
Lab Course “Modeling and Automated Verification” (SS 2026)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, MCL-PS
Profilprojekt Anwendungsforschung (SS 2026)
Christel Baier • 8P/PB • in German or English
Modules: INF-PM-FPA
Profilprojekt Grundlagenforschung (SS 2026)
Christel Baier • 8P/PB • in German or English
Modules: INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“ (SS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-B-610, INF-D-520, INF-25-Ba-WIA
Proseminar „Theoretische Informatik“ (SS 2026)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-BA-WIA, INF-B-610, INF-D-520
Research Seminar “Formal Methods” (SS 2026)
Christel Baier • 0/2/0 SWS • in English
Modules: INF-PM-FOR
Seminar “Selected Topics in Logic and Verification” (SS 2026)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
Team Project „Model Checking“ (SS 2026)
Sascha Klüppelholz • 0/0/8 SWS • in English
Modules: CMS-LM-TEA
Winter term 2025
Lecture “Model Checking” (WS 2025)
Christel Baier; Sascha Klüppelholz • 4/4/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-AI, CMS-LM-MOC, INF-25-MA-FTK-MC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL
Lecture “Modal Logic” (WS 2025)
Jakob Piribauer • 2/2/0 SWS • in English
Modules: CMS-LM-BAS, INF-25-Ma-FTK-ASAI, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL
Analyse eines Forschungsthemas (WS 2025)
Christel Baier • Projektbearbeitung • in German
Modules: INF-D-960, INF-25-MA-AFT
CMS Research Project “Model Checking” (WS 2025)
Sascha Klüppelholz • 0/0/12 SWS • in English
Modules: CMS-PRO
Forschungsprojekt (WS 2025)
Christel Baier • Projekte (100 Stunden) • in German or English
Modules: INF-25-MA-FP
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ (WS 2025)
Christel Baier • 0/0/8 SWS • in German or English
Modules: INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (WS 2025)
Christel Baier • 0/0/4 SWS • in German or English
Modules: INF-MA-PR
Laborkurs „Modeling and Automated Verification“ (WS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, MCL-PS
Profilprojekt Anwendungsforschung (WS 2025)
Christel Baier • 8P/PB • in German or English
Modules: INF-PM-FPA
Profilprojekt Grundlagenforschung (WS 2025)
Christel Baier • 8P/PB • in German or English
Modules: INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“ (WS 2025)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-B-610, INF-D-520
Proseminar „Theoretische Informatik“ (WS 2025)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-25-BA-WIA, INF-B-610, INF-D-520
Research Seminar “Formal Methods” (WS2025) (WS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: INF-PM-FOR
Seminar “Selected Topics in Logic and Verification” (WS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM-A, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS
Teamprojekt „Model Checking“ (WS 2025)
Sascha Klüppelholz • 0/0/8 SWS • in English
Modules: CMS-LM-TEA
Summer term 2025
Lecture “Advanced Logics” (SS 2025)
Christel Baier; Jakob Piribauer • 4/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL
CMS Research Project “Model Checking” (SS 2025)
Sascha Klüppelholz • 0/0/12 SWS • in English
Modules: CMS-PRO
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ (SS 2025)
Christel Baier • 0/0/4 SWS • in German or English
Modules: INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ (SS 2025)
Christel Baier • 0/0/8 SWS • in German or English
Modules: INF-MA-PR
