HCVS 2020: 7th Workshop on Horn Clauses for Verification and Synthesis, April 26, 2020 Dublin, Ireland

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!