Courses
From International Center for Computational Logic
Courses
Winter term 2025
| Title | Lecturer | SWS | Modules |
|---|---|---|---|
| Projects and Theses in Knowledge-Based Systems | 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 |
| Projects and Theses in Computational Logic | Sebastian Rudolph | –/–/– | MCL-P,INF-PM-FPA,INF-PM-FPG,INF-MA-PR |
| 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 | 0/0/0 | 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 |
| Forschungsprojekt | Christel Baier | 0/0/0 | INF-25-MA-FP |
| Foundations of Knowledge Representation | Sebastian Rudolph | 2/2/0 | INF-BAS2, INF-VERT2, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Foundations of Logic Programming | Hannes Straß | 2/0/0 | INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, CMS-LM-MOC, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Introduction to Existential Rules | Sebastian Rudolph | 2/0/0 | INF-BAS2, INF-VERT2, CMS-LM-MOC, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Knowledge Graphs | Markus Krötzsch | 2/2/0 | INF-BAS2, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-B510, INF-B520, CMS-COR-KM, INF-PM-ANW, INF-25-MA-FTK-KM |
| 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 |
| Laborkurs „Modeling and Automated Verification“ | Christel Baier | 0/2/0 | MCL-PS, CMS-LM-MOC, CMS-LM-ADV |
| Lecture “Modal Logic” | Jakob Piribauer | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Lecture “Model Checking” | Christel Baier, Sascha Klüppelholz | 4/4/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, CMS-LM-MOC, CMS-LM-ADV, CMS-LM-AI, INF-25-MA-FTK-MC |
| Profilprojekt Anwendungsforschung | Christel Baier | 0/0/0 | INF-PM-FPA |
| Profilprojekt Grundlagenforschung | Christel Baier | 0/0/0 | INF-PM-FPG |
| 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-B-610, INF-D-520 |
| Proseminar „Theoretische Informatik“ | Sascha Klüppelholz | 0/2/0 | INF-B-610, INF-D-520, INF-25-BA-WIA |
| Research Seminar “Formal Methods” (WS2025) | Christel Baier | 0/2/0 | INF-PM-FOR |
| 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 |
| Teamprojekt „Model Checking“ | Sascha Klüppelholz | 0/0/8 | CMS-LM-TEA |
Summer term 2025
Winter term 2024
| Title | Lecturer | SWS | Modules |
|---|---|---|---|
| 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 |
Summer term 2024
... further results
| Title | Lecturer | SWS | Modules |
|---|---|---|---|
| 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 |
