  The proceedings consist of a keynote paper by Alberto followed by 6 invited
papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay),
John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones
(U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio
Proietti (IASI-CNR) et al.. These invited papers are followed by 4 regular
papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three
contributed papers and an invited paper on the third competition of solvers for
Constrained Horn Clauses.
  In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by
Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers
U.), are included.
