Log in to Zulip
Abstract Interpretation
https://absint.zulipchat.com
This server is dedicated to discussions around Abstract Interpretation! This includes theory of abstract interpretation, practical developments, related events and jobs. Please be welcoming and open in your discussions.