CAV 2013

From Openresearch
Jump to: navigation, search
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 rate34.0 +
Accepted papers71 +
AcronymCAV 2013 +
End dateJuly 19, 2013 +
Event in seriesCAV +
Event typeConference +
Has coordinates59° 56' 19", 30° 18' 58"Latitude: 59.938733333333
Longitude: 30.316227777778
+
Has location citySaint Petersburg +
Has location countryCategory:Russia +
Homepagehttp://cav2013.forsyte.at/ +
IsAEvent +
Ordinal25 +
Start dateJuly 13, 2013 +
Submitted papers209 +
TitleComputer Aided Verification +