Intelligent Computer Mathematics, 5–12 July (The Reasoner, 2009)