Logic Colloquium 2005 - inbunden, Engelska, 2007