Difference between revisions of "Openresearch:CAV 2018"

From Openresearch
Jump to: navigation, search
 
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=CAV 2018
 
|Acronym=CAV 2018
|Title=30th International Conference on Computer Aided Verification
+
|Title=International Conference on Computer Aided Verification
 +
|Ordinal=30
 
|Series=CAV
 
|Series=CAV
 
|Type=Conference
 
|Type=Conference

Latest revision as of 16:12, 9 February 2021

CAV 2018
International Conference on Computer Aided Verification
Ordinal 30
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"
AcronymCAV 2018 +
End dateJuly 17, 2018 +
Event in seriesCAV +
Event typeConference +
Has coordinates51° 45' 7", -1° 15' 28"Latitude: 51.752013888889
Longitude: -1.25785
+
Has location cityOxford +
Has location countryCategory:United Kingdom +
Homepagehttp://cavconference.org/2018/ +
IsAEvent +
Start dateJuly 14, 2018 +
TitleInternational conference on computer-aided verification +