m (Text replacement - "|State=" to "|Region=") |
(mobo import Concept___Events-migrated) |
||
Line 3: | Line 3: | ||
|Title=16th International Symposium on Automated Technology for Verification and Analysis | |Title=16th International Symposium on Automated Technology for Verification and Analysis | ||
|Type=Conference | |Type=Conference | ||
− | |||
|Homepage=http://atva-conference.org/ | |Homepage=http://atva-conference.org/ | ||
|City=Los Angeles | |City=Los Angeles | ||
|Region=California | |Region=California | ||
|Country=Country:US | |Country=Country:US | ||
− | |||
− | |||
− | |||
|Submitting link=Eas Chair | |Submitting link=Eas Chair | ||
|has program chair=Shuvendu Lahiri, Chao Wang | |has program chair=Shuvendu Lahiri, Chao Wang | ||
Line 27: | Line 23: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Paper Deadline=2018/05/11 | ||
+ | |Notification Deadline=2018/06/27 | ||
+ | |Camera-Ready Deadline=2018/07/27 | ||
+ | |Submission Deadline=2018/05/11 | ||
+ | }} | ||
+ | {{S Event}} |
Revision as of 18:42, 22 September 2022
Deadlines
|
||
Submission |
|
||
Paper |
|
||
Notification |
|
||
Camera-Ready |
Venue
Los Angeles, California, United States of America
Warning: Venue is missing. The map might not show the exact location.