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

Latest revision as of 04:22, 6 December 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