Difference between revisions of "Openresearch:CAV 2018"
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2018 | |Acronym=CAV 2018 | ||
− | |Title= | + | |Title=International Conference on Computer Aided Verification |
+ | |Ordinal=30 | ||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |Type=Conference |
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 + |