This event has concluded, but don’t miss out — discover fresh and upcoming conferences happening worldwide in your area of interest.
12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025)
16 16 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.