{"id":6,"date":"2017-12-15T19:39:20","date_gmt":"2017-12-15T19:39:20","guid":{"rendered":"http:\/\/atva-conference.org\/home\/"},"modified":"2025-04-12T14:26:22","modified_gmt":"2025-04-12T14:26:22","slug":"home","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2024\/","title":{"rendered":"ATVA 2024 – 22nd International Symposium on Automated Technology for Verification and Analysis"},"content":{"rendered":"

The proceedings are now available from Springer: Part I<\/a> and Part II<\/a>.<\/strong><\/p>\n

The videos of the APLAS-ATVA 2024 keynote talks and tutorials are on YouTube<\/a>.<\/strong><\/p>\n

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<\/a> (2015), Chiba<\/a> (2016), Pune<\/a> (2017), Los Angeles<\/a> (2018), Taiwan<\/a> (2019), Hanoi<\/a> (2020), Gold Coast<\/a> (2021), Beijing<\/a> (2022), and Singapore<\/a> (2023).<\/p>\n

ATVA 2024 will take place on October 21-24<\/strong>, 2024<\/strong>, in Kyoto<\/strong>, Japan<\/strong>. This year’s conference is co-located with the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024)<\/a>.<\/p>\n\n\n

Keynotes<\/strong><\/h2>\n\n\n\n

Title:<\/strong> High-Order Fixpoint Logic for Automated Program Verification<\/a> (Joint keynote with APLAS 2024<\/a>)<\/p>\n\n\n\n

Speaker:<\/strong> Naoki Kobayashi<\/a>, University of Tokyo <\/p>\n\n\n\n

<\/div>\n\n\n\n

Title:<\/strong> Playing Games on Automata<\/a><\/p>\n\n\n\n

Speaker:<\/strong> Orna Kupferman<\/a>, Hebrew University<\/p>\n\n\n\n

<\/div>\n\n\n\n

Title:<\/strong> The Power of Feedback \u2014 Rethinking Reactive Synthesis for Autonomy-Driven Control of Cyber-Physical Systems<\/a><\/p>\n\n\n\n

Speaker:<\/strong> Anne-Kathrin Schmuck<\/a>, Max Planck Institute for Software Systems<\/p>\n\n\n\n

Program<\/strong><\/h2>\n\n\n\n
Tutorials<\/a><\/td>October 21<\/td><\/tr>
Mentoring workshop<\/a><\/td>October 21<\/td><\/tr>
ATVA main conference<\/a> (in parallel with APLAS<\/a>)<\/td>October 22 – 24<\/td><\/tr>
APLAS NIER Workshop<\/a> (collaborate with ATVA<\/a>)<\/td>October 25<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
\n\n\n\n

Sponsors<\/strong><\/h2>\n\n\n\n

Silver Sponsor<\/strong>s<\/h3>\n\n\n\n
\n
\"\"<\/a><\/figure>\n\n\n\n
\"\"<\/a><\/figure>\n\n\n\n
\"\"<\/a><\/figure>\n<\/div>\n\n\n\n

Organizational Sponsors<\/strong><\/h3>\n\n\n\n
\n
\n
\"\"<\/a><\/figure>\n\n\n\n
\"\"<\/a><\/figure>\n\n\n\n
\"\"<\/a><\/figure>\n<\/div>\n<\/div><\/div>\n\n\n\n

Award Sponsor<\/strong><\/h3>\n\n\n\n
<\/div>\n\n\n\n
\"\"<\/a><\/figure>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

The proceedings are now available from Springer: Part I and Part II. The videos of the APLAS-ATVA 2024 keynote talks and tutorials are on YouTube. 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…<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-6","page","type-page","status-publish","hentry"],"yoast_head":"\nATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/atva-conference.org\/2024\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"ATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"og:description\" content=\"The proceedings are now available from Springer: Part I and Part II. The videos of the APLAS-ATVA 2024 keynote talks and tutorials are on YouTube. 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…\" \/>\n<meta property=\"og:url\" content=\"https:\/\/atva-conference.org\/2024\/\" \/>\n<meta property=\"og:site_name\" content=\"ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"article:modified_time\" content=\"2025-04-12T14:26:22+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/i0.wp.com\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/04\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"700\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\",\"url\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\",\"name\":\"ATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/DENSO_-smalltagline_2lines_Red_RGB_1280-1024x560.png\",\"datePublished\":\"2017-12-15T19:39:20+00:00\",\"dateModified\":\"2025-04-12T14:26:22+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#primaryimage\",\"url\":\"https:\\\/\\\/i0.wp.com\\\/atva-conference.org\\\/2024\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1\",\"contentUrl\":\"https:\\\/\\\/i0.wp.com\\\/atva-conference.org\\\/2024\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1\",\"width\":1280,\"height\":700},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"ATVA 2024 – 22nd International Symposium on Automated Technology for Verification and Analysis\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#website\",\"url\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\",\"name\":\"ATVA 2024, Kyoto, Japan\",\"description\":\"22nd International Symposium on Automated Technology for Verification and Analysis\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"ATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/atva-conference.org\/2024\/","og_locale":"en_US","og_type":"article","og_title":"ATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan","og_description":"The proceedings are now available from Springer: Part I and Part II. The videos of the APLAS-ATVA 2024 keynote talks and tutorials are on YouTube. 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…","og_url":"https:\/\/atva-conference.org\/2024\/","og_site_name":"ATVA 2024, Kyoto, Japan","article_modified_time":"2025-04-12T14:26:22+00:00","og_image":[{"width":1280,"height":700,"url":"https:\/\/i0.wp.com\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/04\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/atva-conference.org\/2024\/","url":"https:\/\/atva-conference.org\/2024\/","name":"ATVA 2024 - 22nd International Symposium on Automated Technology for Verification and Analysis - ATVA 2024, Kyoto, Japan","isPartOf":{"@id":"https:\/\/atva-conference.org\/2024\/#website"},"primaryImageOfPage":{"@id":"https:\/\/atva-conference.org\/2024\/#primaryimage"},"image":{"@id":"https:\/\/atva-conference.org\/2024\/#primaryimage"},"thumbnailUrl":"https:\/\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/04\/DENSO_-smalltagline_2lines_Red_RGB_1280-1024x560.png","datePublished":"2017-12-15T19:39:20+00:00","dateModified":"2025-04-12T14:26:22+00:00","breadcrumb":{"@id":"https:\/\/atva-conference.org\/2024\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/atva-conference.org\/2024\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/atva-conference.org\/2024\/#primaryimage","url":"https:\/\/i0.wp.com\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/04\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1","contentUrl":"https:\/\/i0.wp.com\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/04\/DENSO_-smalltagline_2lines_Red_RGB_1280.png?fit=1280%2C700&ssl=1","width":1280,"height":700},{"@type":"BreadcrumbList","@id":"https:\/\/atva-conference.org\/2024\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/atva-conference.org\/2024\/"},{"@type":"ListItem","position":2,"name":"ATVA 2024 – 22nd International Symposium on Automated Technology for Verification and Analysis"}]},{"@type":"WebSite","@id":"https:\/\/atva-conference.org\/2024\/#website","url":"https:\/\/atva-conference.org\/2024\/","name":"ATVA 2024, Kyoto, Japan","description":"22nd International Symposium on Automated Technology for Verification and Analysis","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/atva-conference.org\/2024\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/6","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":20,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":744,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/6\/revisions\/744"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}