Post

Teaser: a colleague (Sasha Rubin) and I are planning a 3-day (free) "intensive Winter school" at #USyd on computational complexity: specifically, interactive proofs (IP=PSPACE) and the PCP theorem. July 22-24! I don't know how many people here are nearby and keen, but if you are: please do join!

Hmmmm. Sounds fun. There will be a lot of big words I don't understand but I am trying to expand my mathematical muscles that haven't had much work since dykstra's algorithm in second year uni nearly 30 years ago.

As a way to get these "mathematical muscles" back in shape, Avi Wigderson's book is a great resource! He discusses a lot there (IP, etc. are in Chapter 10: see the draft available there): www.math.ias.edu/avi/book

make it zoom.

I believe we can livestream, yes (and record). This is in a lecture theatre! We have the technology!