Logic Colloquium '99 - sidottu, Englanti, 2004