Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis

October 29, 2025 · The Ethereal · 🏛 Electronic Proceedings in Theoretical Computer Science

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Emanuele De Angelis, Florian Frohn arXiv ID 2510.25468 Category cs.LO: Logic in CS Cross-listed cs.PL, cs.SE Citations 0 Venue Electronic Proceedings in Theoretical Computer Science Last Checked 5 months ago
Abstract
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).
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS