ATVA 2022
International Symposium on Automated Technology for Verification and Analysis
About
Notice: The organizers of ATVA 2022 decided that ATVA 2022 will be hybrid in the sense that the authors can choose to attend physically or virtually, depending on their specific situations, including visas, flights, etc.
ATVA 2022 is the 20th 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), Pune (2017), Los Angeles (2018), Taiwan (2019), Hanoi (2020), and Gold Coast (2021).
ATVA 2022 will take place on October 25-28, 2022 in Beijing, China. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.