Logic Colloquium 2007 - pokkari, Englanti, 2014