113 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. Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)
   2017-11-12 · Denver, United States
   Mathematics
   e12g24h
5. 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
6. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
   2017-09-18/20 · Turin, Italy
   MathematicsComputer and information sciences
   e103c8w
7. NFM 2017 : The 9th NASA Formal Methods Symposium (NFM 2017)
   2017-05-16/18 · Mountain View, United States
   Mathematics
   e125d7q
8. FSEN 2017 : Fundamentals of Software Engineering (FSEN 2017)
   2017-04-26/28 · Tehran
   MathematicsOther engineering and technologies
   e12gsms
9. 21st International Symposium on Formal Methods (FM 2016, FM)
   2016-11-09/11 · Limassol, Cyprus
   MathematicsComputer and information sciences
   e103bcn
10. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
    2016-09-26/29 · Pisa, Italy
    MathematicsComputer and information sciences
    e103c7y
11. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16, EICS)
    2016-06-21/24 · Brussels, Belgium
    MathematicsComputer and information sciences
    e111784
12. 12th International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/03 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e1246vq
13. International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/05 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e129s65
14. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
    2015-09-21/23 · Austin, United States
    MathematicsComputer and information sciences
    e11hmz7
15. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
16. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
17. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
18. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
19. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
20. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
21. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
    2014-06-17/20 · Rome, Italy
    MathematicsComputer and information sciences
    e10f0x5
22. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
23. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
24. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
25. 5th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '13, EICS 2013)
    2013-06-24/27 · London, United Kingdom
    MathematicsComputer and information sciences
    e10e1va

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