In this minicourse we will present some recent results concerning computer-assisted proofs in partial differential equations, starting from the basics of interval arithmetics. Particular emphasis will be put on the techniques, as opposed to the results themselves. There will be focus both on theory (lectures) and implementation (tutorial by Joel Dahne).