graduate students' reading seminar (Thu 9:50, Petr Chmel: Complexity of explicit constructions)