On the log minimal model program for irreducible symplectic varieties
  We show the termination of any log-minimal model program for a pair $(X,\Delta)$ of a symplectic manifold $X$ and an effective $\mathbb R$-divisor $\Delta$. 
Christian Lehn and Gianluca Pacienza
math.AG