189 results · clear filters Sort: newest oldest name

1. 22nd International Symposium on Formal Methods (FM 2018, FM)
   2018-07-15/17 · Oxford, United Kingdom
   MathematicsComputer and information sciences
   e113jh2
2. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
   2018-06-27/29 · Toulouse, France
   MathematicsComputer and information sciences
   e11s1h6
3. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
   2018-06-19/22 · Paris, France
   MathematicsComputer and information sciences
   e10f0v9
4. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 (FormaliSE@ICSE 2018)
   2018-06-02 · Gothenburg, Sweden
   Computer and information sciences
   e10fw7p
5. Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)
   2017-11-12 · Denver, United States
   Mathematics
   e12g24h
6. International Conference on Formal Methods and Models for System Design (MEMOCODE 2017, MEMOCODE)
   2017-09-29 to 2017-10-02 · Vienna, Austria
   MathematicsComputer and information sciences
   e11hn13
7. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
   2017-09-18/20 · Turin, Italy
   MathematicsComputer and information sciences
   e103c8w
8. NFM 2017 : The 9th NASA Formal Methods Symposium (NFM 2017)
   2017-05-16/18 · Mountain View, United States
   Mathematics
   e125d7q
9. FSEN 2017 : Fundamentals of Software Engineering (FSEN 2017)
   2017-04-26/28 · Tehran
   MathematicsOther engineering and technologies
   e12gsms
10. 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
11. 21st International Symposium on Formal Methods (FM 2016, FM)
    2016-11-09/11 · Limassol, Cyprus
    MathematicsComputer and information sciences
    e103bcn
12. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
    2016-09-26/29 · Pisa, Italy
    MathematicsComputer and information sciences
    e103c7y
13. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16, EICS)
    2016-06-21/24 · Brussels, Belgium
    MathematicsComputer and information sciences
    e111784
14. NASA Formal Methods Symposium (NFM 2016, NFM)
    2016-06-07/09 · Minneapolis, United States
    Computer and information sciences
    e106jmq
15. 12th International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/03 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e1246vq
16. International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/05 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e129s65
17. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
    2015-09-21/23 · Austin, United States
    MathematicsComputer and information sciences
    e11hmz7
18. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
19. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
20. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
21. NASA Formal Methods Symposium (NFM 2015, NFM)
    2015-04-27/29 · Pasadena, United States
    Computer and information sciences
    e106jks
22. 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
23. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
24. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
25. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52

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