Group-valued moment maps are a framework for moduli spaces of flat
connections over surfaces. We have constructed a push-forward operation
in twisted K-theory for such moment maps. As applications, one gets
Verlinde-type formulas.