{"id":6,"date":"2017-12-15T19:39:20","date_gmt":"2017-12-15T19:39:20","guid":{"rendered":"http:\/\/atva-conference.org\/home\/"},"modified":"2017-12-15T19:39:20","modified_gmt":"2017-12-15T19:39:20","slug":"home","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2018\/","title":{"rendered":"About"},"content":{"rendered":"<p>ATVA 2018 is the 16th 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.\u00a0Previous 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), <a href=\"http:\/\/atva2015.ios.ac.cn\/\">Shanghai<\/a> (2015), <a href=\"http:\/\/atva2016.gforge.inria.fr\/\">Chiba<\/a> (2016), and <a href=\"http:\/\/www.iarcs.org.in\/atva2017\/\">Pune<\/a> (2017).<\/p>\n<p>ATVA 2018 will take place on October 7-10, 2018 in Los Angeles, California, USA. The proceedings have been published in the Springer <a href=\"http:\/\/www.springer.com\/lncs\">Lecture Notes in Computer Science (LNCS)<\/a> series, same as in <a href=\"https:\/\/link.springer.com\/conference\/atva\">previous years<\/a>.<\/p>\n<p><a href=\"https:\/\/link.springer.com\/book\/10.1007\/978-3-030-01090-4\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-247\" src=\"https:\/\/atva-conference.org\/2018\/wp-content\/uploads\/2018\/10\/LNCS11138-198x300.jpg\" alt=\"\" width=\"198\" height=\"300\" srcset=\"https:\/\/atva-conference.org\/2018\/wp-content\/uploads\/2018\/10\/LNCS11138-198x300.jpg 198w, https:\/\/atva-conference.org\/2018\/wp-content\/uploads\/2018\/10\/LNCS11138.jpg 306w\" sizes=\"auto, (max-width: 198px) 100vw, 198px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ATVA 2018 is the 16th 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.\u00a0Previous events were held in Taiwan (2003-2005), Beijing (2006), Tokyo&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/6","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/comments?post=6"}],"version-history":[{"count":0,"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/pages\/6\/revisions"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2018\/wp-json\/wp\/v2\/media?parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}