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 (INF-D-950 and INF-25-Ma-GB). 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 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
Lab Course “Modeling and Automated Verification” (SS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, MCL-PS
Profilprojekt „Forschungsprojekt Formale Methoden“ (SS 2025)
Christel Baier • 0/0/8 SWS • in German or English
Modules: INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“ (SS 2025)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-B-610, INF-D-520
Proseminar „Theoretische Informatik“ (SS 2025)
Sascha Klüppelholz • 0/2/0 SWS • in German
Modules: INF-B-610, INF-D-520
Research Seminar “Formal Methods” (SS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: INF-PM-FOR
Seminar “Selected Topics in Logic and Verification” (SS 2025)
Christel Baier • 0/2/0 SWS • in English
Modules: CMS-LM-ADV, CMS-LM-MOC, CMS-SEM, INF-AQUA, INF-D-940, MCL-PS, INF-B-510, INF-B-520
Team Project “Model Checking” (SS 2025)
Sascha Klüppelholz • 0/0/8 SWS • in English
Modules: CMS-LM-TEA
