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.
Don't have an account yet? You need to be invited to join this organization.