Difference between revisions of "Openresearch:CAV 2018"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=CAV 2018 |Title=International conference on computer-aided verification |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2018/07/14...")
 
m (Tolga.karaarslan moved page CAV 2018 to OpenResearch:CAV 2018)
(No difference)

Revision as of 11:10, 15 March 2019

CAV 2018
International conference on computer-aided verification
Event in series CAV
Dates 2018/07/14 (iCal) - 2018/07/17
Homepage: http://cavconference.org/2018/
Location
Location: Oxford, United Kingdom
Loading map...

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 +