The Winter 1999 Midwest Theory Day will be held at The University of Chicago on December 4th, at the Computer Science Department. Ryerson Laboratories, 1100 E. 58th St.
| 11:00AM | Martin Mundhenk (University of Trier, and U. Kentucky): Nondeterministic Instance Complexity and Hard-to-Prove Tautologies (joint work with V.Arvind, J.Koebler, and J.Toran). Abstract |
| 11:35 | Chris Lusena (U. Kentucky): Finite Memory Policies for Partially Observable Markov Decision Processes.Abstract |
| 12:10 | Lunch. 3rd floor 'barn' |
| 1:30 | Bob Sloan (U. Illinois Chicago): More theory revision with queries (joint work with J. Goldsmith)Abstract |
| 2:05 | Greg Frederickson (Purdue U.): Geometric Dissections That Swing and Twist Abstract |
| 2:35 | Coffee break |
| 3:00 | Pradyut Shah (U. Chicago): A lower bound on the shortest path problem (joint work with K. Mulmuley)Abstract |
| 3:35 | Eric Bach (U. Wisconsin -- Madison): Aho and Sloane Revisited: Height Functions and Nonlinear Recurrence Relations Abstract |
| 4:10 | Satyanarayana V. Lokam (Loyola U. Chicago): On the Rigidity of Vandermonde Matrices Abstract |
All talks will be in 251 Ryerson. Lunch (including vegetarian dishes) and coffe will be available on the 3rd floor, between Ryerson and Eckhart.
How to get here. We are located in Ryerson Lab on the main quadrangle, 1100 E. 58th St. On a Saturday it should be easy to find on-street parking, for example on University Avenue.
Up to date information on weather in Chicago here