Teaching - Summer 2026
Bachelor Program
| Course number | Type/hours | Semester | Title |
|---|---|---|---|
| 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 | Type/hours | Semester | Title |
|---|---|---|---|
| 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 |