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