Teaching - WS 2026 / 2027
Bachelor Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703139 | VU3 | 26W | Advanced Functional Programming |
| 703024 + 703206 + 703025 | VO2 + PS1 | 26W | Funktionale Programmierung |
| 703026 + 703214 | VO3 + UE2 | 26w | Logic |
Master Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703302 + 703303 | VO2 + PS2 | 26W | Automata and Logic |
| 703317 | VU3 | 26W | Computability Theory |
Teaching - SS 2026
Bachelor Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703073 | VU2 | SS 2026 | Introduction to Scientific Working |
| 703026 + 703027 | VO3 + PS2 | SS 2026 | Logic |
| 703083 + 703084 | VO3 + PS2 | SS 2026 | Program Verification |
| 703141 | VU3 | SS 2026 | Term Rewriting |
Master Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703304 + 703305 | VO2 + PS2 | SS 2026 | Constraint Solving |
| 703315 | VU3 | SS 2026 | Interactive Theorem Proving in Isabelle/HOL |
| 703319 | SE2 | SS 2026 | Research Seminar in Logic and Learning: CL/TCS |
Teaching WS 2025 / 2026
Bachelor Program
| Course number (LFU:Online) | Type/hours | Semester | Title / 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
Teaching - SS 2025
Bachelor Program
| Course number (LFU:Online) | Type/hours | Semester | Title / Course Material |
|---|---|---|---|
| 703026 + 703027 | VO3 + PS2 | SS 2025 | Logic |
| 703083 + 703084 | VO3 + PS2 | SS 2025 | Program Verification |
| 703141 | VU3 | SS 2025 | Term Rewriting |