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.

2 results · clear filters Sort: newest oldest name

  1. FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 (FormaliSE@ICSE 2020)
    2020-07-13 · Seoul, South Korea
    Computer and information sciences
    e10fw6r
  2. 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

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