Logic Colloquium 2007 - innbundet, Engelsk, 2010