International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI)

Venue statistics

records by year

document access 

    frequent authors

      22nd VMCAI 2021: Copenhagen, Denmark

      21th VMCAI 2020: New Orleans, LA, USA

      20th VMCAI 2019: Cascais, Portugal

      19th VMCAI 2018: Los Angeles, CA, USA

      18th VMCAI 2017: Paris, France

      17th VMCAI 2016: Stth Petersburg, FL, USA

      16th VMCAI 2015: Mumbai, India

      15th VMCAI 2014: San Diego, CA, USA

      14th VMCAI 2013: Rome, Italy

      13th VMCAI 2012: Philadelphia, PA, USA

      12th VMCAI 2011: Austin, Texas, USA

      11th VMCAI 2010: Madrid, Spain

      10th VMCAI 2009: Savannah, GA, USA

      9th VMCAI 2008: San Francisco, CA, USA

      -

      VMCAI 2008 Home Page

      8th VMCAI 2007: Nice, France

      7th VMCAI 2006: Charleston, SC, USA

      6th VMCAI 2005: Paris, France

      5th VMCAI 2004: Venice, Italy

      4th VMCAI 2003: New York, NY, USA

      3rd VMCAI 2002: Venice, Italy

      VMCAI 2002 Home Page

      2nd VMCAI 1998: Pisa, Italy

      VMCAI 1998 Home Page

      1st VMCAI 1997: Port Jefferson, NY, USA

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics