Winter Term 2026/27 Duality in Programming Languages (Seminar) Effective Programming with Effects (Praktikum) Implementation of Operating Systems (Praktikum) Interactive Theorem Proving Parallel, Concurrent, and Distributed Programming Programming in Rust (Praktikum) Selected Topics in PL Semantics (Seminar) Software Quality
