| Title | Lecturer | SWS | Modules |
|---|
| 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 |
