Difference between revisions of "CAV 2006"

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://www.springer.com/gp/book/9783540374060
 
|Acronym=CAV 2006
 
|Acronym=CAV 2006
|Title=Computer Aided Verification
+
|End date=2006/08/20
 +
|Series=CAV
 +
|Type =Conference
 +
|Country=US
 +
|State=US/WA
 +
|City =US/WA/Seattle
 +
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html
 
|Ordinal=18
 
|Ordinal=18
|Series=CAV
 
|Type=Conference
 
|Field=Computer-Aided Verification
 
 
|Start date=2006/08/17
 
|Start date=2006/08/17
|End date=2006/08/20
+
|Title=Computer Aided Verification
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html
+
|Accepted papers=35
|City=Seattle
 
|State=Washington
 
|Country=USA
 
 
|Submitted papers=121
 
|Submitted papers=121
|Accepted papers=35
 
|has Proceedings Link=https://www.springer.com/gp/book/9783540374060
 
 
}}
 
}}

Revision as of 21:14, 3 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CAV 2006/rating

CAV 2006
Computer Aided Verification
Ordinal 18
Event in series CAV
Dates 2006/08/17 (iCal) - 2006/08/20
Homepage: http://dblp.uni-trier.de/db/conf/cav/cav2006.html
Location
Location: US/WA/Seattle, US/WA, US
Loading map...

Papers: Submitted 121 / Accepted 35 (28.9 %)
Table of Contents