Difference between revisions of "Or:CAV 2018"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
 +
|Field=Computer-Aided Verification
 +
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3
 +
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-96145-3
 
|Acronym=CAV 2018
 
|Acronym=CAV 2018
|Title=International Conference on Computer Aided Verification
+
|End date=2018/07/17
 +
|Series =CAV
 +
|Type  =Conference
 +
|Country=GB
 +
|State  =GB/ENG
 +
|City  =GB/ENG/Oxford
 +
|Homepage=http://cavconference.org/2018/
 
|Ordinal=30
 
|Ordinal=30
|Series=CAV
 
|Type=Conference
 
|Field=Computer-Aided Verification
 
 
|Start date=2018/07/14
 
|Start date=2018/07/14
|End date=2018/07/17
+
|Title  =International Conference on Computer Aided Verification
|Homepage=http://cavconference.org/2018/
 
|City=Oxford
 
|Country=United Kingdom
 
|Submitted papers=215
 
 
|Accepted papers=52
 
|Accepted papers=52
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-96145-3
+
|Submitted papers=215}}
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-96145-3
 
|State=GB/ENG}}
 

Revision as of 21:27, 3 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at Or:CAV 2018/rating

Or: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: GB/ENG/Oxford, GB/ENG, GB
Loading map...

Papers: Submitted 215 / Accepted 52 (24.2 %)
Table of Contents