The courses planned in this semmester are listed below.
Fall 2022/23 Semester
- 27.10.-29.10.: Michael Blondin, Algorithmic verification of infinite-state systems via relaxations
- 16.11.-18.11.: Artur Czumaj, Modern Parallel Algorithms
Spring 2022/23 Semester
- 1.3.-2.3.: Vincent Cohen-Addad, Provable algorithms for data mining and unsupervised machine learning
- 24.6.-26.5.: Rupak Majumdar
- 1.6.-3.6.: Rahul Savani, The Computational Complexity of Game-Theoretic Solutions