180 results · clear filters Sort: newest oldest name

1. 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
2. 21st International Symposium on Formal Methods (FM 2016, FM)
   2016-11-09/11 · Limassol, Cyprus
   MathematicsComputer and information sciences
   e103bcn
3. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
   2016-09-26/29 · Pisa, Italy
   MathematicsComputer and information sciences
   e103c7y
4. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16, EICS)
   2016-06-21/24 · Brussels, Belgium
   MathematicsComputer and information sciences
   e111784
5. NASA Formal Methods Symposium (NFM 2016, NFM)
   2016-06-07/09 · Minneapolis, United States
   Computer and information sciences
   e106jmq
6. 12th International Conference on Integrated Formal Methods (IFM 2016)
   2016-06-01/03 · Reykjavík, Iceland
   MathematicsComputer and information sciences
   e1246vq
7. International Conference on Integrated Formal Methods (IFM 2016)
   2016-06-01/05 · Reykjavík, Iceland
   MathematicsComputer and information sciences
   e129s65
8. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
   2015-09-21/23 · Austin, United States
   MathematicsComputer and information sciences
   e11hmz7
9. 20th International Symposium on Formal Methods (FM 2015, FM)
   2015-06-24/26 · Oslo, Norway
   MathematicsComputer and information sciences
   e103bbq
10. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
11. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
12. NASA Formal Methods Symposium (NFM 2015, NFM)
    2015-04-27/29 · Pasadena, United States
    Computer and information sciences
    e106jks
13. 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
14. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
15. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
16. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
17. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
    2014-06-17/20 · Rome, Italy
    MathematicsComputer and information sciences
    e10f0x5
18. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
19. NASA Formal Methods Symposium (NFM 2014, NFM)
    2014-04-29 to 2014-05-01 · Houston, United States
    Computer and information sciences
    e106jjv
20. Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2014 · Grenoble, France
    Computer and information sciences
    e11s1ed
21. Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)
    2013-10-20/23 · Portland, United States
    Computer and information sciences
    e10fwg3
22. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013, FMICS)
    2013-09-23/24 · Madrid, Spain
    MathematicsComputer and information sciences
    e103c44
23. 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
24. Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
    2013 · Madrid, Spain
    Computer and information sciences
    e11s1df
25. 18th International Symposium on Formal Methods (FM 2012, FM)
    2012-08-27/31 · Paris, France
    MathematicsComputer and information sciences
    e103b9v

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