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 […]