In the paper "The combinatorial structure of cocompact discrete hyperbolic groups([here][1])", Cannon gave a proof of conjugacy problem for surface groups using hyperbolic geometry (Theorem 6). Its the the same proof mentioned by Stillwell in the second paragraph of his answer.


  [1]: http://link.springer.com/article/10.1007%2FBF00146825