BoʻlajakCCF CCORE B
ATVA
International Symposium on Automated Technology for Verification and Analysis
Sanalar
01.12.2026 – 04.12.2026
Oʻtkaziladigan joy
Hong Kong
Xitoy
Batafsil maʼlumot
- Fan sohasi
- Kompyuter fanlari
- Yoʻnalish
- Software Engineering
- Davlat
- Xitoy
- CCF reytingi
- C
- CORE reytingi
- B
- Nufuz
- Yuqori nufuzli
Aloqa maʼlumotlari
International Symposium on Automated Technology for Verification and Analysis (ATVA) — Kompyuter fanlari sohasidagi xalqaro ilmiy konferensiya.
CORE reytingi: B — yaxshi sifat, milliy darajada tan olingan. CCF reytingi: C — oddiy konferensiya.
2026 yilgi nashri Hong Kong, Xitoyda boʻlib oʻtadi.
Oʻxshash konferensiyalar
18th International Conference on Security of Information and Networks
SINCONF 2026Turkiya14.10.2026
International Conference on Machine Vision
ICMVCORE CVengriya15.10.2026
International Conference on Intelligent Infrastructure and Smart Technologies
ICIST-2026Oʻzbekiston16.10.2026
The 8th World Symposium on Software Engineering
ACM WSSEYaponiya16.10.2026
CAAI International Conference on Artificial Intelligence
CICAIXitoy17.10.2026
Digital Forensic Research Workshop Asia Pacific
DFRWS APACCCF CSingapur19.10.2026