m (Text replacement - "[^=]User:Curator 83" to "Ch") |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(6 intermediate revisions by the same user not shown) | |||
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 | ||
− | | | + | |Official Website=http://atva-conference.org/ |
− | |||
|City=Los Angeles | |City=Los Angeles | ||
− | | | + | |Region=California |
− | |Country= | + | |Country=Country:US |
− | + | |Submission Link=Eas Chair | |
− | + | |has program chair=Shuvendu Lahiri, Chao Wang | |
− | |||
− | | | ||
− | |has program chair=Shuvendu Lahiri,Chao Wang | ||
|Has PC member=Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny | |Has PC member=Aws Albarghouthi, Cyrille Artho, Gogul Balakrishnan, Roderick Bloem, Tevfik Bultan, Pavol Cerny | ||
− | |||
− | |||
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-01090-4 | |has Proceedings DOI=https://doi.org/10.1007/978-3-030-01090-4 | ||
|pageCreator=User:Curator 73 | |pageCreator=User:Curator 73 | ||
Line 24: | Line 18: | ||
|Start Date=2018/10/07 | |Start Date=2018/10/07 | ||
|End Date=2018/10/10 | |End Date=2018/10/10 | ||
+ | |Event Status=as scheduled | ||
+ | |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 | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=82 | ||
+ | |Number Of Accepted Papers=27 | ||
+ | }} | ||
+ | {{S Event}} |
Latest revision as of 12:59, 19 October 2022
Deadlines
|
||
Submission |
|
||
Paper |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Submitted Papers
82
Accepted Papers
27
Venue
Los Angeles, California, United States of America
Warning: Venue is missing. The map might not show the exact location.