Logic Colloquium 2005 by