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

in Conferences   Posted on November 3, 2020 

Conference Information

Submission Deadline Friday 09 Apr 2021 Proceedings indexed by :
Conference Dates Oct 18, 2021 - Oct 22, 2021
Conference Address Gold Coast, Australia
Conference & Submission Link https://formal-analysis.com/atva/2021/
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
Proceedings https://link.springer.com/conference/atva

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

ICFEC 2021 : 5TH IEEE INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING

Deadline :
Sun 24 Jan 2021
May 10, 2021 - May 13, 2021 - Melbourne
Australia

ISIT 2021 : IEEE International Symposium on Information Theory

Deadline :
Wed 27 Jan 2021
Jul 11, 2021 - Jul 16, 2021 - Melbourne
Australia

ACISP 2021 : Australasian Conference on Information Security and Privacy

Deadline :
Mon 15 Feb 2021
Jul 7, 2021 - Jul 9, 2021 - Perth
Australia

BPMDS 2021 : Business Process Modeling, Development, and Support

Deadline :
Fri 19 Mar 2021
Jun 28, 2021 - Jun 29, 2021 - Melbourne
Australia

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

Deadline :
Mon 05 Apr 2021
Oct 17, 2021 - Oct 20, 2021 - Melbourne
Australia