ITVA 2021 : International Symposium on Automated Technology for Verification and Analysis
in Conferences Posted on November 3, 2020Conference 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 Ranking & Metrics (This is a TOP Conference)
|
|
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
|
![]() |
![]() |
ISIT 2021 : IEEE International Symposium on Information Theory |
Deadline : Wed 27 Jan 2021 |
|
Jul 11, 2021 - Jul 16, 2021 - Melbourne
|
![]() |
![]() |
ACISP 2021 : Australasian Conference on Information Security and Privacy |
Deadline : Mon 15 Feb 2021 |
|
Jul 7, 2021 - Jul 9, 2021 - Perth
|
![]() |
![]() |
BPMDS 2021 : Business Process Modeling, Development, and Support |
Deadline : Fri 19 Mar 2021 |
|
Jun 28, 2021 - Jun 29, 2021 - Melbourne
|
![]() |
![]() |
SMC 2021 : IEEE International Conference on Systems, Man, and Cybernetics |
Deadline : Mon 05 Apr 2021 |
|
Oct 17, 2021 - Oct 20, 2021 - Melbourne
|
![]() |