Foundations of Computational Mathematics, Budapest 2011