Logic Colloquium '96 - innbundet, Engelsk, 2017