Time-dependent amplitude analysis of semileptonically-tagged $D^0 \to K_S^0 \pi^+ \pi^-$ decays at LHCb

The hadronic decay $D^0 \to K_S^0 \pi^+ \pi^-$ provides access to the measurement of the mixing parameters of the neutral D-meson system and allows to test for CP violation. A measurement of the mixing parameters $x_D$ and $y_D$ as well as of the parameters $|q/p|$ and $\phi=arg(q,p)$, which govern indirect CP violation, will be performed based on a time-dependent amplitude-model analysis of the full LHCb dataset of 2011 and 2012 corresponding to an integrated luminosity of 3/fb.