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

Beschreibung

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.

Zeitraum	18 Okt. 2021 → 22 Okt. 2021
Ereignistitel	ATVA 2021 The 19th International Symposium on Automated Technology for Verification and Analysis
Veranstaltungstyp	Sonstiges
Ort	AustralienAuf Karte anzeigen