ATVA 2023
| ATVA 2023 | |
|---|---|
The 22nd International Symposium on Automated Technology for Verification and Analysis
| |
| Ordinal | 22 |
| Event in series | ATVA |
| Dates | 2024/10/21 (iCal) - 2024/10/24 |
| Homepage: | https://atva-conference.org/2024/ |
| Location | |
| Location: | Kyoto,Japan |
| Important dates | |
| Submissions: | 2024/04/25 |
| Notification: | 2024/06/26 |
| Camera ready due: | 2024/08/22 |
| Papers: | Submitted 150 / Accepted 30 (20%) |
| Committees | |
| General chairs: | Ichiro Hasuo |
| PC chairs: | S Akshay, Aina Niemetz, Sriram Sankaranarayanan |
| Table of Contents | |