Logic Colloquium 2006 - innbundet, Engelsk, 2009