20 results · clear filters Sort: newest oldest name

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