Logic Colloquium '96 - inbunden, Engelska, 2017