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