1: \begin{abstract}

2: \noindent In 1951, Higman\cite{Higman} constructed a remarkable group

3: $$H=\left\langle a,b,c,d \, \left| \,  b^a = b^2, c^b = c^2, d^c = d^2, a^d = a^2 \right. \right\rangle$$

4: and used it to produce the first examples of infinite simple groups.

5: By studying fixed points of certain finite state transducers, we show the conjugacy problem in $H$ is decidable (for all inputs).

6: 

7: Diekert, Laun \& Ushakov\cite{DLU2} have recently shown the word problem in $H$ is solvable in polynomial time,

8: using the \emph{power circuit} technology of Myasnikov, Ushakov \& Won\cite{MUW}.

9: Building on this work, we show in a strongly generic setting that the conjugacy problem has a polynomial time solution.

10: 

11: \ms \noindent   \textbf{2010 Mathematics Subject Classification:  20F10, 68Q70 }  

12: % 20F10   	Word problems, other decision problems, connections with logic and automata

13: %	68Q70   	Algebraic theory of languages and automata [See also 18B20, 20M35]

14: % 20F65   	Geometric group theory [See also 05C25, 20E08, 57Mxx]

15: %	20F67   	Hyperbolic groups and nonpositively curved groups

16: % 57M20          Two-dimensional complexes

17:  \\  \emph{Key words and phrases:} Higman's group, conjugacy problem, finite state transducer, power circuit

18: \end{abstract}

19: