Software Engineering and Formal Methods

* News *

The SEFM 2024 best paper award is won by the paper

Matteo Paier, Roberto Van Eeden, and Marino Miculan for their contribution Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards

Congratulations to these authors!

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.