Post

And the website with details and registration form is up! sites.google.com/view/sydney-... Join us on July 22–24 at #USyd, in the @sydneycompsci.bsky.social, for a 3-day (free) intensive winter school on Interactive Proofs and the PCP Theorem! [Remote participation possible]

sites.google.comSydney TCS Winter School 2026📅 July 22—24, 2026 🌏 Sydney (Australia)

Clément Canonne@ccanonne.github.io

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!

Juspreet Singh Sandhu

@freegaussians.bsky.social

1 June

@ccanonne.github.io - Any chance this can be streamed online? I would like to attend, and learn the proof of IP=PSPACE and the PCP theorem in detail! Unfortunately, I cannot physically travel.

Clément Canonne

@ccanonne.github.io

Yes, remote participation is an option (indicate it in the registration form)!

1/6/26, 1:21 am0 reposts2 likes

Juspreet Singh Sandhu

@freegaussians.bsky.social

1 June

Perfect, ty. I did register, so I am assuming emails with the links etc will be sent!