Lehrveranstaltungen

Wintersemester 2026

Titel	Dozent	Umfang (SWS)	Module
Projekte und Studienarbeiten Wissensbasierte Systeme	Markus Krötzsch	–/–/–	INF-B-510,INF-B-520,MCL-P,CMS-PRO,CMS-TEA,INF-PM-FPA,INF-PM-FPG,INF-MA-PR,INF-D-950,INF-D-960,INF-25-BA-BASE,INF-25-MA-FP,INF-25-MA-BSem,INF-25-Ma-GB,INF-25-Ma-AFT,INF-25-Ba-P-KBS
Projekte und Studienarbeiten Computational Logic	Sebastian Rudolph	–/–/–	INF-25-Ma-GB,INF-25-Ma-AFT,INF-25-Ba-BaSe,INF-25-Ma-FP,INF-25-Ma-BSem,CMS-VC-TEA
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	CMS-VC-ELV2, CMS-CLS-ELG, CMS-CE-EL1, CMS-CE-EL2, CMS-CLS-ELV, CMS-EE-EL1, CMS-EE-EL2, INF-25-MA-FTK-APSS
Analyse eines Forschungsthemas	Christel Baier	0/0/40h	INF-25-Ma-AFT
Bachelorseminar	Christel Baier	0/4/0	INF-25-Ba-BaSe
Belegseminar	Christel Baier	0/4/0	INF-25-Ma-BSem
CMS-Forschungsprojekt „Model Checking“	Sascha Klüppelholz	0/0/12	CMS-PRO
Complexity Theory	Markus Krötzsch	4/2/0	INF-25-MA-FTK-CT
Exploration of a Research Subject	Christel Baier	0/0/40h	INF-25-Ma-ERS
Forschungsprojekt	Christel Baier	0/0/100h	INF-25-Ma-FP
Foundations of Knowledge Representation	Sebastian Rudolph	2/2/0	INF-25-Ma-FTK-KR
Foundations of Logic Programming	Hannes Straß	2/0/0	INF-Ma-25-FTK-FLP
Großer Beleg	Christel Baier	0/0/100h	INF-25-Ma-GB
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-E-3, INF-25-MA-FTK-KM
Proof Theory and Sequent Systems	Tim Lyon	2/0/0	INF-BAS2, INF-VERT2, INF-25-MA-FTK-ASAI
Proseminar „Binäre Entscheidungsgraphen“	Sascha Klüppelholz	0/2/0	INF-25-Ba-WIA
Proseminar „Theoretische Informatik“	Sascha Klüppelholz	0/2/0	INF-25-Ba-WIA
Seminar „Games and Graphs“	Christel Baier, Jakob Piribauer	0/2/0	INF-25-Ma-FTK-Sem
Seminar „Knowledge Representation“	Sebastian Rudolph	0/2/0	CMS-SEM, INF-25-Ma-FTK-Sem, CMS-SEM-KR
Seminar „Selected Topics in Logic and Verification“	Christel Baier, Jakob Piribauer	0/2/0	CMS-SEM, INF-25-Ma-FTK-Sem
Vorlesung „Modal Logic“	Jakob Piribauer	2/2/0	INF-25-Ma-FTK-MoL
Vorlesung „Model Checking“	Christel Baier, Sascha Klüppelholz	4/4/0	INF-25-Ma-FTK-MC

Sommersemester 2026

Titel	Dozent	Umfang (SWS)	Module
Algorithmic Game Theory	Hannes Straß	2/2/0	INF-B-510, INF-B-520, INF-PM-FOR, INF-Ma-FTK-GaT
Analyse eines Forschungsthemas	Christel Baier	Projektbearbeitung	INF-D-960, INF-25-MA-AFT
Bachelorseminar	Christel Baier	0/4/0	INF-25-BA-BASE
Belegseminar	Christel Baier	0/4/0	INF-25-MA-BSem
CMS Research Project “Model Checking”	Sascha Klüppelholz	0/0/12	CMS-PRO
Forschungsprojekt	Christel Baier	Projekte (100 Stunden)	INF-25-MA-FP
Introduction to Existential Rules	Sebastian Rudolph	2/0/0	INF-BAS2, CMS-LM-ADV, INF-25-MA-FTK-ASAI
Introduction to Formal Concept Analysis	Sebastian Rudolph	2/2/0	INF-BAS2, CMS-LM-ADV, INF-25-MA-FTK-ASAI
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“	Christel Baier	0/0/8	INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“	Christel Baier	0/0/4	INF-MA-PR
Lab Course „Modeling and Automated Verification“	Christel Baier	0/2/0	MCL-PS, CMS-LM-MOC, CMS-LM-ADV
Lecture “Advanced Logics”	Christel Baier, Jakob Piribauer	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, CMS-LM-MOC, CMS-LM-ADV, CMS-LM-AI, INF-25-Ma-FTK-TI, INF-25-Ma-FTK-AL
Profilprojekt Anwendungsforschung	Christel Baier	8P/PB	INF-PM-FPA
Profilprojekt Grundlagenforschung	Christel Baier	8P/PB	INF-PM-FPG
Proof Theory and Sequent Systems	Tim Lyon	2/0/0	INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, INF-25-Ma-FTK-ASAI
Proseminar „Binäre Entscheidungsgraphen“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520, INF-25-Ba-WIA
Proseminar „Theoretische Informatik“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520, INF-25-BA-WIA
Research Seminar “Formal Methods”	Christel Baier	0/2/0	INF-PM-FOR
Seminar Logic-Based Knowledge Representation	Sarah Alice Gaggl	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM-A
Seminar “Selected Topics in Logic and Verification”	Christel Baier	0/2/0	INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM-A
Team Project „Model Checking“	Sascha Klüppelholz	0/0/8	CMS-LM-TEA
Theoretische Informatik und Logik	Markus Krötzsch	4/2/0	INF-LE-EUI, INF-B-290, INF-D-330, INF-25-BA-LUK

Wintersemester 2025

… weitere Ergebnisse

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-VC-ELV2, CMS-CLS-ELG, CMS-COR-FAI, CMS-CE-EL1, CMS-CE-EL2, CMS-CLS-ELV, CMS-EE-EL1, CMS-EE-EL2, INF-25-MA-FTK-APSS
Analyse eines Forschungsthemas	Christel Baier	Projektbearbeitung	INF-D-960, INF-25-MA-AFT
Bachelorseminar	Christel Baier	0/4/0	INF-25-BA-BASE
Behind the Secrets of Large Language Models	Simon Razniewski, Michael Färber	2/2/0
Belegseminar	Christel Baier	0/4/0	INF-25-MA-BSEM
CMS Research Project “Model Checking”	Sascha Klüppelholz	0/0/12	CMS-PRO
Complexity Theory	Markus Krötzsch, Stephan Mennicke, Sergei Obiedkov	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV, INF-25-MA-FTK-CT
Formale Systeme	Markus Krötzsch	4/2/0	INF-B-270, INF-B-275, INF-LE-EUI, INF-25-BA-AUB