V. Guirardel: Makanin's algorithm: solving equations in free groups.

Abstract: I will describe an algorithm which takes as input a system of equations in a free group, and decides whether it has a solution or not. The algorithm is based on Rips theory classifying measured foliations on 2-complexes. This approach is based on common work with Francois Dahmani.