Intelligent Computer Mathematics, 5–12 July