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