ATVA 2021 The 19th International Symposium on Automated Technology for Verification and Analysis (Event)

Description

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.

Period	18 Oct 2021 → 22 Oct 2021
Event title	ATVA 2021 The 19th International Symposium on Automated Technology for Verification and Analysis
Event type	Other
Location	AustraliaShow on map