New trends in formal integrability.

Formal integrability of a (non-linear) overdetermined system of PDEs means
existence of formal solutions organized in families of proper functional
rank and functional dimension. We describe new approaches to insure formal
integrability or formal solvability and to describe the solutions space. In
certain cases it is possible to discuss local integrability/solvability.