NEWS: Registration is now open for ATVA 2023.
ATVA 2023 is the 21st International Symposium on Automated Technology for Verification and Analysis, 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), and Beijing (2022).
ATVA 2023 will take place in Singapore. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series.
ATVA 2023 is sponsored by Singapore Management University.
