# ATVA — International Symposium on Automated Technology for Verification and Analysis

- **Submission deadline**: 2026-05-19
- **Notification date**: 2026-07-23
- **Conference date**: 2026-12-01
- **Location**: Hong Kong, China
- **Rankings**: CCF C · CORE B · QUALIS B1
- **Conference Partner Index**: 77.1/100 (ranked #229, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 43
- **Attendees**: 13
- **Canonical page**: https://www.myhuiban.com/conference/399

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2007 | 88 | 36 | 40.9% |
| 2006 | 137 | 35 | 25.5% |
| 2005 | 95 | 33 | 34.7% |
| 2004 | 69 | 24 | 34.8% |

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2025 | 2025-04-25 | 2025-10-27 | Bengaluru, India |

## Call for papers

ATVA 2026 is the 24th 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 (non-exclusive) list of topics: Formalisms for modeling hardware, software, and embedded systems Specification and verification of finite-state, infinite-state and parameterized systems Program analysis and software verification Analysis and verification of hardware circuits, systems-on-chip, and embedded systems Analysis of real-time, probabilistic, quantum, hybrid, priced, and weighted 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 of verification Automated tool support for verification Testing and verification of neural networks Testing and verification of autonomous systems

## Related conferences

- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318
- IJCNN — International Joint Conference on Neural Networks — https://www.myhuiban.com/conference/428
- TrustCom — International Conference on Trust, Security and Privacy in Computing and Communications — https://www.myhuiban.com/conference/1289
- ICONIP — International Conference on Neural Information Processing — https://www.myhuiban.com/conference/437
- HPCC — International Conference on High Performance  Computing and  Communications — https://www.myhuiban.com/conference/232

## Related journals

- Journal of Automated Reasoning — https://www.myhuiban.com/journal/192
- Software Testing Verification and Reliability — https://www.myhuiban.com/journal/835
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36
- Neurocomputing — https://www.myhuiban.com/journal/234

---
Source: Conference Partner — https://www.myhuiban.com/conference/399 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)