ATVA 2021
| ATVA 2021 | |
|---|---|
The 19th International Symposium on Automated Technology for Verification and Analysis
| |
| Ordinal | 19 |
| Event in series | ATVA |
| Dates | 2021/10/18 (iCal) - 2021/10/22 |
| Location | |
| Location: | Gold Coast,Australia |
| Important dates | |
| Abstracts: | 2021/04/26 |
| Submissions: | 2021/04/26 |
| Notification: | 2021/06/04 |
| Camera ready due: | 2021/07/04 |
| Papers: | Submitted 61 / Accepted 18 (29.5%) |
| Committees | |
| General chairs: | Jin Song Dong; Jing Sun |
| PC chairs: | Zhe Hou; Vijay Ganesh |
| Table of Contents | |
Sources
https://formal-analysis.com/atva/2021/