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.

6 results · clear filters Sort: newest oldest name

  1. Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2024 · Aveiro, Portugal
    Computer and information sciences
    e11s1wg
  2. Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
    2024 · Aveiro, Portugal
    Computer and information sciences
    e11s1xe
  3. 23rd International Symposium on Formal Methods (FM 2019, FM)
    2019-10-07/11 · Porto, Portugal
    MathematicsComputer and information sciences
    e113jj0
  4. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    2019 · Portugal
    Computer and information sciences
    e113jky
  5. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    2019 · Portugal
    Computer and information sciences
    e113jmw
  6. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)
    2005-09-05/06 · Lisbon, Portugal
    MathematicsComputer and information sciences
    e113m2z

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&country=PT