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.

17 results · clear filters Sort: newest oldest name

  1. International Conference on Software Engineering and Formal Methods (SEFM)
    series, 34 events, 2003 to 2025
    MathematicsComputer and information sciences
    s10aja4
  2. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019, SEFM)
    2019-09-16/20 · Oslo, Norway
    MathematicsComputer and information sciences
    e11s1j4
  3. 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
  4. 16th International Conference on Software Engineering and Formal Methods (SEFM 2018, SEFM)
    2018-06-27/29 · Toulouse, France
    MathematicsComputer and information sciences
    e11s1h6
  5. International Conference on Software Engineering and Formal Methods (SEFM)
    2017-09-04/08 · Trento, Italy
    Computer and information sciences
    e107rdy
  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. International Conference on Software Engineering and Formal Methods (SEFM)
    2016-07-04/08 · Vienna, Austria
    Computer and information sciences
    e107rc0
  8. International Conference on Software Engineering and Formal Methods (SEFM)
    2015-09-07/08 · York, United Kingdom
    Computer and information sciences
    e107rb2
  9. 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
  10. International Conference on Software Engineering and Formal Methods (SEFM)
    2014-09-01/05 · Grenoble, France
    Computer and information sciences
    e107ra4
  11. 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
  12. International Conference on Software Engineering and Formal Methods (SEFM)
    2013-09-23/27 · Madrid, Spain
    Computer and information sciences
    e107r96
  13. 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
  14. International Conference on Software Engineering and Formal Methods (SEFM)
    2012-10-01/05 · Thessaloniki, Greece
    Computer and information sciences
    e107r88
  15. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
    2012 · Thessaloniki, Greece
    Computer and information sciences
    e11s1ch
  16. International Conference on Software Engineering and Formal Methods (SEFM)
    2011-11-14/18 · Montevideo, Uruguay
    Computer and information sciences
    e107r7a
  17. 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 (SEFM)
    2010-09-13/18 · Pisa, Italy
    Computer and information sciences
    e11s1bk

As JSON: https://labs.confref.org/api/search?series=s10aja4&from=2010&to=2019