|
Horn Clauses for Verification and Synthesis (HCVS)
Workshop online 28th to 28th March 2021 Online, Other Website: https://www.sci.unich.it/hcvs21/ Contact person: Bishoksan Kafle HCVS aims to bring together researchers working in the two communities of Constraint/Logic Programming, Program Verification and Automated Deduction, on the topic of Horn clause based analysis, verification, and synthesis. Organized by: HCVS Deadline for abstracts/proposals: 28th January 2021 Check the event website for more details. View all events from this organizer.
|
