This volume constitutes the papers presented at the 24th International Conference on Software Engineering and Formal Methods, SEFM 2026, held in Valetta, Malta, during November 23 - 27, 2026.

The 33 full papers, 1 short paper and 2 tool papers included in these proceedings were carefully reviewed and selected from 80 submissions. They were organized in the following topical sections: Formal Verification and Program Reasoning ; Testing, Monitoring and Assurance; Security, Safety and Dependable Systems; AI and Machine Learning Verification.