Difference between revisions of "CAV 2017"
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2017 | |Acronym=CAV 2017 | ||
− | |Title= | + | |Title=International Conference on Computer Aided Verification |
+ | |Ordinal=29 | ||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |Type=Conference |
Latest revision as of 16:11, 9 February 2021
CAV 2017 | |
---|---|
International Conference on Computer Aided Verification
| |
Ordinal | 29 |
Event in series | CAV |
Dates | 2017/07/24 (iCal) - 2017/07/28 |
Homepage: | http://cavconference.org/2017/ |
Location | |
Location: | Heidelberg, Germany |
Loading map... | |
Papers: | Submitted 191 / Accepted 50 (26.2 %) |
Table of Contents | |
Facts about "CAV 2017"
Acceptance rate | 26.2 + |
Accepted papers | 50 + |
Acronym | CAV 2017 + |
End date | July 28, 2017 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 49° 24' 34", 8° 41' 41"Latitude: 49.409358333333 Longitude: 8.694725 + |
Has location city | Heidelberg + |
Has location country | Category:Germany + |
Homepage | http://cavconference.org/2017/ + |
IsA | Event + |
Ordinal | 29 + |
Start date | July 24, 2017 + |
Submitted papers | 191 + |
Title | International Conference on Computer Aided Verification + |