Teaching WS 2025 / 2026

Bachelor Program
Course number (LFU:Online)Type/hoursSemesterTitle / Course Material
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 (LFU:Online)Type/hoursSemesterTitle / Course Material
703302 + 703303 VO2 + PS2 WS 2025 / 2026 Automata and Logic
703352 VU3 WS 2025 / 2026 Selected Topics in Term Rewriting