ATVA 2025: Call for Papers

ATVA 2025 is the 23rd in a series of Symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems.

Topics

ATVA solicits high quality submissions in the following suggestive list of topics:

• Formalisms for modeling hardware, software and embedded systems
• Specification and verification of finite-state, infinite-state and parameterized systems
• Program analysis and software verification
• Analysis and verification of hardware circuits, systems-on-chip and embedded systems
• Analysis of real-time, hybrid, priced, weighted and probabilistic systems
• Deductive, algorithmic, compositional, and abstraction/refinement techniques for 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 of verification
• Automated tool support for verification
• Testing and verification of neural networks
• Testing and verification of autonomous systems

Submissions

ATVA welcomes submissions in the following two categories:

• Regular research papers: 18 pages, excluding references, must be anonymized.
• Tool papers: 10 pages, excluding references, not anonymized.

Submissions in both categories must be in Springer’s LNCS format. Formatting style files and further guidelines for formatting can be found at the Springer website https://www.springer.com/gp/computer-science/lncs. Adding line numbers (LaTeX package lineno) is highly recommended.

Review Process

• Regular research papers: Follow a full double-blind review process. Author names and affiliations must be omitted from the submission. References to prior work by authors should be in the third person. Submissions that do not conform to these requirements will be rejected without review.
• Tool papers: Follow a single-blind review process. They do NOT need to be anonymized.

Artifact Evaluation

An artifact evaluation will be undertaken:

• Optional for regular papers.
• Mandatory for tool papers.

Submission Portal

Papers must be submitted through EasyChair: https://easychair.org/conferences/?conf=atva2025

Publication

Accepted papers in both categories will be published in Springer’s Lecture Notes in Computer Science series. A few outstanding papers will be selected for a distinguished paper award. At least one author of each accepted paper is expected to register and present the paper at the conference.

Important Dates

All times are in AoE (UTC-12h).

• Abstract + Paper submission deadline: April 25, 2025
• Tool paper artifact submission deadline: May 2, 2025
• Tool paper revised artifact submission deadline: May 11, 2025
• Author response period: June 17 – 20, 2025
• Paper notification: July 4, 2025
• Regular paper artifact submission deadline: July 8, 2025
• Camera-ready deadline: August 1, 2025
• Tutorials and Workshops: October 27, 2025
• Conference: October 28 – October 30, 2025