ATVA 2025
| ATVA 2025 | |
|---|---|
The 23rd International Symposium on Automated Technology for Verification and Analysis
| |
| Ordinal | 23 |
| Event in series | ATVA |
| Dates | 2025/10/27 (iCal) - 2025/10/31 |
| Homepage: | https://conf.researchr.org/home/atva-2025 |
| Location | |
| Location: | Bengaluru,India |
| Important dates | |
| Abstracts: | 2025/04/25 |
| Submissions: | 2025/04/25 |
| Notification: | 2025/07/04 |
| Camera ready due: | 2025/08/07 |
| Papers: | Submitted 59 / Accepted 21 (35.6%) |
| Committees | |
| General chairs: | Deepak D'Souza |
| PC chairs: | Meenakshi D'Souza, Raghavan Komondoor |
| Table of Contents | |