This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025)
108 108 people viewed this event.
The 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025) will be held in Zagreb, Croatia.
Topics of interest include, but are not limited to: Automated Reasoning, Logic, Programming, Verification
Submission deadline for conference contributions is May 16, 2025.