Call for speakers: 28th International Conference on Verification, Model Checking, and Abstract Interpretation — closes 2026-09-16 | SpeakSeeker