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