Foundations of Computational Mathematics, Hong Kong 2008