ATVA 2018 is the 16th 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), and Pune (2017).

ATVA 2018 will take place on October 7-10, 2018 in Los Angeles, California, USA. The proceedings have been published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.