Software Engineering and Formal Methods

Welcome to SEFM 2024

The 22nd edition of the International Conference on Software Engineering and Formal Methods will be held between 4 and 8 November 2024.

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.

Previous editions

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