1: \begin{abstract}

2: In this paper, we carry out the analysis of the semismooth Newton method for bilinear control problems related to semilinear elliptic PDEs.  We prove existence, uniqueness and regularity for the solution of the state equation, as well as differentiability properties of the control to state mapping. Then, first and second order optimality conditions are obtained. Finally, we prove the superlinear convergence of the semismooth

3: Newton method to local solutions satisfying no-gap second order sufficient optimality conditions as well as a strict complementarity condition.

4: \end{abstract}

5: