Difference between revisions of "Openresearch:CAV 2018"
(Created page with "{{Event |Acronym=CAV 2018 |Title=International conference on computer-aided verification |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018/07/14...") |
|||
(2 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2018 | |Acronym=CAV 2018 | ||
− | |Title=International | + | |Title=International Conference on Computer Aided Verification |
+ | |Ordinal=30 | ||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |Type=Conference | ||
Line 10: | Line 11: | ||
|City=Oxford | |City=Oxford | ||
|Country=United Kingdom | |Country=United Kingdom | ||
+ | |Submitted papers=215 | ||
+ | |Accepted papers=52 | ||
+ | |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 | ||
}} | }} |
Latest revision as of 16:12, 9 February 2021
CAV 2018 | |
---|---|
International Conference on Computer Aided Verification
| |
Ordinal | 30 |
Event in series | CAV |
Dates | 2018/07/14 (iCal) - 2018/07/17 |
Homepage: | http://cavconference.org/2018/ |
Location | |
Location: | Oxford, United Kingdom |
Loading map... | |
Papers: | Submitted 215 / Accepted 52 (24.2 %) |
Table of Contents | |
Facts about "CAV 2018"
Acceptance rate | 24.2 + |
Accepted papers | 52 + |
Acronym | CAV 2018 + |
End date | July 17, 2018 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 51° 45' 7", -1° 15' 28"Latitude: 51.752013888889 Longitude: -1.25785 + |
Has location city | Oxford + |
Has location country | Category:United Kingdom + |
Homepage | http://cavconference.org/2018/ + |
IsA | Event + |
Ordinal | 30 + |
Start date | July 14, 2018 + |
Submitted papers | 215 + |
Title | International Conference on Computer Aided Verification + |