1: \begin{abstract}

2: We prove an abstract form of the strong convergence of the Halpern-type and Tikhonov-type proximal point algorithms in CAT(0) spaces. In addition, we derive uniform and computable rates of metastability (in the sense of Tao) for these iterations using proof mining techniques.

3: 

4: \noindent {\em Mathematics Subject Classification 2010}: 90C25, 46N10, 47J25, 47H09, 03F10.

5: 

6: \noindent {\em Keywords:} Halpern iteration, proximal point algorithm, CAT(0) spaces, jointly firmly nonexpansive families, proof mining, rates of metastability.

7: \end{abstract}

8: