23rd International Conference on

Software Engineering and Formal Methods

23 -27 November 2026, Malta

Organised by University of Castilla-La Mancha and University Complutensis of Madrid, Spain

Welcome to SEFM 2026

The 24th edition of the International Conference on Software Engineering and Formal Methods will be held between 23 and 27 November 2026.

The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Important dates

Abstract submission: June 16 2026
Paper submission: June 23 2026
Artifact submission (tool papers): To be announced
Artifact submission (regular papers): To be announced
Author notification: August 30 2026
Camera-ready submission: September 14 2026
Workshops: 23-24 November 2026
Main Conference: 25-27 November 2026

Previous editions

Listed in https://sefm-conference.github.io.