Our paper Composing CRDTs Convergent by Construction is accepted at OOPSLA ‘26, research track 🎉 See you in Oakland, California 🇺🇸