Formal methods for industrial critical systems Ecological methods for terrestrial ecosystems Hacking exposed industrial control systems Constructive methods for nonlinear integrable systems Iterative methods for sparse linear systems