Logic Colloquium 2006 by