CAV 2013
CAV 2013 | |
---|---|
Computer Aided Verification
| |
Ordinal | 25 |
Event in series | CAV |
Dates | 2013/07/13 (iCal) - 2013/07/19 |
Homepage: | http://cav2013.forsyte.at/ |
Location | |
Location: | Saint Petersburg, Russia |
Loading map... | |
Papers: | Submitted 209 / Accepted 71 (34 %) |
Table of Contents | |
Facts about "CAV 2013"
Acceptance rate | 34.0 + |
Accepted papers | 71 + |
Acronym | CAV 2013 + |
End date | July 19, 2013 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 59° 57' 38", 30° 9' 31"Latitude: 59.960675 Longitude: 30.158655555556 + |
Has location city | Saint Petersburg + |
Has location country | Category:Russia + |
Homepage | http://cav2013.forsyte.at/ + |
IsA | Event + |
Ordinal | 25 + |
Start date | July 13, 2013 + |
Submitted papers | 209 + |
Title | Computer Aided Verification + |