Hệ sinh thái ImpaQ•Dữ liệu Clarivate, Scopus & CORE
Dữ liệu Clarivate WoS 2024 / 2025
IMPAQ
ATVAComputer Science#Software Engineering#SE#CCF-DDL#CONF

International Symposium on Automated Technology for Verification and Analysis

International Symposium on Automated Technology for Verification and Analysis

Kỳ tổ chức mới nhất: ATVA 2026

Bộ Chỉ số & Xếp hạng Học thuật

Phân hạng CORE2026
B
Software engineering
Phân hạng CCFChina CF
CCF C
China Computer Federation
Chỉ số H5-IndexScholar
N/A
Google Scholar Metrics

Mốc Thời gian Nộp bài & Đếm ngược

ATVA 2026 • Hong Kong Sar China(1 – 4 Tháng 12, 2026)

Main Track
(conference)
Hạn chót: 22 thg 5, 2026
ĐÃ HẾT HẠN NỘP
Anywhere on Earth (UTC-12)

Hạn nộp bài của kỳ này đã kết thúc

Vui lòng theo dõi thông báo kết quả hoặc kỳ tổ chức tiếp theo.

Toàn bộ các mốc thời gian
Hạng mục / TrackLoại nộpHạn tóm tắtHạn nộp bàiPhản biện (Rebuttal)Thông báo kết quảBản in cuối (Camera-ready)Thời gian còn lại
Main Track
conference20 thg 5, 202622 thg 5, 2026—Chưa công bốChưa công bố
Đã hết hạn

Bảng Xếp hạng Học thuật Đa nguồn

Đối chiếu phân hạng từ các tổ chức thẩm định uy tín trên thế giới

Hệ thống Xếp hạngCơ quan Thẩm địnhPhân hạngPhiên bản / NămChuyên ngànhÝ nghĩa Phân hạng
CORE RankingComputing Research and Education Association of AustralasiaBNăm 2026Software engineeringGood Conference — Top 35%–40% toàn cầu
CCF RankingChina Computer Federation (CCF)Hạng CCCF 2022 CatalogComputer ScienceHội nghị Quốc tế Quan trọng
TH-CPLĐại học Thanh Hoa (Tsinghua University)N/ATH-CPL ListCS & EngineeringDanh mục khuyến nghị bài báo & hội nghị Thanh Hoa
Qualis CAPESCAPES (Bộ Giáo dục Brazil)N/ASucupira / QualisCiência da ComputaçãoPhân hạng học thuật tiêu chuẩn Nam Mỹ
CCFAcademic AssociationCN/AGeneralInternational prestige ranking
COREAcademic AssociationBN/AGeneralInternational prestige ranking
THCPLAcademic AssociationBN/AGeneralInternational prestige ranking

Lịch sử Các kỳ Tổ chức (Editions Timeline)

Thông tin địa điểm, thời gian và kỷ yếu các kỳ hội nghị đã và sắp diễn ra

16 kỳ tổ chức
2026

ATVA 2026

Sắp diễn ra
Hong Kong Sar, China
1 – 4 Tháng 12, 2026
2025

ATVA 2025

Sắp diễn ra
Bengaluru, India
28 – 30 Tháng 10, 2025
2024

ATVA 2024

Sắp diễn ra
Kyoto, Japan
22 – 24 Tháng 10, 2024
2023

ATVA 2023

Sắp diễn ra
Singapore
25 – 27 Tháng 10, 2023
2022

ATVA 2022

Sắp diễn ra
Beijing, Virtual
26 – 28 Tháng 10, 2022
2021

ATVA 2021

Sắp diễn ra
Gold Coast, Virtual
19 – 22 Tháng 10, 2021
2019

International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Taipei, Taiwan
28 – 31 Tháng 10, 2019
2018

International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Los Angeles, USA
7 – 10 Tháng 10, 2018
2017

15th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Pune, India
3 – 6 Tháng 10, 2017
2016

14th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Chiba, Japan
17 – 19 Tháng 10, 2016
2015

13th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Shanghai, China
12 – 15 Tháng 10, 2015
2014

International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Sydney, Sydney
3 – 7 Tháng 11, 2014
2013

International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Hanoi, Vietnam
15 – 18 Tháng 10, 2013
2012

10th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Thiruvananthapuram (Trivandrum), India
3 – 6 Tháng 10, 2012
2010

8th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Singapore
21 – 24 Tháng 9, 2010
2009

7th International Symposium on Automated Technology for Verification and Analysis

Đã kết thúc
Macao SAR, China
14 – 16 Tháng 10, 2009

Truy cập nguồn học thuật DBLP, Papers With Code và cổng thông tin chính thức