Saturday, June 17: Arrival and Check-in Sunday, June 18: 7:30 - 8:45 (Breakfast) 9:00 - 9:15 (Introductory remarks) 9:15 - 10:05 Jeff Lagarias: George Boole's work in probability, linear programming and polytopes 10:05 - 10:30 (Coffee Break) 10:30 - 11:20 Joseph O'Rourke: Unfolding orthogonal polyhedra 11:30 - 12:20 Alexander Barvinok: Complexity of convex bodies in higher dimensions 12:30 - 1:45 (Lunch) 4:30 - 5:20 Jozsef Solymosi: Examples of when number theory and incidence geometry intertwine 5:30 - 6:20 Xiaomin Chen: The Sylvester-Chvatal theorem and related problems 6:30 - 7:45 (Dinner) 8:00 - ??? (Reception) Monday, June 19: 7:30 - 8:45 (Breakfast) 9:00 - 9:50 Herbert Edelsbrunner: Topological persistence: results, applications, extensions 9:50 - 10:15 (Coffee Break) 10:15 - 11:05 Frank Sottile: Line problems in nonlinear computational geometry 11:15 - 12:05 Andreas Holmsen: Line transversals to disjoint balls in d-space 12:15 - 1:30 (Lunch) 4:30 - 5:20 Micha Sharir: Recent advances in the combinatorics of arrangements 5:30 - 6:20 Jacob Fox: Ramsey-type results for intersection graphs 6:30 - 7:45 (Dinner) 8:00 - ??? Problem Session Tuesday, June 20: 7:30 - 8:45 (Breakfast) 9:00 - 9:50 Imre Barany: The central limit theorem for random polytopes 9:50 - 10:15 (Coffee Break) 10:15 - 11:05 Saugata Basu: Algorithms for computing Betti numbers of semi-algebraic sets -- recent progress and open problems 11:15 - 12:05 Pankaj Agarwal: Various trade-offs in kinetic data structures 12:15 - 1:30 (Lunch) 1:45 - ??? (Excursion (hike)) 6:30 - 7:45 (Dinner (for those back from or not going on the excursion)) Wednesday, June 21: 7:30 - 8:45 (Breakfast) 9:00 - 9:50 Robert Connelly: Intersecting adornments for carpenter's rulers, expanding flowers, and Kneser-Poulsen theory 9:50 - 10:15 (Coffee Break) 10:15 - 11:05 Daniel Stefankovic: Crossing numbers of graphs 11:15 - 12:05 Ileana Streinu: Some problems in algorithmic rigidity theory 12:15 - 1:30 (Lunch) 4:30 - 5:20 Zoltan Furedi: Covering a triangle with triangles 5:30 - 6:20 Guenter M. Ziegler: Polytopes and surfaces via projections (to be presented by Raman Sanyal) 6:30 - 7:45 (Dinner) 8:00 - 8:50 Erik Demaine: Linkage folding: from steam engines to proteins Thursday, June 22: 7:30 - 8:45 (Breakfast) 9:00 - 9:50 Francisco Santos: A disconnected graph of triangulations in general position 9:50 - 10:15 (Coffee Break) 10:15 - 11:05 Tobias Gerken: On the Erdos-Szekeres convex polygon theorem and related problems 11:15 - 12:05 Louis J. Billera: A quasisymmetric function for matroids 12:15 - 1:30 (Lunch) 4:30 - 5:20 Thomas Hales: The Kepler conjecture -- 10 years later 5:30 - 6:20 Emo Welzl: On the number of triangulations and other crossing-free configurations on planar point sets 6:30 - 7:45 (Dinner) 8:00 - ??? Software demonstration?? Friday, June 23: 7:30 - 8:45 (Complimentary continental Breakfast) (Checkout)