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$.
An outline of the log minimal model program for the moduli space of curves
Log Minimal Model Program for the Kontsevich Space of Stable Maps $\bar{\mathcal M}_{0,0}(\mathbb P^{3}, 3)$
Examples of irreducible symplectic varieties
![QR code for arXiv:1405.5649 [math.AG]](http://oss.arxitics.com/images/favicon.svg)