{"id":30,"date":"2017-12-15T21:47:17","date_gmt":"2017-12-15T21:47:17","guid":{"rendered":"http:\/\/atva-conference.org\/?page_id=30"},"modified":"2024-06-28T01:27:07","modified_gmt":"2024-06-28T01:27:07","slug":"organization","status":"publish","type":"page","link":"https:\/\/atva-conference.org\/2024\/organization\/","title":{"rendered":"Organization"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\"><strong>General Chair<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"> <a href=\"https:\/\/group-mmm.org\/~ichiro\/\" data-type=\"link\" data-id=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a>, National Institute of Informatics<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Program Co-Chairs<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"> <a href=\"https:\/\/www.cse.iitb.ac.in\/~akshayss\/\" data-type=\"link\" data-id=\"https:\/\/www.cse.iitb.ac.in\/~akshayss\/\">S Akshay<\/a>, IIT Bombay<\/li>\n\n\n\n<li class=\"\"> <a href=\"https:\/\/cs.stanford.edu\/~niemetz\/\" data-type=\"link\" data-id=\"https:\/\/cs.stanford.edu\/~niemetz\/\">Aina Niemetz<\/a>, Stanford University<\/li>\n\n\n\n<li class=\"\"> <a href=\"https:\/\/home.cs.colorado.edu\/~srirams\/\" data-type=\"link\" data-id=\"https:\/\/cs.stanford.edu\/~niemetz\/\">Sriram Sankaranarayanan<\/a>, University of Colorado Boulder<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Local Organization Chair<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~mwaga\/\" data-type=\"link\" data-id=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~mwaga\/\">Masaki Waga<\/a>, Kyoto University<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Publicity Chair<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/leslieaj.github.io\/\" data-type=\"link\" data-id=\"https:\/\/leslieaj.github.io\/\">Jie An<\/a>, National Institute of Informatics<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Sponsorship Chair<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/group-mmm.org\/eratommsd\/members\/\">Masaaki Konishi<\/a>, National Institute of Informatics<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Artifact Evaluation Co-Chairs<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"http:\/\/mjonas.net\/\">Martin Jon\u00e1\u0161<\/a>, Masaryk University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/cs.stanford.edu\/~preiner\/\">Mathias Preiner<\/a>, Stanford University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/u.cs.biu.ac.il\/~zoharyo1\/\">Yoni Zohar<\/a>, Bar-Ilan University<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Poster Co-Chairs<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/www.kurims.kyoto-u.ac.jp\/~kmuroya\/\">Koko Muroya<\/a>, Kyoto University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/yudaitnb.github.io\/\">Yudai Tanabe<\/a>, Tokyo Institute of Technology<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Program Committee<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/ths.rwth-aachen.de\/people\/erika-abraham\/\">Erika \u00c1brah\u00e1m<\/a>, RWTH Aachen University<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/sevlab.postech.ac.kr\/~kmbae\/\">Kyungmin Bae<\/a>, Pohang University of Science and Technology<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/wwwtcs.inf.tu-dresden.de\/~baier\/\">Christel Baier<\/a>, TU Dresden<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/research.google\/people\/gogul-balakrishnan\/\">Gogul Balakrishnan<\/a>, Google<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www-verimag.imag.fr\/~bensalem\/\">Saddek Bensalem<\/a>, VERIMAG<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.sosy-lab.org\/people\/beyer\/\">Dirk Beyer<\/a>, LMU Munich <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/cca.informatik.uni-freiburg.de\/biere\/\">Armin Biere<\/a>, University of Freiburg <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/mblondin.espaceweb.usherbrooke.ca\/index_en.html\">Michael Blondin<\/a>, Universit\u00e9 de Sherbrooke<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.isical.ac.in\/~sourav\/\">Sourav Chakraborty<\/a>, Indian Statistical Institute <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/shinchern.github.io\/\">Xin Chen<\/a>, University of New Mexico <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/homepage.iis.sinica.edu.tw\/pages\/yfc\/vita_en.html\">Yu-Fang Chen<\/a>, Academia Sinica <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/computer.knu.ac.kr\/bbs\/board.php?bo_table=eng2_1&amp;wr_id=25\">Yunja Choi<\/a>, Kyungpook National University <\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/www-verimag.imag.fr\/PEOPLE\/Thao.Dang\/\">Thao Dang<\/a>, CNRS\/VERIMAG <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/cse.iitkgp.ac.in\/~pallab\/\">Pallab Dasgupta<\/a>, Synopsys <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/raynadimitrova.github.io\/\">Rayna Dimitrova<\/a>, CISPA Helmholtz Center for Information Security<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/www.di.unito.it\/~susi\/index.html\">Susanna Donatelli<\/a>, Universit\u00e0 di Torino<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.lrde.epita.fr\/~adl\/\">Alexandre Duret-Lutz<\/a>, EPITA&#8217;s Research Lab (LRDE) <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/sites.google.com\/site\/duttasouradeep39\/\">Souradeep Dutta<\/a>, University of Pennsylvania <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.uliege.be\/cms\/c_9054334\/en\/directory?uid=u016733\">Pascal Fontaine<\/a>, Universit\u00e9 de Li\u00e8ge<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/amir.goharshady.com\/\">Amir K. Goharshady<\/a>, Hong Kong University of Science and Technology <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/perso.crans.org\/genest\/\">Blaise Genest<\/a>, CNRS <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.csl.sri.com\/users\/sgl\/\">St\u00e9phane Graham-Lengrand<\/a>, SRI International <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cse.iitb.ac.in\/~akg\/\">Ashutosh Gupta<\/a>, IIT Bombay<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.amazon.science\/author\/liana-hadarean\">Liana Hadarean<\/a>, Amazon Web Services <\/li>\n\n\n\n<li class=\"\"><a data-type=\"link\" data-id=\"https:\/\/group-mmm.org\/~ichiro\/\" href=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a>, National Institute of Informatics<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/mis2.nccu.edu.tw\/en\/Faculty\/Faculty_01\/Chih-Duo-Hong-75313649\">Chih-Duo Hong<\/a>, National Chengchi University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cs.helsinki.fi\/u\/mjarvisa\/\">Matti J\u00e4rvisalo<\/a>, University of Helsinki <\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~jhjiang\/\">Jie-Hong Roland Jiang<\/a>, National Taiwan University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/sjunges.github.io\/\">Sebastian Junges<\/a>, Radboud University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/gowthamk.github.io\/\">Gowtham Kaki<\/a>, University of Colorado Boulder <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/danielakaufmann.at\/\">Daniela Kaufmann<\/a>, TU Wien <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.jesus.ox.ac.uk\/about-jesus-college\/our-community\/people\/dr-sandra-kiefer\/\">Sandra Kiefer<\/a>, University of Oxford <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/sites.google.com\/view\/katherinekosaian\">Katherine Kosaian<\/a>, Iowa State University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cs.huji.ac.il\/~ornak\/\">Orna Kupferman<\/a>, Hebrew University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/liyong31.github.io\/\">Yong Li<\/a>, Institute of Software, Chinese Academy of Sciences <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/lijwen2748.github.io\/\">Jianwen Li<\/a>, East China Normal University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/personal.ntu.edu.sg\/shang-wei.lin\/\">Shang-Wei Lin<\/a>, Nanyang Technological University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/kumarmadhukar.github.io\/\">Kumar Madhukar<\/a>, IIT Delhi <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/tobias.meggendorfer.de\/\">Tobias Meggendorfer<\/a>, Lancaster University Leipzig <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/pageperso.lis-lab.fr\/~benjamin.monmege\/\">Benjamin Monmege<\/a>, Aix-Marseille Universit\u00e9 <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/u.cs.biu.ac.il\/~peledd\/\">Doron Peled<\/a>, Bar Ilan University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/people.irisa.fr\/Sophie.Pinchinat\/\">Sophie Pinchinat<\/a>, IRISA Rennes <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/jakob-piribauer.de\/\">Jakob Piribauer<\/a>, TU Dresden <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cs.ksu.edu\/about\/people\/faculty\/prabhakar\/\">Pavithra Prabhakar<\/a>, Kansas State University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/homepage.cs.uiowa.edu\/~ajreynol\/\">Andrew Reynolds<\/a>, University of Iowa <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/software.imdea.org\/people\/cesar.sanchez\/\">Cesar Sanchez<\/a>, IMDEA Software Institute <\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/people.irisa.fr\/Ocan.Sankur\/\">Ocan Sankur<\/a>, Univ Rennes, CNRS <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.msoos.org\/about\/\">Mate Soos<\/a>, National University of Singapore <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cmi.ac.in\/~sri\/\">B Srivathsan<\/a>, Chennai Mathematical Institute <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/wwwhome.ewi.utwente.nl\/~marielle\/\">Marielle Stoelinga<\/a>, University of Twente <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.fos.kuis.kyoto-u.ac.jp\/~ksuenaga\/\">Kohei Suenaga<\/a>, Kyoto University <\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/www.f.waseda.jp\/terauchi\/\">Tachio Terauchi<\/a>, Waseda University <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/astiwar\/\">Ashish Tiwari<\/a>, Microsoft <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/people.eecs.berkeley.edu\/~hazem.torfah\/\">Hazem Torfah<\/a>, Chalmers University of Technology <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cs.tsukuba.ac.jp\/~uhiro\/\">Hiroshi Unno<\/a>, University of Tsukuba <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/sites.usc.edu\/chaowang\/\">Chao Wang<\/a>, University of Southern California <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/lcs.ios.ac.cn\/~xuebai\/\">Bai Xue<\/a>, Institute of Software, Chinese Academy of Sciences <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/akihisayamada.github.io\/\">Akihisa Yamada<\/a>, National Institute of Advanced Industrial Science and Technology <\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/djordjezikelic.github.io\/\">\u0110or\u0111e \u017dikeli\u0107<\/a>, Singapore Management University<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Artifact Evaluation Committee<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\">Guy Amir, The Hebrew University, Jerusalem<\/li>\n\n\n\n<li class=\"\">Jie An, National Institute of Informatics, Tokyo<\/li>\n\n\n\n<li class=\"\">Lelio Brun, National Institute of Informatics, Tokyo<\/li>\n\n\n\n<li class=\"\">Marek Chalupa, IST Austria<\/li>\n\n\n\n<li class=\"\">Po-Chun Chien, LMU Munich<\/li>\n\n\n\n<li class=\"\">Solimul Chowdhury, University of Alberta<\/li>\n\n\n\n<li class=\"\">Greta Dolcetti, Ca&#8217; Foscari University of Venice<\/li>\n\n\n\n<li class=\"\">Burak Ekici, University of Oxford<\/li>\n\n\n\n<li class=\"\">Katalin Fazekas, TU Wien<\/li>\n\n\n\n<li class=\"\">Hadar Frenkel, CISPA &#8211; Helmholtz Center for Information Security<\/li>\n\n\n\n<li class=\"\">Aman Goel, Amazon Web Services<\/li>\n\n\n\n<li class=\"\">Petra Hozzov\u00e1, TU Wien<\/li>\n\n\n\n<li class=\"\">Marek Jankola, LMU Munich<\/li>\n\n\n\n<li class=\"\">Mayuko Kori, The Graduate University for Advanced Studies (SOKENDAI)<\/li>\n\n\n\n<li class=\"\">Hanna Lachnitt, Stanford University<\/li>\n\n\n\n<li class=\"\">Henrich Lauko, Trail of Bits<\/li>\n\n\n\n<li class=\"\">Juneyoung Lee, Amazon<\/li>\n\n\n\n<li class=\"\">Nian-Ze Lee, LMU Munich<\/li>\n\n\n\n<li class=\"\">Lorenz Leutgeb, Max Planck Institute for Informatics<\/li>\n\n\n\n<li class=\"\">Enrico Magnago, Amazon Web Services<\/li>\n\n\n\n<li class=\"\">Vincent Mihalkovi\u010d, Faculty of Informatics, Masaryk University<\/li>\n\n\n\n<li class=\"\">Samuel Pastva, IST Austria<\/li>\n\n\n\n<li class=\"\">Sophie Rain, TU Wien<\/li>\n\n\n\n<li class=\"\">Fr\u00e9d\u00e9ric Recoules, CEA LIST<\/li>\n\n\n\n<li class=\"\">Gianluca Redondi, FBK<\/li>\n\n\n\n<li class=\"\">Kartik Sabharwal, University of Iowa<\/li>\n\n\n\n<li class=\"\">Sota Sato, National Institute of Informatics, Tokyo<\/li>\n\n\n\n<li class=\"\">Hans-J\u00f6rg Schurr, University of Iowa<\/li>\n\n\n\n<li class=\"\">Simon Schwarz, Max-Planck-Institute for Informatics<\/li>\n\n\n\n<li class=\"\">Joseph Scott, University of Waterloo<\/li>\n\n\n\n<li class=\"\">Masaki Waga, Kyoto University<\/li>\n\n\n\n<li class=\"\">Kazuki Watanabe, National Institute of Informatics, Tokyo<\/li>\n\n\n\n<li class=\"\">Andrew (Haoze) Wu, Amherst College<\/li>\n\n\n\n<li class=\"\">Emily Yu, IST Austria<\/li>\n\n\n\n<li class=\"\">Zhenya Zhang, Kyushu University<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Steering Committee<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"https:\/\/iis.sinica.edu.tw\/~yfc\">Yu-Fang Chen<\/a>, Academia Sinica<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/sselab.knu.ac.kr\/\">Yunja Choi<\/a>, Kyungpook National University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a>, National Institute of Informatics<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~jhjiang\/\">Jie-Hong Roland Jiang<\/a>, National Taiwan University<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/u.cs.biu.ac.il\/~doronp\/\">Doron A Peled<\/a>, Bar Ilan University<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>Advisory Committee<\/strong><\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li class=\"\"><a href=\"http:\/\/www.cs.utexas.edu\/~emerson\/\">E. Allen Emerson<\/a>, University of Texas, Austin<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/www-higashi.ist.osaka-u.ac.jp\/~higashino\/\">Teruo Higashino<\/a>, Osaka University<\/li>\n\n\n\n<li class=\"\"><a href=\"https:\/\/www.cs.ucsb.edu\/~ibarra\/\">Oscar H. Ibarra<\/a>, University of California, Santa Barbara<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/www.cis.upenn.edu\/~lee\/home\/home\/index.shtml\">Insup Lee<\/a>, University of Pennsylvania<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~farn\/\">Farn Wang<\/a>, National Taiwan University<\/li>\n\n\n\n<li class=\"\"><a href=\"http:\/\/cc.ee.ntu.edu.tw\/~yen\/\">Hsu-Chun Yen<\/a>, National Taiwan University<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>General Chair Program Co-Chairs Local Organization Chair Publicity Chair Sponsorship Chair Artifact Evaluation Co-Chairs Poster Co-Chairs Program Committee Artifact Evaluation Committee Steering Committee Advisory Committee<\/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-30","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>Organization - 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\/organization\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Organization - ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"og:description\" content=\"General Chair Program Co-Chairs Local Organization Chair Publicity Chair Sponsorship Chair Artifact Evaluation Co-Chairs Poster Co-Chairs Program Committee Artifact Evaluation Committee Steering Committee Advisory Committee\" \/>\n<meta property=\"og:url\" content=\"https:\/\/atva-conference.org\/2024\/organization\/\" \/>\n<meta property=\"og:site_name\" content=\"ATVA 2024, Kyoto, Japan\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-28T01:27:07+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=\"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\\\/organization\\\/\",\"url\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/organization\\\/\",\"name\":\"Organization - ATVA 2024, Kyoto, Japan\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/#website\"},\"datePublished\":\"2017-12-15T21:47:17+00:00\",\"dateModified\":\"2024-06-28T01:27:07+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/organization\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/atva-conference.org\\\/2024\\\/organization\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/organization\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/atva-conference.org\\\/2024\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Organization\"}]},{\"@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":"Organization - 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\/organization\/","og_locale":"en_US","og_type":"article","og_title":"Organization - ATVA 2024, Kyoto, Japan","og_description":"General Chair Program Co-Chairs Local Organization Chair Publicity Chair Sponsorship Chair Artifact Evaluation Co-Chairs Poster Co-Chairs Program Committee Artifact Evaluation Committee Steering Committee Advisory Committee","og_url":"https:\/\/atva-conference.org\/2024\/organization\/","og_site_name":"ATVA 2024, Kyoto, Japan","article_modified_time":"2024-06-28T01:27:07+00:00","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\/organization\/","url":"https:\/\/atva-conference.org\/2024\/organization\/","name":"Organization - ATVA 2024, Kyoto, Japan","isPartOf":{"@id":"https:\/\/atva-conference.org\/2024\/#website"},"datePublished":"2017-12-15T21:47:17+00:00","dateModified":"2024-06-28T01:27:07+00:00","breadcrumb":{"@id":"https:\/\/atva-conference.org\/2024\/organization\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/atva-conference.org\/2024\/organization\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/atva-conference.org\/2024\/organization\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/atva-conference.org\/2024\/"},{"@type":"ListItem","position":2,"name":"Organization"}]},{"@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\/30","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=30"}],"version-history":[{"count":5,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/30\/revisions"}],"predecessor-version":[{"id":561,"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/pages\/30\/revisions\/561"}],"wp:attachment":[{"href":"https:\/\/atva-conference.org\/2024\/wp-json\/wp\/v2\/media?parent=30"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}