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. Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025.
    2025
    Computer and information sciences
    e1211yw
  2. Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024.
    2024 · Manchester, United Kingdom
    Computer and information sciences
    e12115f
  3. Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023.
    2023 · Kingdom of the Netherlands
    Computer and information sciences
    e1210mh
  4. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022.
    2022 · Berlin, Germany
    Computer and information sciences
    e120zy0
  5. Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021.
    2021
    Computer and information sciences
    e120z9b
  6. Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020.
    2020
    Computer and information sciences
    e120ynk

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