Title: Logic Colloquium 2004