ATVA 2024 is the 22nd 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. 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 system
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
Automated tool support

More information is coming soon!



Important Dates

AoE (Anywhere on Earth)

Paper submission:
April 19, 2024
AE submission for tool papers:
May 2, 2024
Rebuttal period:
June 4 - 7, 2024
Author notification:
June 19, 2024
AE submission for regular papers:
June 25, 2024
Conference:
October 21 - 24, 2024