78 results · clear filters Sort: newest oldest name

1. International Symposium on Formal Methods (FM)
   series, 49 events, 1978 to 2026
   MathematicsComputer and information sciences
   s109pnb
2. International Workshop on Formal Methods for Industrial Critical Systems (FMICS)
   series, 31 events, 1996 to 2026
   MathematicsComputer and information sciences
   s109ps3
3. NASA Formal Methods Symposium (NFM)
   series, 18 events, 2009 to 2026
   Computer and information sciences
   s10abw6
4. ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS, EnCHIReS)
   series, 25 events, 2009 to 2026
   MathematicsComputer and information sciencesPsychology
   s10c0qq
5. Formal Methods in Computer-Aided Design (FMCAD)
   series, 25 events, 1996 to 2025
   Computer and information sciences
   s109pp9
6. International Conference on Formal Engineering Methods (ICFEM)
   series, 27 events, 1997 to 2025
   MathematicsComputer and information sciences
   s109wfj
7. International Conference on Integrated Formal Methods (IFM)
   series, 23 events, 1999 to 2025
   MathematicsComputer and information sciences
   s10a0h7
8. International Conference on Software Engineering and Formal Methods (SEFM)
   series, 34 events, 2003 to 2025
   MathematicsComputer and information sciences
   s10aja4
9. International Conference on Formal Methods and Models for System Design (MEMOCODE)
   series, 23 events, 2003 to 2025
   MathematicsComputer and information sciences
   s10mqzz
10. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
    2019-11-05/09 · Shenzhen, People's Republic of China
    MathematicsComputer and information sciences
    e10e9v2
11. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
12. International Conference on Formal Methods and Models for System Design (MEMOCODE 2019, MEMOCODE)
    2019-10-09/11 · San Diego, United States
    MathematicsComputer and information sciences
    e11hn3z
13. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
14. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
15. 24th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2019, FMICS)
    2019-08-30/31 · Kingdom of the Netherlands
    MathematicsComputer and information sciences
    e113m4v
16. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb
17. NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (NFM 2019, NFM)
    2019-05-07/09 · Houston, United States
    Computer and information sciences
    e10evdd
18. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    2019 · Portugal
    Computer and information sciences
    e113jky
19. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    2019 · Portugal
    Computer and information sciences
    e113jmw
20. 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
21. International Conference on Formal Engineering Methods (ICFEM 2018, ICFEM)
    2018-11-12/16 · Gold Coast, Australia
    MathematicsComputer and information sciences
    e10e9w0
22. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (ISOLA, ISoLA 2018)
    2018-11-05/09 · Limassol, Cyprus
    Computer and information sciences
    e10ev15
23. Formal Methods in Computer-Aided Design 2018 (FMCAD 2018, FMCAD)
    2018-10-30 to 2018-11-02 · Austin, United States
    Computer and information sciences
    e10e8c2
24. International Conference on Formal Methods and Models for System Design (MEMOCODE 2018, MEMOCODE)
    2018-10-15/17 · Beijing, People's Republic of China
    MathematicsComputer and information sciences
    e11hn21
25. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x

As JSON: https://labs.confref.org/api/search?discipline=Q1049183&from=2010&to=2019