Difference between revisions of "CAV 2017"

From Openresearch
Jump to: navigation, search
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=CAV 2017
 
|Acronym=CAV 2017
−
|Title=29th International Conference on Computer Aided Verification
+
|Title=International Conference on Computer Aided Verification
 +
|Ordinal=29
 
|Series=CAV
 
|Series=CAV
 
|Type=Conference
 
|Type=Conference
Line 10: Line 11:
 
|City=Heidelberg
 
|City=Heidelberg
 
|Country=Germany
 
|Country=Germany
 +
|Submitted papers=191
 +
|Accepted papers=50
 +
|has Proceedings Link=Part 1:https://link.springer.com/book/10.1007%2F978-3-319-63387-9, Part 2: https://link.springer.com/book/10.1007%2F978-3-319-63390-9
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-63387-9
 
}}
 
}}

Latest revision as of 16:11, 9 February 2021

CAV 2017
International Conference on Computer Aided Verification
Ordinal 29
Event in series CAV
Dates 2017/07/24 (iCal) - 2017/07/28
Homepage: http://cavconference.org/2017/
Location
Location: Heidelberg, Germany
Loading map...

Papers: Submitted 191 / Accepted 50 (26.2 %)
Table of Contents


The following coordinate was not recognized: Geocoding failed.
The following coordinate was not recognized: Geocoding failed.


Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=CAV_2017&oldid=229491"
Facts about "CAV 2017"
RDF feed
Acceptance rate26.2 +
Accepted papers50 +
AcronymCAV 2017 +
End dateJuly 28, 2017 +
Event in seriesCAV +
Event typeConference +
Has location cityHeidelberg +
Has location countryCategory:Germany +
Homepagehttp://cavconference.org/2017/ +
IsAEvent +
Ordinal29 +
Start dateJuly 24, 2017 +
Submitted papers191 +
TitleInternational Conference on Computer Aided Verification +