#CallForPapers #HVCS2023 (Workshop on Horn Clauses for Verification and Synthesis) "aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis". Accepted papers published in EPTCS. https://www.sci.unich.it/hcvs23/ #logic #ATP #verification #LogicProgramming #ConstraintProgramming

#CallForPapers #HVCS2023 (Workshop on Horn Clauses for Verification and Synthesis) "aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis". Accepted papers published in EPTCS. #logic #ATP #verification #LogicProgramming #ConstraintProgramming