Openresearch:CAV 2018
Revision as of 11:29, 15 March 2019 by Tolga.karaarslan (talk | contribs)
CAV 2018 | |
---|---|
30th International Conference on Computer Aided Verification
| |
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 + |
Start date | July 14, 2018 + |
Submitted papers | 215 + |
Title | 30th International Conference on Computer Aided Verification + |