The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous nine events were held in Taiwan (2003-5), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010) and Taiwan (2011).