Wednesday, September 22, 2010 9:00 - 9:30 Breakfast and Registration 9:30 - 10:00 Short discussion 10:00 - 11:00 Informal talk Bakhodyr Khoussainov, University of Auckland 11:00 - 11:30 Morning break 11:30 - 12:30 Breakout groups 12:30 - 2:00 Lunch 2:00 - 2:30 Short discussion 3:30 - 4:30 Informal talk Carl Jockusch, University of Illinois 4:30 - 5:00 Afternoon break 5:00 - 6:00 Breakout groups Thursday, September 23, 2010 9:00 - 9:30 Breakfast and Registration 9:30 - 10:00 Short discussion 10:00 - 11:00 Tarski monsters and related constructions Mark Sapir, Vanderbilt University 11:00 - 11:30 Morning break 11:30 - 12:30 Breakout groups 12:30 - 2:00 Lunch 2:00 - 2:30 Short discussion 3:30 - 4:30 Informal talk Steffen Lempp, University of Wisconsin 4:30 - 5:00 Afternoon break 5:00 - 6:00 Breakout groups Friday, September 24, 2010 9:00 - 9:30 Breakfast and Registration 9:30 - 10:00 Short discussion 10:00 - 11:00 Generic Computability and Geometric Group Theory Paul Schupp, University of Illinois 11:00 - 11:30 Morning break 11:30 - 12:30 General discussion 12:30 - 2:00 Lunch