We present a wave group version of the Selberg trace formula for an arbitra
ry surface of finite geometry. As an application we give a new lower bound
on the number of resonances for hyperbolic surfaces. Motivated by recent re
sults we formulate a conjecture on a lower bound for the counting function
of resonances in a strip.