Teaching - Winter 2025/2026
Bachelor Program
| Course number | Type/hours | Semester | Title |
|---|---|---|---|
| 703139 | VU3 | WS 2025 / 2026 | Advanced Functional Programming |
| 703024 + 703025 | VO2 + PS1 | WS 2025 / 2026 | Functional Programming |
| 703145 | VU3 | WS 2025 / 2026 | Introduction to Complexity Theory |
Master Program
| Course number | Type/hours | Semester | Title |
|---|---|---|---|
| 703302 + 703303 | VO2 + PS2 | WS 2025 / 2026 | Automata and Logic |
| 703352 | VU3 | WS 2025 / 2026 | Selected Topics in Term Rewriting |