(mobo import Concept___Events-migrated) |
Curator 75 (talk | contribs) |
||
| Line 3: | Line 3: | ||
|Title=Computer Aided Verification | |Title=Computer Aided Verification | ||
|Ordinal=10 | |Ordinal=10 | ||
| + | |In Event Series=Event Series:CAV | ||
| + | |Single Day Event=no | ||
| + | |Start Date=1998/06/28 | ||
| + | |End Date=1998/07/02 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |City=Vancouver | ||
| + | |Country=Country:CA | ||
| + | |Academic Field=Computer-Aided Verification | ||
| + | |Official Website=https://www.cs.ubc.ca/~ajh/cav98.html | ||
|Type=Conference | |Type=Conference | ||
|Homepage=http://www.cs.ubc.ca/~ajh/cav98.html | |Homepage=http://www.cs.ubc.ca/~ajh/cav98.html | ||
| − | |||
| − | |||
|Submitted papers=117 | |Submitted papers=117 | ||
|Accepted papers=33 | |Accepted papers=33 | ||
| Line 13: | Line 21: | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
