International Symposium on Automated Technology for Verification and Analysis (ATVA) – October 2020, Hanoi, Vietnam

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.


Please checkout more information about the conference at


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s