Workshop on Horn Clauses for Verification and Synthesis
摘要截稿:
全文截稿: 2019-02-15
开会时间: 2019-04-07
会议难度:
CCF分类: 无
会议地点: Prague, Czech Republic
Overview
This workshop 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), on the topic of Horn clause based analysis,
verification and synthesis.