Difference between revisions of "CAV 2019"
(Created page with "{{Event |Acronym=CAV 2019 |Title=31st International Conference on Computer-Aided Verification |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2019/...") |
|||
(6 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2019 | |Acronym=CAV 2019 | ||
− | |Title= | + | |Title=International Conference on Computer-Aided Verification |
+ | |Ordinal=31 | ||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |Type=Conference | ||
Line 9: | Line 10: | ||
|Homepage=http://i-cav.org/2019/ | |Homepage=http://i-cav.org/2019/ | ||
|City=New York City | |City=New York City | ||
− | |Country= | + | |Country=USA |
+ | |Submitted papers=258 | ||
+ | |Accepted papers=65 | ||
+ | |has Proceedings DOI=https://doi.org/10.1007/978-3-030-25540-4 | ||
}} | }} |
Latest revision as of 16:12, 9 February 2021
CAV 2019 | |
---|---|
International Conference on Computer-Aided Verification
| |
Ordinal | 31 |
Event in series | CAV |
Dates | 2019/07/15 (iCal) - 2019/07/18 |
Homepage: | http://i-cav.org/2019/ |
Location | |
Location: | New York City, USA |
Loading map... | |
Papers: | Submitted 258 / Accepted 65 (25.2 %) |
Table of Contents | |
Facts about "CAV 2019"
Acceptance rate | 25.2 + |
Accepted papers | 65 + |
Acronym | CAV 2019 + |
End date | July 18, 2019 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 40° 42' 46", -74° 0' 22"Latitude: 40.712727777778 Longitude: -74.006013888889 + |
Has location city | New York City + |
Has location country | Category:USA + |
Homepage | http://i-cav.org/2019/ + |
IsA | Event + |
Ordinal | 31 + |
Start date | July 15, 2019 + |
Submitted papers | 258 + |
Title | International Conference on Computer-Aided Verification + |