Invited Talks 

Tuesday–Friday, 8.30–9.30 in AUD1

• Tuesday: Claire Mathieu. Homophily and the Glass Ceiling Effect in Social Networks
• Wednesday: Viktor Kuncak. Verifying and Synthesizing Software with Recursive Functions
• Thursday: Sanjeev Arora. Overcoming the Intractability Obstacle for Unsupervised Machine Learning
• Friday: Maurice Herlihy. Distributed Computing and Combinatorial Topology: Puzzles and Open Problems