Call for speakers: 13th International Conference on Rigorous State Based Methods — closes 2027-02-15 | SpeakSeeker