21 results · clear filters Sort: newest oldest name

1. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
   series, 27 events, 1997 to 2026
   Computer and information sciences
   s10ar0j
2. 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
3. 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
4. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017, VMCAI)
   2017-01-15/17 · Paris, France
   Computer and information sciences
   e108n1q
5. 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
6. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015, VMCAI)
   2015-01-12/14 · Mumbai, India
   Computer and information sciences
   e108mzv
7. 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
8. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
   2013-01-20/22 · Rome, Italy
   Computer and information sciences
   e108mxz
9. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012, VMCAI)
   2012-01-22/24 · Philadelphia, United States
   Computer and information sciences
   e108mw1
10. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2011-01-23/25 · Austin, United States
    Computer and information sciences
    e108mv3
11. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010, VMCAI)
    2010-01-17/19 · Madrid, Spain
    Computer and information sciences
    e108mt5
12. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2009-01-18/20 · Savannah, United States
    Computer and information sciences
    e108ms7
13. 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
14. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, VMCAI)
    2007-01-14/16 · Nice, France
    Computer and information sciences
    e108mqb
15. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006, VMCAI)
    2006-01-08/10 · Charleston, United States
    Computer and information sciences
    e108mpd
16. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005, VMCAI)
    2005-01-17/19 · Paris, France
    Computer and information sciences
    e108mnf
17. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2004-01-11/13 · Venice, Italy
    Computer and information sciences
    e108mmh
18. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2003-01-09/11 · New York City, United States
    Computer and information sciences
    e108mkk
19. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    2002-01-21/22 · Venice, Italy
    Computer and information sciences
    e108mjn
20. Verification, Model Checking and Abstract Interpretation (VMCAI) (VMCAI)
    1998-01-01 · Pisa, Italy
    Computer and information sciences
    e12p96t
21. Verification, Model Checking and Abstract Interpretation (VMCAI) (VMCAI)
    1997-01-01 · Port Jefferson, United States
    Computer and information sciences
    e12p95w

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s10ar0j