Openresearch:CAV 2018

From Openresearch
Revision as of 11:08, 15 March 2019 by Tolga.karaarslan (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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 +