SEFM 2021 will be organised virtually, with the SEFM symposia and workshops scheduled on Monday 6 December and Tuesday 7 December, and the main conference taking place between Wednesday 8 December and Friday 10 December 2021. The main conference will use live presentations on Zoom.

Participation is free, but registration is required in order to receive the Zoom link for the conference.

Authors must register by Friday 29 October - this is a condition for the inclusion of the accepted papers in the conference proceedings, which will be published in the Formal Methods subline of Springer's Lecture Notes in Computer Science.

Use this link to register for the main conference and the collocated events.