This page has moved to http://www.math.uiuc.edu/ResearchAreas/logic/