Högre kurser, seminarier, mm Komplexa bevis DD2442 Seminars on Theoretical Computer Science Autumn 2016: Proof Complexity, med pekare till bl a Alexander Razborov: Proof Complexity and Beyond.