Redirecting to /events/informal-and-formal-verification-nonlinear-inequalities-applications-discrete-geometry-2013