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.

37 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
  8. 26th International SPIN Symposium on Model Checking of Software (SPIN 2019, SPIN)
    2019-07-15/16 · Beijing, People's Republic of China
    MathematicsComputer and information sciences
    e11vy32
  9. International SPIN Symposium on Model Checking of Software (SPIN 2018, SPIN)
    2018-06-20/22 · Málaga, Spain
    Computer and information sciences
    e11vy24
  10. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
    2017-07-10/14 · Santa Barbara, United States
    Computer and information sciences
    e11vy16
  11. International SPIN Symposium on Model Checking of Software (SPIN 2016, SPIN)
    2016-04-07/08 · Eindhoven
    Computer and information sciences
    e1081p0
  12. International SPIN Symposium on Model Checking of Software (SPIN 2015, SPIN)
    2015-08-24/26 · Stellenbosch, South Africa
    Computer and information sciences
    e10dy5w
  13. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
    2014-07-21/23 · San Jose, United States
    Computer and information sciences
    e11vy08
  14. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
    2013-07-08/09 · Stony Brook, United States
    Computer and information sciences
    e1081n2
  15. International SPIN Symposium on Model Checking of Software (SPIN 2012, SPIN)
    2012-07-23/24 · Oxford, United Kingdom
    Computer and information sciences
    e1081m4
  16. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
    2011-07-14/15 · Snowbird, United States
    Computer and information sciences
    e1081k6
  17. International SPIN Symposium on Model Checking of Software (SPIN 2010, SPIN)
    2010-09-27/29 · Kingdom of the Netherlands
    Computer and information sciences
    e1081j8
  18. International SPIN Symposium on Model Checking of Software (SPIN 2009, SPIN)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e1081ha
  19. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
    2008-08-10/12 · Los Angeles, United States
    Computer and information sciences
    e1081gc
  20. International SPIN Symposium on Model Checking of Software (SPIN 2007, SPIN)
    2007-07-01/03 · Berlin, Germany
    Computer and information sciences
    e1081ff
  21. International SPIN Symposium on Model Checking of Software (SPIN 2006, SPIN)
    2006-03-30 to 2006-04-01 · Vienna, Austria
    Computer and information sciences
    e1081eh
  22. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
    2005-08-22/24 · San Francisco, United States
    Computer and information sciences
    e1081dk
  23. Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005
    2005 · San Francisco, United States
    Computer and information sciences
    e11k4tx
  24. International SPIN Symposium on Model Checking of Software (SPIN 2004, SPIN)
    2004-04-01/03 · Barcelona, Spain
    Computer and information sciences
    e1081cn
  25. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
    2003-05-09/10 · Portland, United States
    Computer and information sciences
    e1081bq

As JSON: https://labs.confref.org/api/search?series=s10ams3