22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)
Date: Oct 21, 2024 6:00 am – Oct 24, 2024 4:00 pm
Location: Kyoto, Japan
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. This year’s conference is co-located with the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024).
Keynote speakers
- Naoki Kobayashi, University of Tokyo
- Orna Kupferman, Hebrew University
- Anne-Kathrin Schmuck, Max Planck Institute for Software Systems
Submitted by Amy Karns
on
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. This year’s conference is co-located with the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024).
Keynote speakers
- Naoki Kobayashi, University of Tokyo
- Orna Kupferman, Hebrew University
- Anne-Kathrin Schmuck, Max Planck Institute for Software Systems