Call for speakers: International Conference on Foundations and Formal Methods for Software and Systems — closes 2026-10-15 | SpeakSeeker