21st International Conference on

Software Engineering and Formal Methods

6-10 November 2023

Organised by Eindhoven University of Technology, The Netherlands

Welcome to SEFM 2023

The 21st edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 10 November 2023.

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.

Conference proceedings

As usual, the SEFM conference proceedings will be published in Springer’s Lecture Notes in Computer Science series. All accepted papers have to be presented at the conference.

Important dates

Abstract submission: 2 June 2023 (AoE)
Paper submission: 9 June 2023 (AoE)
Artifact submission: 16 June 2023 (AoE)
Author notification: 18 August 2023
Camera-ready submission: 10 September 2023
Workshops: 6-7 November 2023
Conference: 8-10 November 2023