ПредстоящаяCCF CCORE B
ATVA
International Symposium on Automated Technology for Verification and Analysis
Даты
01.12.2026 – 04.12.2026
Место проведения
Hong Kong
Китай
Подробная информация
- Научная область
- Компьютерные науки
- Направление
- Software Engineering
- Страна
- Китай
- Рейтинг CCF
- C
- Рейтинг CORE
- B
- Престиж
- Высокопрестижная
Контактная информация
- Официальный сайт
- conf.researchr.org/track/aplas-atva-2026/atva-2026
International Symposium on Automated Technology for Verification and Analysis (ATVA) — международная научная конференция в области Компьютерные науки.
Рейтинг CORE: B — хорошее качество, признана на национальном уровне. Рейтинг CCF: C — обычная конференция.
Издание 2026 года проходит в г. Hong Kong, Китай.
Похожие конференции
18th International Conference on Security of Information and Networks
SINCONF 2026Турция14.10.2026
International Conference on Machine Vision
ICMVCORE CВенгрия15.10.2026
International Conference on Intelligent Infrastructure and Smart Technologies
ICIST-2026Узбекистан16.10.2026
The 8th World Symposium on Software Engineering
ACM WSSEЯпония16.10.2026
CAAI International Conference on Artificial Intelligence
CICAIКитай17.10.2026
Digital Forensic Research Workshop Asia Pacific
DFRWS APACCCF CСингапур19.10.2026