m (Text replacement - "[^=]User:Curator 83" to "Ch") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(4 intermediate revisions by the same user not shown) | |||
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=Country:VN |
− | | | + | |Submission Link=Eas Chair |
− | |||
− | |||
− | |||
|has general chair=Pham Bao Son | |has general chair=Pham Bao Son | ||
|has program chair=Dang Van Hung, Oleg Sokolsky | |has program chair=Dang Van Hung, Oleg Sokolsky | ||
− | |Has PC member=Dang Van Hung, Oleg Sokolsky, Mohamed Faouzi Atig, Ondrej Lengal,Christel Baier, Orna Kupferman | + | |Has PC member=Dang Van Hung, Oleg Sokolsky, Mohamed Faouzi Atig, Ondrej Lengal, Christel Baier, Orna Kupferman |
|pageCreator=User:Curator 89 | |pageCreator=User:Curator 89 | ||
|pageEditor=User:Curator 73 | |pageEditor=User:Curator 73 | ||
Line 21: | Line 17: | ||
|Start Date=2020/10/19 | |Start Date=2020/10/19 | ||
|End Date=2020/10/23 | |End Date=2020/10/23 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Paper Deadline=2020/05/03 | ||
+ | |Notification Deadline=2020/06/05 | ||
+ | |Camera-Ready Deadline=2020/07/05 | ||
+ | |Submission Deadline=2020/05/03 | ||
+ | }} | ||
+ | {{S Event}} |
Latest revision as of 12:59, 19 October 2022
Deadlines
|
||
Paper |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Venue
Hanoi, Vietnam
Warning: Venue is missing. The map might not show the exact location.