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. Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems, MARS 2026, Turin, Italy, 12th April 2026.
    2026 · Turin, Italy
    Computer and information sciences
    e12123j
  2. Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.
    2024 · Luxembourg, Luxembourg
    Computer and information sciences
    e1210r9
  3. Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022.
    2022 · Munich, Germany
    Computer and information sciences
    e120zfz
  4. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.
    2020 · Dublin, Ireland
    Computer and information sciences
    e120y9c
  5. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. (VPT)
    2018-01-01 · Thessaloniki, Greece
    Computer and information sciences
    e120wy3
  6. Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
    2017 · Uppsala, Sweden
    Computer and information sciences
    e120w9e
  7. Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.
    2015 · Suva, Fiji
    Computer and information sciences
    e120v7k

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