graduate students' reading seminar (Thu 9:50, Krystyna Maskova -- Interactive proofs)