HCVS 2020: 7th Workshop on Horn Clauses for Verification and Synthesis, April 26, 2020 Dublin, Ireland https://www.sci.unich.it/hcvs20/