Rigorous numerics for nonlinear PDEs: part II - Pugliese, Alessandro; Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe (ICMC Summer Meeting on Differential Equations, 2014)