{"id":34,"date":"2017-12-15T22:02:50","date_gmt":"2017-12-15T22:02:50","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=34"},"modified":"2024-10-22T23:52:28","modified_gmt":"2024-10-22T23:52:28","slug":"program","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2024\/program\/","title":{"rendered":"Program"},"content":{"rendered":"<p>The program of the ATVA main conference can be found on the <strong><a href=\"https:\/\/easychair.org\/smart-program\/ATVA2024\/\">easychair<\/a><\/strong> (click here!) and <strong><a href=\"https:\/\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/10\/program.pdf\">downloaded<\/a><\/strong>.<\/p>\n<p>Please find the preliminary proceedings <a href=\"https:\/\/atva-conference.org\/2024\/preliminary-proceedings-atva-2024\/\">here<\/a> (use the password sent to you in an email)<\/p>\n\n\n<figure class=\"is-style-stripes wp-block-table\"><table class=\"has-fixed-layout\"><tbody><tr><td><a href=\"https:\/\/atva-conference.org\/2024\/tutorials\/\">Tutorials<\/a><\/td><td>October 21<\/td><\/tr><tr><td><a href=\"https:\/\/atva-conference.org\/2024\/workshops\/\">Mentoring workshop<\/a><\/td><td>October 21<\/td><\/tr><tr><td><a href=\"https:\/\/easychair.org\/smart-program\/ATVA2024\/\">ATVA main conference<\/a> (in parallel with <a href=\"https:\/\/conf.researchr.org\/home\/aplas-2024\">APLAS<\/a>)<\/td><td>October 22 &#8211; 24<\/td><\/tr><tr><td><a href=\"https:\/\/conf.researchr.org\/home\/aplas-2024\">APLAS NIER Workshop<\/a> (collaborate with <a href=\"https:\/\/atva-conference.org\/2024\/\">ATVA<\/a>)<\/td><td>October 25<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<div data-wp-interactive=\"core\/file\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/10\/program.pdf\" type=\"application\/pdf\" style=\"width:100%;height:900px\" aria-label=\"Embed of program.\"><\/object><a id=\"wp-block-file--media-ee6e1711-da22-47ca-ba2a-d62cf2530822\" href=\"https:\/\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/10\/program.pdf\">program<\/a><a href=\"https:\/\/atva-conference.org\/2024\/wp-content\/uploads\/2024\/10\/program.pdf\" class=\"wp-block-file__button wp-element-button\" download aria-describedby=\"wp-block-file--media-ee6e1711-da22-47ca-ba2a-d62cf2530822\">Download<\/a><\/div>\n","protected":false},"excerpt":{"rendered":"<p>The program of the ATVA main conference can be found on the easychair (click here!) and downloaded. Please find the preliminary proceedings here (use the password sent to you in an email) Tutorials October 21 Mentoring workshop October 21 ATVA main conference (in parallel with APLAS) October 22 &#8211; 24 APLAS NIER Workshop (collaborate with&hellip;<\/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-34","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Program - 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\/program\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Program - ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"og:description\" content=\"The program of the ATVA main conference can be found on the easychair (click here!) and downloaded. Please find the preliminary proceedings here (use the password sent to you in an email) Tutorials October 21 Mentoring workshop October 21 ATVA main conference (in parallel with APLAS) October 22 &#8211; 24 APLAS NIER Workshop (collaborate with&hellip;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/atva-conference.org\/2024\/program\/\" \/>\n<meta property=\"og:site_name\" content=\"ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"article:modified_time\" content=\"2024-10-22T23:52:28+00:00\" \/>\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=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/program\\\/\",\"url\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/program\\\/\",\"name\":\"Program - ATVA 2024, Kyoto, Japan\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#website\"},\"datePublished\":\"2017-12-15T22:02:50+00:00\",\"dateModified\":\"2024-10-22T23:52:28+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/program\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/atva-conference.org\\\/2024\\\/program\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/program\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Program\"}]},{\"@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":"Program - 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\/program\/","og_locale":"en_US","og_type":"article","og_title":"Program - ATVA 2024, Kyoto, Japan","og_description":"The program of the ATVA main conference can be found on the easychair (click here!) and downloaded. Please find the preliminary proceedings here (use the password sent to you in an email) Tutorials October 21 Mentoring workshop October 21 ATVA main conference (in parallel with APLAS) October 22 &#8211; 24 APLAS NIER Workshop (collaborate with&hellip;","og_url":"https:\/\/atva-conference.org\/2024\/program\/","og_site_name":"ATVA 2024, Kyoto, Japan","article_modified_time":"2024-10-22T23:52:28+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/atva-conference.org\/2024\/program\/","url":"https:\/\/atva-conference.org\/2024\/program\/","name":"Program - ATVA 2024, Kyoto, Japan","isPartOf":{"@id":"https:\/\/atva-conference.org\/2024\/#website"},"datePublished":"2017-12-15T22:02:50+00:00","dateModified":"2024-10-22T23:52:28+00:00","breadcrumb":{"@id":"https:\/\/atva-conference.org\/2024\/program\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/atva-conference.org\/2024\/program\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/atva-conference.org\/2024\/program\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/atva-conference.org\/2024\/"},{"@type":"ListItem","position":2,"name":"Program"}]},{"@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\/34","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=34"}],"version-history":[{"count":12,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/34\/revisions"}],"predecessor-version":[{"id":736,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/34\/revisions\/736"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/media?parent=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}