12:00pm

Lunch

1:20pm

Welcome Remarks

1:30pm

Steve Cook

Proof Complexity and Computational Complexity

2:30pm

Sofya Raskhodnikova

Techniques for Private Data Analysis

3:30pm

Coffee Break

4:00pm

Avrim Blum

A Computational Theory of Clustering

5:00pm

Rump Session

6:00pm

Dinner

Attendees on their own

8:00am

Breakfast

9:00am

Jon Kleinberg

Social Processes, Information Flow, and Anonymized Network Data

10:00am

Coffee Break

10:30am

Daniel Štefankovič

Density Estimation in Linear Time/Estimation of L₁ Distances Using Stochastic Integrals

11:30am

Chaitanya Swamy

Approximation Algorithms for Single-Minded Envy-Free Profit-Maximization Problems with Limited Supply

12:30pm

Lunch

2:00pm

Workshop Over