ATVA
International Symposium on Automated Technology for Verification and Analysis
Metrics
- CORE rank
- B CORE / ICORE
- CCF rank
- C China Computer Federation
- Editions tracked
- 16
- Running since
- 2009
About ATVA
- Full name
- International Symposium on Automated Technology for Verification and Analysis
- Subfields
- Software Engineering
- Field of research
- Software engineering (FoR 4612)
- Latest edition
- Hong Kong Sar, China, 2026
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- BCORE
SACACM Symposium on Applied Computing
h5-index 95 - BCORE
COMPSACInternational Computer Software and Applications Conference
- BCORE
APLASASIAN Symposium on Programming Languages and Systems
- BCORE
ACNSInternational Conference on Applied Cryptography and Network Security
- BCORE
CCGRIDIEEE International Symposium on Cluster, Cloud and Grid Computing
- BCORE
APBCAsia-Pacific Bioinformatics Conference
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences