Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation

This volume contains the joint post-proceedings of the 9th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2022) and the 10th Workshop on Verification and Program Transformation (VPT 2022), which took place in Munich, Germany on April 3, 2022, as affiliated workshops of the European Joint Conferences on Theory and Practice of Software (ETAPS). The two workshops were held in-person, also allowing virtual attendance and some remote presentations.