Categories |
SOFTWARE VERIFICATION
MACHINE LEARNING
|
About |
|
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). |
Call for Papers |
|
ATVA 2021 is the 19th in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics:
|
Summary |
|
ATVA 2021 : The 19th International Symposium on Automated Technology for Verification and Analysis will take place in Gold Coast, Australia. It’s a 5 days event starting on Oct 18, 2021 (Monday) and will be winded up on Oct 22, 2021 (Friday). ATVA 2021 falls under the following areas: SOFTWARE VERIFICATION, MACHINE LEARNING, etc. Submissions for this Symposium can be made by Apr 09, 2021. Authors can expect the result of submission by Jun 04, 2021. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 04, 2021 to the official website of the Symposium. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ATVA 2021
|
Credits and Sources |
| [1] ATVA 2021 : The 19th International Symposium on Automated Technology for Verification and Analysis |
