In this talk we will survey recent progress on the
Beresticky-Caffarelli-Nirenberg Conjecture in Space Forms; that is,
let $\Omega$ be an open connected domain of a complete connected
Riemannian manifold ($M,g$) and consider the OEP given by
\begin...