(mobo import Concept___Events-migrated) |
(mobo import Concept___Events-migrated) |
||
| 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/ | |Homepage=http://fit.uet.vnu.edu.vn/atva2020/ | ||
|City=Hanoi | |City=Hanoi | ||
|Country=Country:VN | |Country=Country:VN | ||
| − | |||
| − | |||
| − | |||
|Submitting link=Eas Chair | |Submitting link=Eas Chair | ||
|has general chair=Pham Bao Son | |has general chair=Pham Bao Son | ||
| Line 24: | Line 20: | ||
|Event Mode=on site | |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}} | ||
Revision as of 18:42, 22 September 2022
Deadlines
|
||
| Paper |
|
||
| Submission |
|
||
| Notification |
|
||
| Camera-Ready |
Venue
Hanoi, Vietnam
Warning: Venue is missing. The map might not show the exact location.
