SEFM 2021 participants can freely download the LNCS volume containing the Proceedings of the SEFM 2021 collocated events until the end of November 2022.
- 2023: Eindhoven, The Netherlands, Dates TBA (https://sefm-conference.github.io/2023/)
- 2022: Berlin, Germany, 26-30 September (https://sefm-conference.github.io/2022/)
- 2021: online, 6-10 December (https://sefm-conference.github.io/2021/)
- 2020: online, planned in Amsterdam, The Netherlands, 14-17 September (https://event.cwi.nl/sefm2020/)
- 2019: Oslo, Norway, 16-20 September (http://sefm2019.inria.fr)
- 2018: Toulouse, France, 27-29 June https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
- 2017: Trento, Italy, 4-8 September (https://sefm17.fbk.eu)
- 2016: Vienna, Austria, 4-8 July (http://staf2016.conf.tuwien.ac.at/sefm/)
- 2015: York, UK, 7-11 September (https://www.cs.york.ac.uk/sefm2015/index.html)