Logic Colloquium 2007 - sidottu, Englanti, 2010