Logic Colloquium '90 - sidottu, Englanti, 2017