Interpretation Meets Convex Optimization ? Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stephane Gaubert, and Eric Goubault 1 CNRS/VERIMAG, France [email protected] 2 Technische Universität München, Germany [email protected] 3 CEA, LIST and LIX, Ecole Polytechnique (MeASI) [email protected] 4 INRIA Saclay and CMAP, Ecole Polytechnique, F-91128 Palaiseau Cedex, France Stephane.Gaubert...