DD2442 HT20-1 Seminars on Theoretical Computer Science