This volume contains the post-proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025), which took place in Zagreb, Croatia, on July 22, 2025, as affiliated workshop of the 37th International Conference on Computer Aided Verification (CAV 2025).
@article{arxiv.2510.25468,
title = {Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis},
author = {Emanuele De Angelis and Florian Frohn},
journal= {arXiv preprint arXiv:2510.25468},
year = {2025}
}