Logic Colloquium 2007 - pocket, Engelsk, 2014