m (Text replacement - "|State=" to "|Region=") |
Curator 75 (talk | contribs) |
||
Line 3: | Line 3: | ||
|Title=Computer Aided Verification | |Title=Computer Aided Verification | ||
|Ordinal=18 | |Ordinal=18 | ||
− | | | + | |In Event Series=Event Series:CAV |
− | | | + | |Single Day Event=no |
+ | |Start Date=2006/08/17 | ||
+ | |End Date=2006/08/20 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
|City=Seattle | |City=Seattle | ||
|Region=Washington | |Region=Washington | ||
|Country=Country:US | |Country=Country:US | ||
+ | |Academic Field=Computer-Aided Verification | ||
+ | |Official Website=http://www.easychair.org/FLoC-06/CAV.html | ||
+ | |Type=Conference | ||
+ | |Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html | ||
|Submitted papers=121 | |Submitted papers=121 | ||
|Accepted papers=35 | |Accepted papers=35 | ||
Line 14: | Line 22: | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} |