Lehrveranstaltungen

Sommersemester 2025

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
Projekte und Studienarbeiten Computational Logic	Sebastian Rudolph	–/–/–	MCL-P,INF-PM-FPA,INF-PM-FPG,INF-MA-PR
CMS Research Project “Model Checking”	Sascha Klüppelholz	0/0/12	CMS-PRO
Concurrency Theory	Stephan Mennicke	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, MCL-TCS
Database Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“	Christel Baier	0/0/4	INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“	Christel Baier	0/0/8	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
Profilprojekt „Forschungsprojekt Formale Methoden“	Christel Baier	0/0/8	INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520
Proseminar „Theoretische Informatik“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520
Recent Topics in Knowledge Graphs	Philipp Hanisch	0/2/0	INF-AQUA, INF-B-520, INF-D-940, MCL-PS, INF-B510, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM, CMS-LM-AI
Research Seminar “Formal Methods”	Christel Baier	0/2/0	INF-PM-FOR
Seminar Large Language Models and Knowledge-aware AI	Simon Razniewski	0/2/0
Seminar Logic-Based Knowledge Representation	Sarah Alice Gaggl	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, 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
Team Project “Model Checking”	Sascha Klüppelholz	0/0/8	CMS-LM-TEA
Theoretische Informatik und Logik	Sebastian Rudolph	4/2/0	INF-B-290, INF-D-330

Wintersemester 2024

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	INF-BAS2, INF-VERT2, CMS-COR-FAI
Behind the secrets of large language models	Simon Razniewski, Michael Färber	2/2/0
Complexity Theory	Markus Krötzsch	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
Formale Systeme	Sebastian Rudolph	4/2/0	INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS
Foundations of Knowledge Representation	Hannes Straß	2/2/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW

Sommersemester 2024

Titel	Dozent	Umfang (SWS)	Module
Algorithmic Game Theory	Hannes Straß	2/2/0	INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency Theory	Stephan Mennicke	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, MCL-TCS
First-Order Logic – Semantic and Computational Properties	Dörthe Arndt	2/0/0
Introduction to Existential Rules	Sebastian Rudolph	2/2/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Proof Theory and Sequent Systems	Tim Lyon	2/0/0	INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Seminar Logic-Based Knowledge Representation	Sebastian Rudolph	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR
Theoretische Informatik und Logik	Markus Krötzsch	4/2/0

Wintersemester 2023

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, CMS-COR-FAI
Complexity Theory	Markus Krötzsch, Stephan Mennicke, Lukas Gerlach	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
Formale Systeme	Markus Krötzsch	4/2/0
Foundations of Knowledge Representation	Sebastian Rudolph	2/2/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic Programming	Hannes Straß	2/0/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Semantic Web Technologies	Dörthe Arndt	2/2/0
Introduction to Formal Concept Analysis	Sebastian Rudolph	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV, CMS-LM-AI
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW
Research Seminar Logic and AI	Sebastian Rudolph, Piotr Ostropolski-Nalewaja	0/2/0	INF-AQUA, INF-PM-FOR
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR

Sommersemester 2023

… weitere Ergebnisse

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl, Lucía Gómez Álvarez	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Algorithmic Game Theory	Hannes Straß	2/2/0	INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency Theory	Stephan Mennicke	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Database Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Introduction to Existential Rules	Sebastian Rudolph	2/0/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Quotation in Formal Logics and the Web	Dörthe Arndt	2/2/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, MCL-AI, CMS-LM-ADV, CMS-LM-AI
Research Seminar Logic and AI	Sebastian Rudolph, Piotr Ostropolski-Nalewaja	0/2/0	INF-AQUA, INF-PM-FOR
Seminar Logic-Based Knowledge Representation	Sebastian Rudolph	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR