Difference between revisions of "Event:ATVA 2020"

From ConfIDent
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
|Homepage=http://fit.uet.vnu.edu.vn/atva2020/
+
|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
2020-06-05
2020-05-03
2020-07-05
2020-05-03
3
May
2020
Paper
3
May
2020
Submission
5
Jun
2020
Notification
5
Jul
2020
Camera-Ready
Venue

Hanoi, Vietnam

Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.