ITVA 2021 : International Symposium on Automated Technology for Verification and Analysis

in Conferences   Posted on November 3, 2020 

Conference Information

Submission Deadline Friday 23 Apr 2021 Proceedings indexed by :
Conference Dates Oct 18, 2021 - Oct 22, 2021
Conference Address Gold Coast, Australia
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 2.15
#Contributing Top Scientists 18
#Papers published by Top Scientists 25
Google Scholar H5-index 19
Guide2Research Overall Ranking: 447
Category Rankings
Software Engineering & Programming 109

Conference Call for Papers

ATVA 2021 is the 19th 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

Other Conferences in Australia

ASE 2021 : The 36th International Conference on Automated Software Engineering

Deadline :
Fri 16 Apr 2021
Nov 15, 2021 - Nov 19, 2021 - Melbourne

SMC 2021 : IEEE International Conference on Systems, Man, and Cybernetics

Deadline :
Mon 19 Apr 2021
Oct 17, 2021 - Oct 20, 2021 - Melbourne

MLSP 2021 : International Workshop on Machine Learning for Signal Processing

Deadline :
Mon 31 May 2021
Oct 21, 2021 - Oct 28, 2021 - Gold Coast

EDOC 2021 : The Enterprise Computing Conference

Deadline :
Mon 31 May 2021
Sep 25, 2021 - Sep 29, 2021 - Gold Coast