The International Workshop on Numerical Verification and its Applications 2020 (INVA 2020) is supported by the JST/CREST program Modeling Methods allied with Modern Mathematics. The main theme of the workshop is about Verified Numerical Computation and its applications to science and technology.