posted by user: asgerhb || 266 views || tracked by 1 users: [display]

ATVA 2024 : 22nd International Symposium on Automated Technology for Verification and Analysis


Conference Series : Automated Technology for Verification and Analysis
When Oct 21, 2024 - Oct 24, 2024
Where Kyoto, Japan
Submission Deadline Apr 19, 2024
Notification Due Jun 19, 2024

Call For Papers

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
October 21 - 24, 2024

Related Resources

ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
CAV 2024   36th International Conference on Computer Aided Verification
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ADMA 2024   20th International Conference Advanced Data Mining and Applications
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
IITUPC 2024   Immunotherapy and Information Technology: Unleashing the Power of Convergence
DSIT 2024   7th International Conference on Data Science and Information Technology
SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order