Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

180 results · clear filters Sort: newest oldest name

  1. International Conference on Formal Engineering Methods (ICFEM 2019, ICFEM)
    2019-11-05/09 · Shenzhen, People's Republic of China
    MathematicsComputer and information sciences
    e10e9v2
  2. Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)
    2019-10-22/25 · San Jose, United States
    Computer and information sciences
    e10fwf6
  3. 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
  4. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  5. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  6. 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
  7. 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '19, EICS 2019)
    2019-06-18/21 · Valencia, Spain
    MathematicsComputer and information sciences
    e10f0tb
  8. 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
  9. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    2019 · Portugal
    Computer and information sciences
    e113jky
  10. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    2019 · Portugal
    Computer and information sciences
    e113jmw
  11. 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
  12. International Conference on Formal Engineering Methods (ICFEM 2018, ICFEM)
    2018-11-12/16 · Gold Coast, Australia
    MathematicsComputer and information sciences
    e10e9w0
  13. 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
  14. 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
  15. 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
  16. 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)
    2018-09-03/04 · Maynooth, Ireland
    MathematicsComputer and information sciences
    e113m3x
  17. 22nd International Symposium on Formal Methods (FM 2018, FM)
    2018-07-15/17 · Oxford, United Kingdom
    MathematicsComputer and information sciences
    e113jh2
  18. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  19. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
    2018-06-19/22 · Paris, France
    MathematicsComputer and information sciences
    e10f0v9
  20. 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
  21. Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)
    2017-11-12 · Denver, United States
    Mathematics
    e12g24h
  22. 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
  23. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
    2017-09-18/20 · Turin, Italy
    MathematicsComputer and information sciences
    e103c8w
  24. NFM 2017 : The 9th NASA Formal Methods Symposium (NFM 2017)
    2017-05-16/18 · Mountain View, United States
    Mathematics
    e125d7q
  25. FSEN 2017 : Fundamentals of Software Engineering (FSEN 2017)
    2017-04-26/28 · Tehran
    MathematicsOther engineering and technologies
    e12gsms

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