H. Wilton: Enumerating limit groups

Abstract: I will describe an algorithm to recursively enumerate limit groups, and explain how it follows that one can compute a description of the set of solutions to a system of equations over a free group. Another consequence is an algorithm to determine if a given presentation, together with a solution to the word problem, represents a free group. If there is time I will describe some progress in the attempt to extend this work to hyperbolic groups. This is joint work with Daniel Groves.