16. Oct Welcome and introductory event for first semester master's students 2024/25 Speaker: Katrin Winkler 10:00 - 11:30 ZT 702
16. Oct – 18. Oct Lecture series for advanced Bachelor's and Master's students WiSe 2024/25 Speaker: R 512
19. Jun Deductive verification of probabilistic programs via independence and conditioning Speaker: Emanuele D'Osualdo 13:30 - 15:00 R 611
05. Jun The Role of Convexity in Learning: An Inverse Optimization Case Study Speaker: Peyman Mohajerin Esfahani 13:30 - 15:00 ZT 1204 (Data Theater)