[clean-list] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)

Final Call for Papers: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis -- (apologies for multiple copies) 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC

[clean-list] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions

CALL FOR CONTRIBUTIONS PLR 2018 1st International Workshop on Parallel Logical Reasoning 18 July 2018 Oxford, UK A satellite event of FLoC 2018 https://antonwijs.wixsite.com/plr2018 The goal of the Parallel Logical Reasoning workshop (PLR) is to bring together researchers that actively work on