| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Model Checking | Lecture | B/M | Katoen |
| Concurrency Theory | Lecture | M | Katoen/Noll |
| Foundations of Informatics Bridging Course | Lecture | – | Noll |
| Formal Semantics of Programming Languages | Seminar | B/M | Katoen/Noll |
| Introduction to Category Theory | Block Seminar | Moerman |