Notice: Considering the coronavirus situation in the world, the organizers of ATVA 2022 finally decide that ATVA 2022 will be a purely virtual event.

ATVA 2022 is the 20th 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), and Gold Coast (2021).

ATVA 2022 will take place on October 25-28, 2022 in Beijing, China. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.