Follow

HCVS 2020: 7th Workshop on Horn Clauses for Verification and Synthesis, April 26, 2020 Dublin, Ireland sci.unich.it/hcvs20/

Sign in to participate in the conversation
Mastodon

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!