<div dir="ltr"><div>CALL FOR PAPERS</div><div>===============</div><div><br></div><div>16th International Symposium on Automated Technology for Verification</div><div>and Analysis (ATVA 2018)</div><div><br></div><div>October 7-10, 2018, Los Angeles, California, USA.</div><div><br></div><div><a href="http://atva-conference.org/">http://atva-conference.org/</a></div><div><br></div><div><br></div><div>Scope</div><div>-----</div><div><br></div><div>ATVA 2018 is the 16th in a series of symposia dedicated to the </div><div>promotion of research on theoretical and practical aspects of </div><div>automated analysis, verification and synthesis by providing a </div><div>forum for interaction between local and international research </div><div>communities and industry in the field. Previous events were </div><div>held in Taiwan (2003-2005), Beijing (2006), Tokyo (2007), </div><div>Seoul (2008), Macao (2009), Singapore (2010), Taiwan (2011), </div><div>Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), </div><div>Shanghai (2015), Chiba (2016), and Pune (2017).</div><div><br></div><div>As in the previous years, the proceedings will be published in </div><div>Springer Lecture Notes in Computer Science (LNCS) series. </div><div><br></div><div>ATVA 2018 solicits high quality submissions on, but not limited</div><div>to, the following topics:</div><div><br></div><div>* Formalisms for modeling hardware, software and embedded systems</div><div>* Specification and verification of finite- and infinite-state systems</div><div>* Program analysis, symbolic execution, and software verification</div><div>* Verification of hardware, systems-on-chip and embedded systems</div><div>* Analysis of real-time, hybrid, and probabilistic systems</div><div>* Deductive, algorithmic, or compositional 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 systems</div><div>* Verification in industrial practice</div><div>* Synthesis for hardware and software systems</div><div>* Applications and case studies</div><div>* Automated tool support</div><div><br></div><div><br></div><div>Submissions</div><div>-----------</div><div><br></div><div>ATVA invites submissions in two categories:</div><div><br></div><div>* Regular research papers (16 pages, including references)</div><div>* Tool papers (6 pages, including references)</div><div><br></div><div>Submissions must be in Springer's LNCS format. Additional material </div><div>may be placed in an appendix, to be read at the discretion of the</div><div>reviewers and to be omitted in the final version. Formatting style</div><div>files and further guidelines for formatting can be found at the</div><div>Springer website.</div><div><br></div><div>Tool papers must include information about a URL from where the tool</div><div>can be downloaded or accessed on-line for evaluation. The URL must</div><div>also contain a set of examples, and a user manual that describes</div><div>usage of the tool through examples. In case the tool needs to be</div><div>downloaded and installed, the URL must contain instructions for</div><div>installation of the tool on Linux/Windows/MacOS.</div><div><br></div><div>Papers must be submitted to the EasyChair site at</div><div><a href="https://easychair.org/conferences/?conf=atva2018">https://easychair.org/conferences/?conf=atva2018</a></div><div><br></div><div>Accepted papers in both categories will be published in Springer's</div><div>LNCS series.</div><div><br></div><div>At least one author of each accepted paper is expected to register and</div><div>present the paper at the conference.</div><div><br></div><div><br></div><div>Important Dates</div><div>---------------</div><div><br></div><div>Paper Submission: May 4, 2018</div><div>Notification: June 23, 2018</div><div>Camera-Ready version: July 20, 2018</div><div>Conference: October 7-10, 2018</div><div><br></div><div><br></div><div>Invited Speakers for keynotes and tutorials</div><div>---------------</div><div><br></div><div>Nikolaj Bjorner (Microsoft Research)</div><div>Corina Pasareanu (NASA Ames Research Center)</div><div>Sanjit Seshia (University of California, Berkeley)</div><div><br></div><div><br></div><div>Program Chairs</div><div>--------------</div><div><br></div><div>Shuvendu Lahiri  (Microsoft Research)</div><div>Chao Wang  (University of Southern California)</div><div><br></div><div><br></div><div>Program Committee</div><div>-----------------</div><div><br></div><div>Aws Albarghouthi  (University of Wisconsin-Madison)</div><div>Cyrille Artho  (KTH Royal Institute of Technology)</div><div>Gogul Balakrishnan  (Google)</div><div>Roderick Bloem  (Graz University of Technology)</div><div>Tevfik Bultan  (University of California, Santa Barbara)</div><div>Pavol Cerny  (University of Colorado at Boulder)</div><div>Sagar Chaki  (Mentor Graphics)</div><div>Deepak D扴ouza  (Indian Institute of Science)</div><div>Jyotirmoy Deshmukh  (University of Southern California)</div><div>Constantin Enea  (IRIF/University Paris Diderot)</div><div>Grigory Fedyukovich  (Princeton University)</div><div>Masahiro Fujita  (University of Tokyo)</div><div>Sicun Gao  (University of California, San Diego)</div><div>Arie Gurfinkel  (University of Waterloo)</div><div>Fei He  (Tsinghua University)</div><div>Alan Hu  (University of British Columbia)</div><div>Joxan Jaffar  (National University of Singapore)</div><div>Akash Lal  (Microsoft Research)</div><div>Axel Legay  (IRISA/NRIA Rennes)</div><div>Yang Liu  (Nanyang Technological University)</div><div>Zhiming Liu  (Southwest University)</div><div>K. Narayan Kumar  (Chennai Mathematical Institute)</div><div>Doron Peled  (Bar Ilan University)</div><div>Xiaokang Qiu  (Purdue University)</div><div>Giles Reger  (University of Manchester)</div><div>Sandeep Shukla  (IIT Kanpur)</div><div>Oleg Sokolsky  (University of Pennsylvania)</div><div>Armando Solar-Lezama  (MIT)</div><div>Ofer Strichman  (Technion)</div><div>Neeraj Suri  (TU Darmstadt)</div><div>Aditya Thakur  (University of California, Davis)</div><div>Willem Visser  (Stellenbosch University)</div><div>Bow-Yaw Wang  (Academia Sinica)</div><div>Farn Wang  (National Taiwan University)</div><div>Georg Weissenbacher  (Vienna University of Technology)</div><div>Zijiang Yang  (Western Michigan University)</div><div>Naijun Zhan  (Chinese Academy of Sciences)</div><div><br></div><div><br></div><div>Steering Committee</div><div>------------------</div><div><br></div><div>E Allen Emerson  (University of Texas, Austin)</div><div>Teruo Higashino  (Osaka University)</div><div>Oscar H Ibarra  (University of California, Santa Barbara)</div><div>Insup Lee  (University of Pennsylvania)</div><div>Doron A Peled  (Bar Ilan University)</div><div>Farn Wang  (National Taiwan University)</div><div>Hsu-Chun Yen  (National Taiwan University)</div><div><br></div><div><br></div><div>More details are available at the conference website</div><div><a href="http://atva-conference.org">http://atva-conference.org</a></div></div>