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