(mobo import Concept___Events-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
|Title=International Conference on Computer Aided Verification | |Title=International Conference on Computer Aided Verification | ||
|Ordinal=30 | |Ordinal=30 | ||
− | | | + | |In Event Series=Event Series:CAV |
− | | | + | |Single Day Event=no |
+ | |Start Date=2018/07/14 | ||
+ | |End Date=2018/07/17 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
|City=Oxford | |City=Oxford | ||
|Country=Country:GB | |Country=Country:GB | ||
− | | | + | |Academic Field=Computer-Aided Verification |
− | | | + | |Official Website=http://cavconference.org/2018/ |
+ | |Type=Conference | ||
+ | |Official Website=http://cavconference.org/2018/ | ||
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3 | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-96145-3 | |has Proceedings DOI=https://doi.org/10.1007/978-3-319-96145-3 | ||
Line 14: | Line 20: | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=215 | ||
+ | |Number Of Accepted Papers=52 | ||
+ | }} | ||
+ | {{S Event}} |
Latest revision as of 14:17, 19 October 2022
Deadlines
Metrics
Submitted Papers
215
Accepted Papers
52
Venue
Oxford, United Kingdom of Great Britain and Northern Ireland
Warning: Venue is missing. The map might not show the exact location.