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.

中文翻译：

---

第 8 届国际验证和程序转换研讨会和第 7 届验证和综合 Horn 条款研讨会论文集

会议记录包括 Alberto 的主题演讲论文，以及 Lorenzo Clemente（U. Warsaw）、Alain Finkel（U. Paris-Saclay）、John Gallagher（Roskilde U. 和 IMDEA Software Institute）等人撰写的 6 篇受邀论文，Neil Jones (U. Copenhagen) 等人、Michael Leuschel (Heinrich-Heine U.) 和 Maurizio Proietti (IASI-CNR) 等人。这些受邀论文之后是 4 篇被 VPT 2020 接受的常规论文和 HCVS 2020 的论文其中包括三篇贡献的论文和一篇关于第三届约束喇叭子句求解器竞赛的邀请论文。此外，还包括 Andrzej Skowron（美国华沙）、Sophie Renault（EPO）和 Moa Johansson（Chalmers U.）在 VPT 2020 上的 3 次邀请演讲的摘要（HTML 格式）。