Automated Technology for Verification and Analysis (ATVA)

Venue statistics

records by year

document access 

    frequent authors

      18th ATVA 2020: Hanoi, Vietnam

      17th ATVA 2019: Taipei, Taiwan

      16th ATVA 2018: Los Angeles, CA, USA

      15th ATVA 2017: Pune, India

      14th ATVA 2016: Chiba, Japan

      13th ATVA 2015: Shanghai, China

      12th ATVA 2014: Sydney, NSW, Australia

      11th ATVA 2013: Hanoi, Vietnam

      10th ATVA 2012: Thiruvananthapuram, India

      9th ATVA 2011: Taipei, Taiwan

      8th ATVA 2010: Singapore

      7th ATVA 2009: Macao, China

      6th ATVA 2008: Seoul, Korea

      5th ATVA 2007: Tokyo, Japan

      4th ATVA 2006: Beijing, China

      3rd ATVA 2005: Taipei, Taiwan

      -

      ATVA 2005 Home Page

      2nd ATVA 2004: Taipei, Taiwan

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics