  This volume contains the post-proceedings of the 8th Workshop on Horn Clauses
for Verification and Synthesis (HCVS), which took place virtually due to
Covid-19 pandemic as an affiliated workshop of ETAPS.
