Summer Graduate School Foundations and Frontiers of Probabilistic Proofs (Virtual School)

Show All Collapse

Jul 26, 2021
Monday

09:15 AM - 09:30 AM

Welcome: Introduction to the summer school
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

09:30 AM - 10:30 AM

Lecture A.1: Intro to IPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Jul 27, 2021
Tuesday

09:30 AM - 10:30 AM

Lecture A.2: Sumcheck Protocol
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Jul 28, 2021
Wednesday

09:30 AM - 10:30 AM

Lecture A.3: IP for PSPACE
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Jul 29, 2021
Thursday

09:30 AM - 10:30 AM

Lecture A.4: Doubly-Efficient IPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Jul 30, 2021
Friday

09:30 AM - 10:30 AM

Lecture A.5: Zero-Knowledge IPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Aug 02, 2021
Monday

09:30 AM - 10:30 AM

Lecture A.6: Limitations of IPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Aug 03, 2021
Tuesday

09:30 AM - 10:30 AM

Lecture A.7: Intro to IOPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Aug 04, 2021
Wednesday

09:30 AM - 10:30 AM

Lecture A.8: Linear-size IOP for Circuits
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Aug 05, 2021
Thursday

09:30 AM - 10:30 AM

Lecture A.9: Linear-Size IOP for Machines
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))

Aug 06, 2021
Friday

09:30 AM - 10:30 AM

Lecture A.10: Limitations of PCPs and IOPs
Alessandro Chiesa (École Polytechnique Fédérale de Lausanne (EPFL))