The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in Asia by providing a forum for interaction between the regional and international research communities and industry in the field. The previous 17 events were held in Taipei (2003-2005-2019), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taipei (2011-2019), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), Pune (2017), and Los Angeles (2018).

ATVA 2020 is the 18th in the series, and will be organized by the University of Engineering and Technology – VNU Hanoi. ATVA 2020 will be held in the campus of Vietnam National University, Hanoi from October 26th to October 30th, 2020.

The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.