Game-Theoretic Techniques in Logic and Verification
Logic and Verification Seminar (Winter Semester 2020-2021)