Winter 2026/27

Thesis Projects
Winter 2026/27
- Seminar Trends in Computer-Aided Verification
- Proseminar Datenstrukturen und Algorithmen
Summer 2026
Winter 2025/26
Summer 2025
Winter 2024/25
Summer 2024
WS 23/24
SS 23
WS 2022/23
SS 22
WS 21/22
SS 21
WS 20/21
SS 20
WS 19/20
SS 19
WS 18/19
SS 18
WS 17/18
SS 17
WS 16/17
SS 16
WS 15/16
SS 15
WS 14/15
SS 14

Paper in Information and Computation
May 4, 2026
The paper entitled “On Termination of Polynomial Programs with Equality Conditions” by Yangjia Li (ISCAS), Mingshuai Chen (Zhejiang Univ.), Liangran Zhao (Peking Univ.), Naijun Zhan (Peking Univ.), Hui Lu (Nanjing), …
Distinguished Artefact@ETAPS26
May 4, 2026
The paper “Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops” by Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Kaminski (Saarland Univ.), Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler …
Paper at CAV 2026
April 21, 2026
The research paper “Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families” by Sebastian Junges, Luko van der Maas (both Radboud University, Nijmegen), Milan Ceska, Filip Macák (both …