Call for speakers: 12th International Conference on Formal Structures for Computation and Deduction — closes 2027-04-26 | SpeakSeeker