Logic Colloquium 2016