학회 시리즈
ATVA: International Symposium on Automated Technology for Verification and Analysis
Conference Partner에 수록된 이 학회의 역대 개최 정보(최신순)입니다.
| 연도 | 개최일 | 개최지 | 투고 마감일 | 통보일 |
|---|---|---|---|---|
| 2026 이번 회차 | 2026-12-01 | Hong Kong, China | 2026-05-19 | 2026-07-23 |
| 2025 | 2025-10-27 | Bengaluru, India | 2025-04-25 | 2025-07-04 |