## 1 July – Irit Dinur: P, NP, and Probabilistically Checkable Proofs

Dinur will talk about the PCP theorem and its many applications, and end by touching upon a surprising recent connection between PCPs and the so-called high-dimensional expanders, which are objects that come from pure math. The talk is also part of the Millennium Festival: https://die-7-grossten-abenteuer-der-mathematik.webflow.io