Call for Papers


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).

As in the previous years, the proceedings will be published in Springer Lecture Notes in Computer Science (LNCS) series.

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 (AoE)Abstract submission deadline
May 3, 2019 (AoE)Paper submission deadline
June 16, 2019Notification
June 23, 2019 (AoE)Artifact submission deadline
July 24, 2019Artifact notification
July 26, 2019 (AoE)Camera-ready version
September 16, 2019Early registration (extended)
October 27-31, 2019Conference