Workshops
Fall 2019

Probabilistically Checkable and Interactive Proof Systems

Sep. 23Sep. 27, 2019
Add to My Calendar
Monday, September 23rd, 2019
9:00 am9:20 am
Coffee and Check-In
9:20 am9:30 am
9:30 am10:30 am
Yuval Ishai (Technion)
10:30 am11:00 am
Break
11:00 am12:00 pm
Riad Wahby (Stanford University) 
12:00 pm2:00 pm
Lunch
2:00 pm2:30 pm
Mary Maller (University College London)
2:30 pm3:00 pm
Alessandra Scafuro (North Carolina State University) 
3:00 pm3:30 pm
Break
3:30 pm4:30 pm
Guy Rothblum (Weizmann Institute)
4:30 pm5:30 pm
Reception
Tuesday, September 24th, 2019
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
Yael Kalai (Microsoft Research)
10:30 am11:00 am
Break
11:00 am12:00 pm
Nicholas Spooner (UC Berkeley)
12:00 pm2:00 pm
Lunch
2:00 pm2:30 pm
Jonathan Bootle (IBM Research- Zurich)
2:30 pm3:00 pm
Alessandro Chiesa (UC Berkeley)
3:00 pm3:30 pm
Break
3:30 pm4:00 pm
Prabhanjan Ananth (UC Santa Barbara)
4:00 pm4:30 pm
Dakshita Khurana (Microsoft Research)
Wednesday, September 25th, 2019
9:00 am9:30 am
Coffee and Check-In
9:30 am10:15 am
Yupeng Zhang (Texas A&M University)
10:15 am11:00 am
Benedikt Bünz (Stanford University)
11:00 am11:30 am
Break
11:30 am12:00 pm
Ariel Gabizon (Protocol Labs)
12:00 pm2:00 pm
Lunch
2:00 pm2:30 pm
Swastik Kopparty (Rutgers University) 
2:30 pm3:00 pm
Iftach Haitner (Tel Aviv University)
3:00 pm3:30 pm
Break
3:30 pm4:30 pm
Thursday, September 26th, 2019
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
10:30 am11:00 am
Break
11:00 am11:30 am
Lisa Yang (MIT)
11:30 am12:00 pm
Prantar Ghosh (Dartmouth College)
12:00 pm2:00 pm
Lunch
2:00 pm3:00 pm
Elette Boyle (IDC Herzliya), Henry Corrigan-Gibbs (Stanford University)
3:00 pm3:30 pm
Break
3:30 pm4:00 pm
Justin Holmgren (Princeton University)
Friday, September 27th, 2019
9:00 am9:30 am
Coffee and Check-In
9:30 am10:30 am
Eylon Yogev (Technion)
10:30 am11:00 am
Break
11:00 am12:00 pm
Muthu Venkitasubramaniam (University of Rochester)
12:00 pm2:00 pm
Lunch
2:00 pm3:00 pm
Prahladh Harsha (Tata Institute of Fundamental Research)
3:00 pm3:45 pm
Guy Kindler (Hebrew University of Jerusalem)