Home /  Summer Graduate School /  Schedule

Schedule, Notes/Handouts & Videos

Foundations and Frontiers of Probabilistic Proofs (Zürich, Switzerland) July 17, 2023 - July 28, 2023

Show All Collapse
Jul 17, 2023
Monday
09:00 AM - 10:30 AM
  Lecture 01: Intro to IPs
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 01
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 02: Sumcheck Protocol
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 02
Jul 18, 2023
Tuesday
09:00 AM - 10:30 AM
  Lecture 03: IP for PSPACE
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 03
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 04: Doubly-Efficient IPs
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 04
Jul 19, 2023
Wednesday
09:00 AM - 10:30 AM
  Lecture 05: Zero-Knowledge IPs
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 05
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 06: Intro to PCPs
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 06
Jul 20, 2023
Thursday
09:00 AM - 10:30 AM
  Lecture 07: Linearity Testing
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 07
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 08: Exponential-Size PCP
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 08
Jul 21, 2023
Friday
09:00 AM - 10:30 AM
  Lecture 09: Low-Degree Testing
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 09
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 10: Polynomial-Size PCP
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 10
Jul 24, 2023
Monday
09:00 AM - 10:30 AM
  Lecture 11: PCPs with Sublinear Verification
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 11
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 12: Intro to IOPs
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 12
Jul 25, 2023
Tuesday
09:00 AM - 10:30 AM
  Lecture 13: Linear-Size IOP for Circuits
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 13
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 14: FRI Protocol
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 14
Jul 26, 2023
Wednesday
09:00 AM - 10:30 AM
  Lecture 15: Analysis of FRI
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 15
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 16: Linear-Size IOP for Machines
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 16
Jul 27, 2023
Thursday
09:00 AM - 10:30 AM
  Lecture 17: Holographic Proofs
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 17
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 18: Proof Composition & PCP Theorem
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 18
Jul 28, 2023
Friday
09:00 AM - 10:30 AM
  Lecture 19: Limitations of IPs
10:30 AM - 11:00 AM
  Break
11:00 AM - 12:00 PM
  Recitation 19
12:00 PM - 02:00 PM
  Lunch
02:00 PM - 03:30 PM
  Lecture 20: Limitations of PCPs and IOPs
03:30 PM - 04:00 PM
  Break
04:00 PM - 05:00 PM
  Recitation 20
Back to Summer Graduate School