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. Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    2025 · Hamilton, Canada
    Computer and information sciences
    e11vy8r
  2. International SPIN Symposium on Model Checking of Software (SPIN)
    series, 36 events, 1995 to 2025
    Computer and information sciences
    s10ams3
  3. Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    2024 · Luxembourg, Luxembourg
    Computer and information sciences
    e11vy7t
  4. International SPIN Symposium on Model Checking of Software (SPIN 2023)
    2023-04-26/27 · Paris, France
    Computer and information sciences
    e11vy6w
  5. International SPIN Symposium on Model Checking of Software (SPIN 2022)
    2022-05-21 · online
    Computer and information sciences
    e11vy5y
  6. International SPIN Symposium on Model Checking of Software (SPIN 2021)
    2021-07-12 · online
    Computer and information sciences
    e11vy40
  7. International SPIN Symposium on Model Checking of Software (SPIN 2020)
    2020-07-24/25 · Chicago, United States
    Computer and information sciences
    e12ah79

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