Sign up for 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.
You need an invitation to join this organization.
OR
Already have an account? Log in