June 29, 2012 (Friday) at Columbia CS Conference Room  

Program [ abstracts | previous ]

9:30 - 9:45	Introduction/Coffee
9:45 - 11:45	Rosario Gennaro, IBM A Survey of Verifiable Delegation of Computations
11:45 - 1:30.	Lunch (not provided)
1:30 - 2:30.	Guy Rothblum, MSR Delegating Computation: Interactive Proofs for Muggles
2:45 - 3:45.	Yael Kalai, MSR Where Delegation Meets Einstein
4:00 - 5:00.	Alessandro Chiesa, MIT How MIPs and Proof-Carrying Data Make Delegation More Affordable

 

Getting Here

Address: 500 W 120th St (at Amsterdam)
[ google maps | official directions ]

 
Organizers

 Tal Rabin (IBM) · Dov Gordon (Columbia) · Daniel Wichs (IBM)

with the help and support of Tal Malkin (Columbia).