LC 2017: LOGIC COLLOQUIUM 2017