16 results · clear filters Sort: newest oldest name

1. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (ATVA)
   2019-10-28/31 · Taipei, Taiwan
   Computer and information sciences
   e10rw3b
2. Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (ATVA 2018, ATVA)
   2018-10-07/10 · Los Angeles, United States
   Computer and information sciences
   e10e4c6
3. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2017-10-03/06 · Pune, India
   Computer and information sciences
   e100xg0
4. International Symposium on Automated Technology for Verification and Analysis (ATVA 2016, ATVA)
   2016-10-17/20 · Chiba, Japan
   Computer and information sciences
   e100xf3
5. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2015-10-12/15 · Shanghai, People's Republic of China
   Computer and information sciences
   e100xe5
6. International Symposium on Automated Technology for Verification and Analysis (ATVA 2014, ATVA)
   2014-11-03/07 · Sydney, Australia
   Computer and information sciences
   e100xd7
7. International Symposium on Automated Technology for Verification and Analysis (ATVA 2013, ATVA)
   2013-10-15/18 · Hanoi, Vietnam
   Computer and information sciences
   e100xc9
8. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2012-10-03/06 · Thiruvananthapuram, India
   Computer and information sciences
   e100xbb
9. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2011-10-11/14 · Taipei, Taiwan
   Computer and information sciences
   e100xad
10. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2010-09-21/24 · Singapore
    Computer and information sciences
    e100x9f
11. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2009-10-14/16 · Macau
    Computer and information sciences
    e100x8h
12. International Symposium on Automated Technology for Verification and Analysis (ATVA 2008, ATVA)
    2008-10-20/23 · Seoul, South Korea
    Computer and information sciences
    e100x7k
13. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2007-10-22/25 · Tokyo, Japan
    Computer and information sciences
    e100x6n
14. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2006-10-23/26 · Beijing, People's Republic of China
    Computer and information sciences
    e100x5q
15. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2005-10-04/07 · Taipei, Taiwan
    Computer and information sciences
    e100x4s
16. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2004-10-31 to 2004-11-03 · Taiwan Island, Taiwan
    Computer and information sciences
    e100x3v

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s109911