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.

178 results · clear filters Sort: newest oldest name

  1. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  2. 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '18, EICS 2018)
    2018-06-19/22 · Paris, France
    MathematicsComputer and information sciences
    e10f0v9
  3. 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
  4. 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
  5. 22nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2017, FMICS)
    2017-09-18/20 · Turin, Italy
    MathematicsComputer and information sciences
    e103c8w
  6. 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
  7. 21st International Symposium on Formal Methods (FM 2016, FM)
    2016-11-09/11 · Limassol, Cyprus
    MathematicsComputer and information sciences
    e103bcn
  8. 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016, FMICS)
    2016-09-26/29 · Pisa, Italy
    MathematicsComputer and information sciences
    e103c7y
  9. 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '16, EICS)
    2016-06-21/24 · Brussels, Belgium
    MathematicsComputer and information sciences
    e111784
  10. NASA Formal Methods Symposium (NFM 2016, NFM)
    2016-06-07/09 · Minneapolis, United States
    Computer and information sciences
    e106jmq
  11. 12th International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/03 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e1246vq
  12. International Conference on Integrated Formal Methods (IFM 2016)
    2016-06-01/05 · Reykjavík, Iceland
    MathematicsComputer and information sciences
    e129s65
  13. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)
    2015-09-21/23 · Austin, United States
    MathematicsComputer and information sciences
    e11hmz7
  14. 20th International Symposium on Formal Methods (FM 2015, FM)
    2015-06-24/26 · Oslo, Norway
    MathematicsComputer and information sciences
    e103bbq
  15. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '15, EICS 2015)
    2015-06-23/26 · Duisburg, Germany
    MathematicsComputer and information sciences
    e10dth7
  16. 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015, FMICS)
    2015-06-22/23 · Oslo, Norway
    MathematicsComputer and information sciences
    e103c60
  17. NASA Formal Methods Symposium (NFM 2015, NFM)
    2015-04-27/29 · Pasadena, United States
    Computer and information sciences
    e106jks
  18. 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
  19. International Conference on Formal Engineering Methods (ICFEM 2014, ICFEM)
    2014-11-03/05 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e104bk4
  20. International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014, MEMOCODE)
    2014-10-19/21 · Lausanne, Switzerland
    MathematicsComputer and information sciences
    e11hmy9
  21. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2014, FMICS)
    2014-09-11/12 · Florence, Italy
    MathematicsComputer and information sciences
    e103c52
  22. 6th ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '14, EICS 2014)
    2014-06-17/20 · Rome, Italy
    MathematicsComputer and information sciences
    e10f0x5
  23. 19th International Symposium on Formal Methods (FM 2014, FM)
    2014-05-12/16 · Queenstown MRT station, Singapore
    MathematicsComputer and information sciences
    e103bas
  24. NASA Formal Methods Symposium (NFM 2014, NFM)
    2014-04-29 to 2014-05-01 · Houston, United States
    Computer and information sciences
    e106jjv
  25. 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

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