Difference between revisions of "CAV 2019"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=CAV 2019 |Title=31st International Conference on Computer-Aided Verification |Series=CAV |Type=Conference |Field=Computer-Aided Verification |Start date=2019/...")
 
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=CAV 2019
 
|Acronym=CAV 2019
|Title=31st International Conference on Computer-Aided Verification
+
|Title=International Conference on Computer-Aided Verification
 +
|Ordinal=31
 
|Series=CAV
 
|Series=CAV
 
|Type=Conference
 
|Type=Conference
Line 9: Line 10:
 
|Homepage=http://i-cav.org/2019/
 
|Homepage=http://i-cav.org/2019/
 
|City=New York City
 
|City=New York City
|Country=United States of America
+
|Country=USA
 +
|Submitted papers=258
 +
|Accepted papers=65
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-030-25540-4
 
}}
 
}}

Latest revision as of 16:12, 9 February 2021

CAV 2019
International Conference on Computer-Aided Verification
Ordinal 31
Event in series CAV
Dates 2019/07/15 (iCal) - 2019/07/18
Homepage: http://i-cav.org/2019/
Location
Location: New York City, USA
Loading map...

Papers: Submitted 258 / Accepted 65 (25.2 %)
Table of Contents


Facts about "CAV 2019"
Acceptance rate25.2 +
Accepted papers65 +
AcronymCAV 2019 +
End dateJuly 18, 2019 +
Event in seriesCAV +
Event typeConference +
Has coordinates40° 42' 46", -74° 0' 22"Latitude: 40.712727777778
Longitude: -74.006013888889
+
Has location cityNew York City +
Has location countryCategory:USA +
Homepagehttp://i-cav.org/2019/ +
IsAEvent +
Ordinal31 +
Start dateJuly 15, 2019 +
Submitted papers258 +
TitleInternational Conference on Computer-Aided Verification +