28 results · clear filters Sort: newest oldest name

1. Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
   2025 · Hangzhou, People's Republic of China
   Computer and information sciences
   e118avc
2. International Conference on Formal Engineering Methods (ICFEM)
   series, 27 events, 1997 to 2025
   MathematicsComputer and information sciences
   s109wfj
3. Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
   2024 · Hiroshima, Japan
   Computer and information sciences
   e118ate
4. International Conference on Formal Engineering Methods (ICFEM 2023)
   2023-11-21/24 · Brisbane, Australia
   MathematicsComputer and information sciences
   e118asg
5. International Conference on Formal Engineering Methods (ICFEM 2022)
   2022-10-24/27 · Madrid, Spain
   MathematicsComputer and information sciences
   e118arj
6. International Conference on Formal Engineering Methods (ICFEM 2020)
   2021-03-01/03 · Singapore
   Mathematics
   e10g1s9
7. Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
   2020 · Singapore
   Computer and information sciences
   e118aqm
8. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
   2019-11-05/09 · Shenzhen, People's Republic of China
   MathematicsComputer and information sciences
   e10e9v2
9. International Conference on Formal Engineering Methods (ICFEM 2018, ICFEM)
   2018-11-12/16 · Gold Coast, Australia
   MathematicsComputer and information sciences
   e10e9w0
10. International Conference on Formal Engineering Methods (ICFEM 2017, ICFEM)
    2017-11-13/17 · Xi'an, People's Republic of China
    MathematicsComputer and information sciences
    e104bpy
11. International Conference on Formal Engineering Methods (ICFEM 2016, ICFEM)
    2016-11-14/18 · Tokyo, Japan
    MathematicsComputer and information sciences
    e104bn0
12. International Conference on Formal Engineering Methods (ICFEM 2015, ICFEM)
    2015-11-03/05 · Paris, France
    MathematicsComputer and information sciences
    e104bm2
13. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
14. International Conference on Formal Engineering Methods (ICFEM 2013, ICFEM)
    2013-10-29 to 2013-11-01 · Queenstown, New Zealand
    MathematicsComputer and information sciences
    e104bj6
15. International Conference on Formal Engineering Methods (ICFEM 2012, ICFEM)
    2012-11-12/16 · Kyoto, Japan
    MathematicsComputer and information sciences
    e104bh8
16. International Conference on Formal Engineering Methods (ICFEM 2011, ICFEM)
    2011-10-26/28 · Durham, United Kingdom
    MathematicsComputer and information sciences
    e104bga
17. International Conference on Formal Engineering Methods (ICFEM 2010, ICFEM)
    2010-11-17/19 · Shanghai, People's Republic of China
    MathematicsComputer and information sciences
    e104bfd
18. International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)
    2009-12-09/12 · Rio de Janeiro, Brazil
    MathematicsComputer and information sciences
    e104bef
19. International Conference on Formal Engineering Methods (ICFEM 2008, ICFEM)
    2008-10-27/31 · Kitakyūshū, Japan
    MathematicsComputer and information sciences
    e104bdh
20. International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)
    2007-11-14/15 · Boca Raton, United States
    MathematicsComputer and information sciences
    e104bck
21. International Conference on Formal Engineering Methods (ICFEM 2006, ICFEM)
    2006-11-01/03 · Macau
    MathematicsComputer and information sciences
    e104bbn
22. International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)
    2005-11-01/04 · Manchester, United Kingdom
    MathematicsComputer and information sciences
    e104baq
23. International Conference on Formal Engineering Methods (ICFEM 2004, ICFEM)
    2004-11-08/12 · Seattle, United States
    MathematicsComputer and information sciences
    e104b9s
24. International Conference on Formal Engineering Methods (ICFEM 2003, ICFEM)
    2003-11-05/07 · Singapore
    MathematicsComputer and information sciences
    e104b8v
25. International Conference on Formal Engineering Methods (ICFEM 2002, ICFEM)
    2002-10-21/25 · Shanghai, People's Republic of China
    MathematicsComputer and information sciences
    e104b7x

As JSON: https://labs.confref.org/api/search?discipline=Q80993&series=s109wfj