I am looking for a version of the (2-dimensional) isomerimetric inequality to CAT(0) surfaces, where I am particularly interested in characterizing the boundary case of equality as satisfied by curves of constant geodesic curvature, and also being able to prescribe in advance the center of mass of the optimal disk.