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).
Three days of high-quality research presentations
Three keynote lectures (hardware verification, software verification and theory)
One day of tutorials by the three keynote speakers
Sharad Malik (Princeton, USA)
Andreas Podelski (Freiburg, Germany)
P.S. Thiagarajan (NUS, Singapore)