Logic Colloquium 2005 - sidottu, Englanti, 2007