Visible to the public CfP: 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)Conflict Detection Enabled

No replies
Anonymous's picture


17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)

October 28-31, 2019 | Taipei, Taiwan |

ATVA 2019 is the 17th 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 Taipei (2003-2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010), Taipei (2011), Thiruvananthapuram (2012), Hanoi (2013), Sydney (2014), Shanghai (2015), Chiba (2016), Pune (2017), and Los Angeles (2018).

ATVA 2019 will take place on October 28-31, 2019 in Academia Sinica, Taipei, Taiwan. The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series, same as in previous years.

ATVA 2019 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, and 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 of hardware and software systems
  • Applications and case studies
  • Automated tool support


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 online for evaluation. The URL must also contain a set of examples and a user manual that describes the 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

Accepted papers in both categories will be published in Springer's LNCS series. A small selection of accepted papers will be considered for a distinguished paper award.

At least one author of each accepted paper is expected to register and present the paper at the conference. We will offer free accommodation for a limited number of students with an accepted paper.

ATVA 2019 will have an artifact evaluation stage. The authors of accepted papers will be invited to submit an artifact for evaluation by the Artifact Evaluation Committee (AEC). An artifact is any additional material (software, data sets, machine-checkable proof, etc) that substantiates the claims made in the paper and ideally makes them fully reproducible. AEC members will execute the submitted artifacts and check if they produce the same results as those reported in the papers. This submission is voluntary, but encouraged, and will not influence the final decision of the papers. Papers that pass the artifact evaluation will receive a badge printed on the papers themselves. More details can be found on the conference website.

Important Dates

  • April 26, 2019 - Abstract submission
  • May 3, 2019 - Paper submission
  • June 16, 2019 - Notification
  • July 12, 2019 - Camera-ready version
  • October 28-31, 2019 - Conference

Invited Speakers

  • Track A (hardware) - Armin Biere, Johannes Kepler University Linz
  • Track B (software) - Rupak Majumdar, Max Planck Institute for Software Systems
  • Track C (theory) - Patricia Bouyer, CNRS and ENS de Cachan

Organizing Committees

PC Co-Chairs:

  • Yu-Fang Chen, Academia Sinica
  • Chih-Hong Cheng, fortiss - Research Institute of the Free State of Bavaria
  • Javier Esparza, TU Munich

Local Arrangement Chair:

  • Ming-Hsien Tsai, Academia Sinica

Program Committee

  • Erika Abraham, RWTH Aachen University
  • Mohamed Faouzi Atig, Uppsala University
  • Christel Baier, TU Dresden
  • Saddek Bensalem, VERIMAG
  • Udi Boker, Interdisciplinary Center (IDC) Herzliya
  • Luca Bortolussi, University of Trieste
  • Franck Cassez, Macquarie University
  • Krishnendu Chatterjee, Institute of Science and Technology (IST)
  • Yu-Fang Chen, Academia Sinica
  • Chih-Hong Cheng, fortiss - Research Institute of the Free State of Bavaria
  • Alessandro Cimatti, FBK-irst
  • Loris D'Antoni, University of Wisconsin-Madison
  • Alexandre Duret-Lutz, LRDE/EPITA
  • Javier Esparza, Technical University of Munich
  • Bernd Finkbeiner, Saarland University
  • Pierre Ganty, IMDEA Software Institute
  • Keijo Heljanko, University of Helsinki
  • Stefan Katzenbeisser, TU Darmstadt
  • Siau-Cheng Khoo, National University of Singapore
  • Orna Kupferman, Hebrew University
  • Ondrej Lengal, Brno University of Technology (AEC Chair)
  • Shang-Wei Lin, Nanyang Technological University
  • Anthony Widjaja Lin, University of Oxford
  • Hakjoo Oh, Korea University
  • Doron Peled, Bar Ilan University
  • Pavithra Prabhakar, Kansas State University
  • Indranil Saha, University of California, Los Angeles
  • Sven Schewe, University of Liverpool
  • Jun Sun, Singapore University of Technology and Design
  • Michael Tautschnig, Queen Mary University of London
  • Tachio Terauchi, Waseda University
  • Ashish Tiwari, Microsoft
  • Bow-Yaw Wang, Academia Sinica
  • Farn Wang, National Taiwan University
  • Chao Wang, University of Southern California
  • Zhilin Wu, Institute of Software, Chinese Academy of Sciences
  • Lijun Zhang, Institute of Software, Chinese Academy of Sciences

Steering Commmittee

  • 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