-
Summer Graduate School Foundations and Frontiers of Probabilistic Proofs (Virtual School)
Show All Collapse Jul 26, 2021
Monday03:00 PM - 04:00 PMRecitation B.0: Warm-Up
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Jul 27, 2021
Tuesday03:00 PM - 04:00 PMRecitation B.1: Intro to PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Jul 28, 2021
Wednesday03:00 PM - 04:00 PMRecitation B.2: Linearity Testing
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Jul 29, 2021
Thursday03:00 PM - 04:00 PMRecitation B.3: Low-Degree Testing
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Jul 30, 2021
Friday03:00 PM - 04:00 PMRecitation B.4: Intro to FRI Protocol
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Aug 02, 2021
Monday03:00 PM - 04:00 PMRecitation B.5: Analysis of FRI Protocol
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Aug 03, 2021
Tuesday03:00 PM - 04:00 PMRecitation B.6: Exponential-Size PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Aug 04, 2021
Wednesday03:00 PM - 04:00 PMRecitation B.7: Polynomial-Size PCPs
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Aug 05, 2021
Thursday03:00 PM - 04:00 PMRecitation B.8: PCPs with Sublinear Verification
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)Aug 06, 2021
Friday03:00 PM - 04:00 PMRecitation B.9: Proof Composition
Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)
Personal Profile of Dr. Inbal Rachel Livni Navon
Dr.
Inbal
Rachel
Livni Navon
Home Page: http://www.wisdom.weizmann.ac.il/~inball/
Computer Science and Applied Mathematics
Home Page: http://www.wisdom.weizmann.ac.il/~inball/
ORCID: https://orcid.org/0000-0001-5949-316X