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.

7 results · clear filters Sort: newest oldest name

  1. Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
    2025 · Recife, Brazil
    Computer and information sciences
    e11r83y
  2. Brazilian Symposium on Formal Methods (SBMF)
    series, 21 events, 2003 to 2025
    Computer and information sciences
    s10ahjm
  3. Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
    2024 · Vitória, Brazil
    Computer and information sciences
    e11r820
  4. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
    2023 · Manaus, Brazil
    Computer and information sciences
    e11r812
  5. Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
    2022
    Computer and information sciences
    e11r804
  6. Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    2021
    Computer and information sciences
    e11r7z6
  7. Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (SBMF 2020)
    2020-11-25/27 · Ouro Preto, Brazil
    Computer and information sciences
    e10fjat

As JSON: https://labs.confref.org/api/search?series=s10ahjm&from=2020&to=2029