Logic course Winter Semester 2019-2020.
Summer semester seminar 2020
Game-Theoretic Techniques in Logic and Verification