DD2442 semteo18 HT18-1 Seminars on Theoretical Computer Science