19th International Conference on

Software Engineering and Formal Methods

6-10 December 2021

Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)

* NEWS *

The SEFM main conference proceedings are published in the Formal Methods subline of Springer's Lecture Notes in Computer Science, and can be accessed at this link.

Welcome to SEFM 2021

The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.

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.

SEFM 2021 will be an entirely virtual event

Because of the COVID-19 pandemic, we have decided that SEFM 2021 will not take place physically but will be replaced by a virtual event.

Conference proceedings

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

Important dates

Abstract submission: ~~Monday 19 July 2021 (AOE)~~ Monday 26 July 2021 (AOE)
Paper submission: ~~Friday 23 July 2021 (AOE)~~ Friday 30 July 2021 (AOE)
Author notification: ~~Friday 24 September 2021~~
Camera-ready submission: ~~Friday 08 October 2021~~ Friday 15 October 2021