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.
翻译:会议记录由阿尔韦托(Alberto)的主旨文件组成,随后是Lorenzo Clemente(U. Washar)、Alain Finkel(U. Paris-Saclay)、John Gallagher(Roskilde U.和IMDEA软件研究所)等人、Neil Jones(U.哥本哈根)等人、Michael Leuschel(Heinrich-Heine U.)和Maurizio Proietti(IASI-CNR.)等人撰写的6份特邀论文。这些特邀论文之后,还有VPT 2020接受的4份定期论文,以及2020年HCVS 的论文,其中包括3篇撰稿和关于受限制的非洲之角条款解决者第三次竞赛的特邀论文。此外还包括Andrzej Skowron(U. Warward)、Sophie Renault(EPO)和Moa Johansson(Chalmers U.)在VPT举行的3次特邀会谈的摘要(HTM),以HTM格式)。