Sydney TCS Winter School 2026: Interactive Proofs and PCP Theorem

This 3-day intensive winter school will cover and discuss two fundamental results in computational complexity, which redefined the way we think about proofs, and led to a plethora of new research directions, results, and insights. The IP=SPACE Theorem (the power of interaction) The PCP Theorem (the power of randomization) Location:University of Sydney, Computer Science Building (J12), Lecture Theatre 123