Game-Theoretic Techniques in Logic and Verification
Logic and Verification Seminar (Winter Semester 2020-2021)
Summer semester seminar 2020
Automated Reasoning Course
Logic course Winter Semester 2019-2020.