35 results · clear filters Sort: newest oldest name

1. Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
   2025 · Toledo, Spain
   Computer and information sciences
   e11s1yc
2. International Conference on Software Engineering and Formal Methods (SEFM)
   series, 34 events, 2003 to 2025
   MathematicsComputer and information sciences
   s10aja4
3. Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
   2024 · Aveiro, Portugal
   Computer and information sciences
   e11s1wg
4. Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
   2024 · Aveiro, Portugal
   Computer and information sciences
   e11s1xe
5. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023)
   2023-11-06/10 · Kingdom of the Netherlands
   MathematicsComputer and information sciences
   e11s1tm
6. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
   2023 · Kingdom of the Netherlands
   Computer and information sciences
   e11s1vj
7. 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
   2022-09-26/30 · Berlin, Germany
   MathematicsComputer and information sciences
   e11s1rr
8. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
   2022 · Berlin, Germany
   Computer and information sciences
   e11s1sp
9. 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
   2021-12-06/10 · online
   MathematicsComputer and information sciences
   e11s1pw
10. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
    2021
    Computer and information sciences
    e11s1qt
11. 18th International Conference on Software Engineering and Formal Methods (SEFM 2020)
    2020-09-14/18 · Kingdom of the Netherlands · online
    MathematicsComputer and information sciences
    e11s1m0
12. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
    2020 · Kingdom of the Netherlands
    Computer and information sciences
    e11s1ny
13. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
14. Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
    2019 · Oslo, Norway
    Computer and information sciences
    e11s1k2
15. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
16. International Conference on Software Engineering and Formal Methods (SEFM)
    2017-09-04/08 · Trento, Italy
    Computer and information sciences
    e107rdy
17. Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
    2017 · Trento, Italy
    Computer and information sciences
    e11s1g8
18. International Conference on Software Engineering and Formal Methods (SEFM)
    2016-07-04/08 · Vienna, Austria
    Computer and information sciences
    e107rc0
19. International Conference on Software Engineering and Formal Methods (SEFM)
    2015-09-07/08 · York, United Kingdom
    Computer and information sciences
    e107rb2
20. Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
    2015 · York, United Kingdom
    Computer and information sciences
    e11s1fb
21. International Conference on Software Engineering and Formal Methods (SEFM)
    2014-09-01/05 · Grenoble, France
    Computer and information sciences
    e107ra4
22. Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2014 · Grenoble, France
    Computer and information sciences
    e11s1ed
23. International Conference on Software Engineering and Formal Methods (SEFM)
    2013-09-23/27 · Madrid, Spain
    Computer and information sciences
    e107r96
24. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
    2013 · Madrid, Spain
    Computer and information sciences
    e11s1df
25. International Conference on Software Engineering and Formal Methods (SEFM)
    2012-10-01/05 · Thessaloniki, Greece
    Computer and information sciences
    e107r88

As JSON: https://labs.confref.org/api/search?series=s10aja4