5 lectures plus discussion on:

Computer-assisted proofs in finite dimensions, interval arithmetic, Newton-Kantorovich theorem, periodic orbits and chaos in discrete dynamical systems, rigorous enclosure of eigenvalues, extensions to PDEs: approximation theory and compactness estimates.