178 results · clear filters Sort: newest oldest name

1. Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (SBMF 2020)
   2020-11-25/27 · Ouro Preto, Brazil
   Computer and information sciences
   e10fjat
2. 16th International Conference on Integrated Formal Methods (IFM 2020)
   2020-11-16/20 · Lugano, Switzerland
   Computer and information sciences
   e11bx26
3. Formal Methods in Computer-Aided Design 2020 (FMCAD 2020)
   2020-09-21/24 · Haifa, Israel · online
   Computer and information sciences
   e10fwe8
4. 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
5. 25th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2020)
   2020-09-02/03 · Vienna, Austria
   MathematicsComputer and information sciences
   e113m5s
6. FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 (FormaliSE@ICSE 2020)
   2020-07-13 · Seoul, South Korea
   Computer and information sciences
   e10fw6r
7. 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '20)
   2020-06-23/26 · Sophia Antipolis, France
   MathematicsComputer and information sciences
   e111792
8. 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
9. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
   2019-11-05/09 · Shenzhen, People's Republic of China
   MathematicsComputer and information sciences
   e10e9v2
10. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
11. 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
12. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
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. 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
15. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb
16. 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
17. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    2019 · Portugal
    Computer and information sciences
    e113jky
18. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    2019 · Portugal
    Computer and information sciences
    e113jmw
19. 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
20. International Conference on Formal Engineering Methods (ICFEM 2018, ICFEM)
    2018-11-12/16 · Gold Coast, Australia
    MathematicsComputer and information sciences
    e10e9w0
21. 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
22. 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
23. 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
24. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x
25. 22nd International Symposium on Formal Methods (FM 2018, FM)
    2018-07-15/17 · Oxford, United Kingdom
    MathematicsComputer and information sciences
    e113jh2

As JSON: https://labs.confref.org/api/search?field=1.2&discipline=Q1049183&page=3