Logic Colloquium 2005 door