dimacs 2008: Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science