1: \begin{abstract}

2: A well known result of H. Attouch states that the Mosco convergence

3: of a sequence of proper convex lower semicontinuous functions

4: defined on a Hilbert space is equivalent to the pointwise convergence

5: of the associated Moreau envelopes.

6: In the present paper we generalize this result to Hadamard spaces.

7: More precisely, while it has already been known that the Mosco convergence of a sequence 

8: of convex lower semicontinuous functions on a Hadamard space implies 

9: the pointwise convergence of the corresponding Moreau envelopes, 

10: the converse implication was an open question. We now fill this gap.  %tense% has been an open question

11: 

12: Our result has several consequences. It implies, for instance, the equivalence of the Mosco and Frol\'{i}k-Wijsman convergences of convex sets.

13: As another application, we show that there exists a~complete metric on the cone of proper convex lower semicontinuous 

14: functions on a separable Hadamard space such that a~sequence of functions converges in this metric if and only if it converges in the sense of Mosco.

15: \end{abstract}