Title: Logic Colloquium 2007