12 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

As JSON: https://labs.confref.org/api/search?series=s10aja4&from=2020&to=2029