ATVA 2026
| ATVA 2026 | |
|---|---|
The 24th International Symposium on Automated Technology for Verification and Analysis
| |
| Ordinal | 24 |
| Event in series | ATVA |
| Dates | 2026/10/19 (iCal) - 2026/10/22 |
| Homepage: | https://formal-analysis.com/atva/2026/ |
| Location | |
| Location: | Kuala Lumpur,Malaysia |
| Important dates | |
| Abstracts: | 2026/05/12 |
| Submissions: | 2026/05/19 |
| Notification: | 2026/07/14 |
| Camera ready due: | 2026/08/11 |
| Committees | |
| General chairs: | Jun Sun |
| PC chairs: | Yu-Fang Chen, Akihisa Yamada |
| Table of Contents | |