ATVA 2021 The 19th International Symposium on Automated Technology for Verification and Analysis
Sprache des Titels:
Englisch
Original Kurzfassung:
The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and international research communities and industry in the field. The previous 18 events were held in Taipei (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taipei (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), Pune (2017), Los Angeles (2018), Taipei (2019) and Hanoi/Online (2020).
The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.