Logic Colloquium 2007 inbundenEngelska, 2010