Software Engineering and Formal Methods 2020

Welcome to SEFM 2020

The 18th edition of the International Conference on Software Engineering and Formal Methods will be held in Amsterdam, The Netherlands on September 14--18, 2020.

SEFM aims to bring together leading 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 2020 will be an entirely virtual event

Because of the COVID-19 pandemic, we have decided that SEFM 2020 will not take place physically but will be replaced by a virtual event. As usual, a LNCS proceedings will be prepared and all accepted papers have to be presented at the virtual conference. How the virtual conference will be organised is still under consideration, e.g., live presentations and/or recorded ones. The paper selection process will however proceed as planned.

Important Dates

- Workshop proposal submission deadline: Monday, January 27, 2020
- Workshop proposal notification: Wednesday, February 5, 2020
- Abstract submission deadline: Monday, April 27, 2020
- Paper submission deadline: Monday, May 4, 2020
- NEW Abstract submission deadline: Sunday, May 24, 2020
- NEW Paper submission deadline: Sunday, May 31, 2020
- Paper notification: Friday, July 10, 2020
- Camera ready version: Monday, July 20, 2020
- Registration (early): TBD
- Conference
Workshops: September 14-15, 2020
SEFM: September 16-17, 2020


Preliminary program

The preliminary program is accessible here.

New dates for the conference

The conference will take place on September 16-17, 2020

External link for workshops

Links for Asyde workshop 2020, Cifma workshop 2020, CoSim-CPS workshop 2020, and Foclasa workshop 2020 are now available.

Visit the workshop section for more information.