ATVA 2025

Welcome to the website of the ATVA 2025 conference.

ATVA 2025 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), and Kyoto (2024).

ATVA 2025 will take place during October 27-31, 2025, in Bangalore, India. This year’s conference is co-located with the 23rd Asian Symposium on Programming Languages and Systems (APLAS 2025).