Workshop @ FOCM 2011 (Foundations of Computational Mathematics), Budapest, July 4-6 2011.