m (Text replacement - "Submitting link" to "Submission Link") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=18th International Symposium on Automated Technology for Verification and Analysis | |Title=18th International Symposium on Automated Technology for Verification and Analysis | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=http://fit.uet.vnu.edu.vn/atva2020/ |
|City=Hanoi | |City=Hanoi | ||
|Country=Country:VN | |Country=Country:VN |
Latest revision as of 12:59, 19 October 2022
The document "ATVA 2020" was published on "2022-10-19T12:59:43" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:ATVA 2020.
The document "ATVA 2020" describes an event in the sense of a conference.
The document "ATVA 2020" contains information about the event "ATVA 2020" with start date "2020/10/19" and end date "2020/10/23".
The event "ATVA 2020" is part of the event series identified by [[Event Series:ATVA]]
Deadlines
|
||
Paper |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Venue
Hanoi, Vietnam
Warning: Venue is missing. The map might not show the exact location.