Home /  Summer Graduate School /  Schedule

Schedule, Notes/Handouts & Videos

Foundations and Frontiers of Probabilistic Proofs (Virtual School) July 26, 2021 - August 06, 2021

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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.1: Intro to PCPs
Tom Gur (University of Warwick)
12:30 PM - 01:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.0: Warm-Up
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.0: Warm-Up
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.2: Linearity Testing
Tom Gur (University of Warwick)
12:30 PM - 01:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.1: Intro to IPs
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.1: Intro to PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.3: Low-Degree Testing
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.2: Sumcheck Protocol
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.2: Linearity Testing
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.4: FRI Protocol
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.3: IPs for PSPACE
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.3: Low-Degree Testing
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.5: Analysis of FRI
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.4: Doubly-Efficient IPs
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.4: Intro to FRI Protocol
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.6: Exp-size PCP
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.5: Zero-Knowledge IPs
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.5: Analysis of FRI Protocol
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.7: Poly-size PCP
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.6: Limitations of IPs
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.6: Exponential-Size PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.8: PCPs with Sublinear Verification
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.7: Intro to IOPs
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.7: Polynomial-Size PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.9: Proof Composition
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.8: Linear-Size IOPs for Circuits
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.8: PCPs with Sublinear Verification
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
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))
11:00 AM - 11:30 AM
  Break
11:30 AM - 12:30 PM
  Lecture B.10: Applications of PCPs
Tom Gur (University of Warwick)
01:00 PM - 02:00 PM
  Break
02:00 PM - 03:00 PM
  Recitation A.9: Linear-Size IOPs for Machines
Gal Arnon (The Weizmann Institute), Nick Spooner (Boston University)
03:00 PM - 04:00 PM
  Recitation B.9: Proof Composition
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
Back to Summer Graduate School