Logic Colloquium 2006 - sidottu, Englanti, 2009