Logic Colloquium 2006 door