29 July 2025: Aart Middeldorp receives two prestigious research awards
In this year at the CADE conference, Aart Middeldorp was awarded with both the Herbrand Award and the in combination with Nao Hirokawa, he also receiv
10 November 2022: CL congratulates Thomas Oberroither
Thomas Oberroither is the winner of the Best Bachelor Thesis award of the academic year 2021/2022. He was awarded at the inday students for his thesis
18 August 2024: 4 year PhD position available
A 4 year PhD position is available. Click here for details.
29 August, 2023: Johannes Niederhauser completes his master studies
Johannes Niederhauser successfully defends his master thesis, entitled “Left-linear Completion with AC Axioms”. Congratulations. We are delighted that
Teaching SS 2025
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 |
Master Program
Teaching WS 2025 / 2026
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 |