23 results · clear filters Sort: newest oldest name

1. Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings
   2025 · Bengaluru, India
   Computer and information sciences
   e10rw9z
2. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   series, 22 events, 2004 to 2025
   Computer and information sciences
   s109911
3. Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
   2024 · Kyoto, Japan
   Computer and information sciences
   e10rw81
4. Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
   2023 · Singapore
   Computer and information sciences
   e10rw73
5. Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
   2022
   Computer and information sciences
   e10rw65
6. Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings
   2021 · Gold Coast, Australia
   Computer and information sciences
   e10rw57
7. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
   2020 · Hanoi, Vietnam
   Computer and information sciences
   e10rw49
8. 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
9. 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
10. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2017-10-03/06 · Pune, India
    Computer and information sciences
    e100xg0
11. International Symposium on Automated Technology for Verification and Analysis (ATVA 2016, ATVA)
    2016-10-17/20 · Chiba, Japan
    Computer and information sciences
    e100xf3
12. 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
13. International Symposium on Automated Technology for Verification and Analysis (ATVA 2014, ATVA)
    2014-11-03/07 · Sydney, Australia
    Computer and information sciences
    e100xd7
14. International Symposium on Automated Technology for Verification and Analysis (ATVA 2013, ATVA)
    2013-10-15/18 · Hanoi, Vietnam
    Computer and information sciences
    e100xc9
15. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2012-10-03/06 · Thiruvananthapuram, India
    Computer and information sciences
    e100xbb
16. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2011-10-11/14 · Taipei, Taiwan
    Computer and information sciences
    e100xad
17. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2010-09-21/24 · Singapore
    Computer and information sciences
    e100x9f
18. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2009-10-14/16 · Macau
    Computer and information sciences
    e100x8h
19. International Symposium on Automated Technology for Verification and Analysis (ATVA 2008, ATVA)
    2008-10-20/23 · Seoul, South Korea
    Computer and information sciences
    e100x7k
20. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2007-10-22/25 · Tokyo, Japan
    Computer and information sciences
    e100x6n
21. 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
22. International Symposium on Automated Technology for Verification and Analysis (ATVA)
    2005-10-04/07 · Taipei, Taiwan
    Computer and information sciences
    e100x4s
23. 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?series=s109911