The 24th International Symposium on Automated Technology for Verification and AnalysisAPLAS & ATVA 2026
Welcome to the website of the ATVA 2026 conference.
ATVA 2026 is the 23rd edition of the International Symposium on Automated Technology for Verification and Analysis, The conference is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis, by providing a forum for interaction between international research communities and industry in the field. Previous events were held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), Pune (2017), Los Angeles (2018), Taiwan (2019), Hanoi (2020), Gold Coast (2021), Beijing (2022), Singapore (2023), Kyoto (2024) and India (2025).
ATVA 2026 will take place during XX. This year’s conference is co-located with the 24rd Asian Symposium on Programming Languages and Systems (APLAS 2026).
