1: \begin{abstract}

2: S.~Gersten announced an algorithm that takes as input two finite sequences $\vec K=(K_1,\dots, K_N)$ and $\vec K'=(K_1',\dots, K_N')$ of conjugacy classes of finitely generated subgroups of $\f$ and outputs:

3: \begin{enumerate}

4: \item

5:  {\tt YES} or {\tt NO} depending on whether or not there is an element $\theta\in \Out(\f)$ such that $\theta(\vec K)=\vec K'$ together with one such $\theta$ if it exists and

6: \item

7: a finite presentation for the subgroup of $\Out(\f)$ fixing $\vec K$. 

8: \end{enumerate}

9: S.~Kalajd{\v{z}}ievski published a verification of this algorithm. We present a different algorithm from the point of view of Culler-Vogtmann's Outer space.

10: 

11: New results include that the subgroup of $\Out(\f)$ fixing $\vec K$ is of type $\vf$, an equivariant version of these results, an application, and a unified approach to such questions. 

12: \end{abstract}

13: