B
ATVA
International Symposium on Automated Technology for Verification and AnalysisQuick take: Established international conference with solid peer-review standards.Recent acceptance rate: 35.59% (2025).
35.59%
acceptance (2025)
21
papers accepted (2025)
59
submissions (2025)
⏰
2026 Submission Deadline
AoE timezone
Deadline Passed
Paper SubmissionMay 22, 2026, 11:59 AM2026-05-21 23:59 (AOE)
Abstract RegistrationMay 20, 2026, 11:59 AMMandatory prior to paper submission
Conference Dates & LocationDecember 1-4, 2026Hong Kong SAR, China
Acceptance-rate trend
Data: lixin4ever/Conference-Acceptance-RatePapers per year
Rank history (CORE → ICORE)
A* Flagship · A Premier · B Established · C RecognizedYear-by-year detail
| Year | Submitted | Accepted | Rate | Tiers | Location |
|---|---|---|---|---|---|
| 2025 | 59 | 21 | 35.59% | — | |
| 2024 | 73 | 24 | 32.88% | — | |
| 2023 | 115 | 37 | 32.17% | — | |
| 2022 | 81 | 26 | 32.1% | — | |
| 2021 | 75 | 23 | 30.67% | — |