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.

28 results · clear filters Sort: newest oldest name

  1. Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
    2026 · Rennes, France
    Computer and information sciences
    e11ydxr
  2. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    series, 27 events, 1997 to 2026
    Computer and information sciences
    s10ar0j
  3. Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    2025 · Denver, United States
    Computer and information sciences
    e11ydwt
  4. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
    2024 · London, United Kingdom
    Computer and information sciences
    e11ydvw
  5. Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    2023 · Boston, United States
    Computer and information sciences
    e11ydty
  6. Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    2022 · Philadelphia, United States
    Computer and information sciences
    e11yds0
  7. Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
    2021 · Copenhagen, Denmark
    Computer and information sciences
    e11ydr2
  8. Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (VMCAI 2020)
    2020-01-16/21 · New Orleans, United States
    Computer and information sciences
    e10h7by
  9. Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (VMCAI)
    2019-01-13/15 · Cascais, Portugal
    Computer and information sciences
    e11ydq4
  10. Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (VMCAI)
    2018-01-07/09 · Los Angeles, United States
    Computer and information sciences
    e11ydp6
  11. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017, VMCAI)
    2017-01-15/17 · Paris, France
    Computer and information sciences
    e108n1q
  12. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016, VMCAI)
    2016-01-17/19 · St. Petersburg, United States
    Computer and information sciences
    e108n0s
  13. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015, VMCAI)
    2015-01-12/14 · Mumbai, India
    Computer and information sciences
    e108mzv
  14. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014, VMCAI)
    2014-01-19/21 · San Diego, United States
    Computer and information sciences
    e108myx
  15. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2013-01-20/22 · Rome, Italy
    Computer and information sciences
    e108mxz
  16. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012, VMCAI)
    2012-01-22/24 · Philadelphia, United States
    Computer and information sciences
    e108mw1
  17. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2011-01-23/25 · Austin, United States
    Computer and information sciences
    e108mv3
  18. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010, VMCAI)
    2010-01-17/19 · Madrid, Spain
    Computer and information sciences
    e108mt5
  19. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2009-01-18/20 · Savannah, United States
    Computer and information sciences
    e108ms7
  20. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2008, VMCAI)
    2008-01-07/09 · San Francisco, United States
    Computer and information sciences
    e108mr9
  21. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, VMCAI)
    2007-01-14/16 · Nice, France
    Computer and information sciences
    e108mqb
  22. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006, VMCAI)
    2006-01-08/10 · Charleston, United States
    Computer and information sciences
    e108mpd
  23. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005, VMCAI)
    2005-01-17/19 · Paris, France
    Computer and information sciences
    e108mnf
  24. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2004-01-11/13 · Venice, Italy
    Computer and information sciences
    e108mmh
  25. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2003-01-09/11 · New York City, United States
    Computer and information sciences
    e108mkk

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