Conference series Beta
International Symposium on Automated Technology for Verification and Analysis
ATVA
- Events
- 3 (2018 to 2020)
- Website
- http://atva-conference.org/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- theory of computation
- Identifier
https://id.confref.org/series/s124q2s
Events (3)
20182020
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2020 | 18th International Symposium on Automated Technology for Verification and Analysis ATVA 2020 | Hanoi | 2020-10-19/23 | |
| 2019 | 17th International Symposium on Automated Technology for Verification and Analysis ATVA 2019 | Taipei | 2019-10-27/31 | |
| 2018 | 16th International Symposium on Automated Technology for Verification and Analysis ATVA 2018 | Los Angeles | 2018-10-07/10 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent |
|---|
Cite
International Symposium on Automated Technology for Verification and Analysis. confref identifier s124q2s. https://id.confref.org/series/s124q2s
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.