Logic Colloquium '96 - sidottu, Englanti, 2017