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.