Logo

Mathematical Sciences Research Institute

Home » Inbal Livni Navon

Personal Profile of Dr. Inbal Rachel Livni Navon

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

    Show All Collapse
    Jul 26, 2021
    Monday
    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
    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
    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
    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
    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
    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
    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
    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
    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
    03:00 PM - 04:00 PM
      Recitation B.9: Proof Composition
    Marcel Dall'Agnol (University of Warwick), Inbal Livni Navon (The Weizmann Institute)