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