I am looking for a version of the (2-dimensional) isoperimetric inequality for CAT(0) surfaces. 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.