International Symposium on Automated Technology for Verification and Analysis
摘要截稿:
全文截稿: 2024-04-19
开会时间: 2024-10-21
会议难度:
CCF分类: C类
会议地点: Kyoto, Japan
Overview
ATVA 2024 is the 22nd 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), Gold Coast (2021), Beijing (2022), and Singapore (2023).
ATVA 2024 will take place on October 21-24, 2024, in Kyoto, Japan.