22nd International Conference on
Software Engineering and Formal Methods
4-8 November 2024
Organised by University of Aveiro, Portugal
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.
Sponsors
This conference is supported by CIDMA through the Portuguese Foundation for Science and Technology (FCT), reference UIDB/04106/2020.
Edit the content of this page here.