<div dir="ltr"><div>ATVA 2015, 13th International Symposium on Automated Technology for</div><div>Verification and Analysis</div><div>  October 12-15, 2015, Shanghai, China, <a href="http://atva2015.ios.ac.cn/">http://atva2015.ios.ac.cn/</a></div><div><br></div><div><br></div><div>BACKGROUND</div><div>The purpose of ATVA is to promote research on theoretical and</div><div>practical aspects of automated analysis, verification and synthesis</div><div>by providing a forum for interaction between the regional and the</div><div>international research communities and industry in the field.</div><div><br></div><div><br></div><div>SCOPE</div><div>ATVA 2015 solicits high-quality submissions in areas related to the</div><div>theory and practice of automated analysis and verification of hardware</div><div>and software systems. Topics of interest include, but are not limited</div><div>to:</div><div><br></div><div>* Formalisms for modeling hardware, software and embedded systems</div><div>* Specification and verification of finite-state, infinite-state and</div><div>parameterized systems</div><div>* Program analysis and software verification</div><div>* Analysis and verification of hardware circuits, systems-on-chip and</div><div>embedded systems</div><div>* Analysis of real-time, hybrid, priced/weighted and probabilistic systems</div><div>* Deductive, algorithmic, compositional, and abstraction refinement</div><div>techniques for analysis and verification</div><div>* Analytical techniques for safety, security, and dependability</div><div>* Testing and runtime analysis based on verification technology</div><div>* Analysis and verification of parallel and concurrent hardware/software systems</div><div>* Verification in industrial practice</div><div>* Applications and case studies</div><div><br></div><div>Theory papers should preferably be motivated by practical problems,</div><div>and applications should be based on sound theory and should solve</div><div>problems of practical interest.</div><div><br></div><div><br></div><div>IMPORTANT DATES</div><div>April 22, 2015  Abstract submission deadline (AOE)</div><div>April 25, 2015  Paper submission deadline (AOE)</div><div>May 5, 2015     Submission of workshop proposals</div><div>Jun 8, 2015     Paper acceptance/rejection notification</div><div>Jun 10, 2015    Announcement of the accepted papers</div><div>July 5, 2015    Camera-ready copy deadline</div><div><br></div><div>GENERAL CHAIR</div><div>Jifeng He (East China Normal University, China)</div><div><br></div><div>PROGRAMME CHAIRS</div><div>Bernd Finkbeiner (Saarland University, Germany)</div><div>Geguang Pu (East China Normal University, China)</div><div>Lijun Zhang (Institute of Software, Chinese Academy of Sciences)</div><div><br></div><div>PUBLICITY CHAIRS</div><div>David N. Jansen (Radboud Universiteit, Netherlands)</div><div>Huibiao Zhu (East China Normal University, China)</div><div><br></div><div>PROGRAM COMMITTEE</div><div>Alessandro Abate (University of Oxford, UK)</div><div>Erika Ábrahám (RWTH Aachen University, Germany)</div><div>Michael Backes (Saarland University, Germany)</div><div>Christel Baier (Technical University of Dresden, Germany)</div><div>Ahmed Bouajjani (University Paris Diderot, FR)</div><div>Tevfik Bultan (University of California at Santa Barbara, USA)</div><div>Franck Cassez (NICTA, Australia)</div><div>Rance Cleaveland (University of Maryland, USA)</div><div>Hung Dang-Van (UET, Vietnam National University, Vietnam)</div><div>Bernd Finkbeiner (Saarland University, Germany)</div><div>Mark Greenstreet (University of British Columbia, Canada)</div><div>Holger Hermanns (Saarland University, Germany)</div><div>Pao-Ann Hsiung (National Chung Cheng University, Taiwan)</div><div>Alan Hu (University of British Columbia, Canada)</div><div>Michael Huth (Imperial College London, UK)</div><div>Jie-Hong Roland Jiang (National Taiwan University, Taiwan)</div><div>Orna Kupferman (Hebrew University, Israel)</div><div>Kim Guldstrand Larsen (Aalborg University, Denmark)</div><div>Xuandong Li (Nanjing University, China)</div><div>Annabelle McIver (Macquarie University, AU)</div><div>Ken McMillan (Microsoft, USA)</div><div>Madhavan Mukund (Chennai Mathematical Institute, India)</div><div>Flemming Nielson (Technical University of Denmark, Denmark)</div><div>Mizuhito Ogawa (Japan Advanced Institute of Science and Technology)</div><div>Catuscia Palamidessi (INRIA Saclay and LIX, FR)</div><div>Doron Peled (Bar Ilan University, Israel)</div><div>Geguang Pu (East China Normal University, China)</div><div>Jean-François Raskin (Université Libre de Bruxelles, Belgium)</div><div>Kristin Y. Rozier (NASA&#39;s Ames Research Center, USA)</div><div>Sven Schewe (Liverpool University, UK)</div><div>Scott Smolka (Stony Brook University, USA)</div><div>Farn Wang (National Taiwan University, Taiwan)</div><div>Bow-Yaw Wang (Academia Sinica, Taiwan)</div><div>Wang Yi (Uppsala University, Sweden)</div><div>Naijun Zhan (Institute of Software, Chinese Academy of Sciences)</div><div>Lijun Zhang (Institute of Software, Chinese Academy of Sciences)</div><div><br></div><div>STEERING COMMITTEE</div><div>E. Allen Emerson (University of Texas-Austin, USA)</div><div>Teruo Higashino (Osaka University, Japan)</div><div>Insup Lee (University of Pennsylvania, USA)</div><div>Doron Peled (Bar Ilan University, Israel)</div><div>Farn Wang (National Taiwan University, Taiwan)</div><div>Hsu-Chun Yen (National Taiwan University, Taiwan)</div><div><br></div><div>WORKSHOP CHAIR</div><div>Jun Sun (Singapore University of Technology and Design, SG)</div><div><br></div><div>KEYNOTES</div><div>Dino Distefano (Queen Mary, University of London, UK)</div><div>Joost-Pieter Katoen (RWTH Aachen University, Germany)</div><div>J Strother Moore (University of Texas-Austin, USA)</div><div><br></div><div><br></div><div>ATVA 2015  invites  submissions  for  workshop  proposals on</div><div>topics of interest to the ATVA series. The workshops will be</div><div>either half day or one full day. Depending on  the  number of</div><div>accepted workshops, the workshops will be scheduled either on</div><div>October 11, or  October 16, 2015.</div><div><br></div><div>All proposals should be sent by e-mail to the workshop</div><div>chair, Jun Sun, Singapore University of Technology and Design, SG,</div><div>e-mail: <a href="mailto:sunjun@sutd.edu.sg">sunjun@sutd.edu.sg</a></div><div><br></div><div>DEADLINES FOR WORKSHOP PROPOSALS:</div><div><br></div><div>May 5, 2015: Submission of workshop proposals</div><div>May 30, 2015:   Notification of acceptance</div></div>