m (Text replacement - "|State=" to "|Region=") |
Curator 75 (talk | contribs) |
||
| Line 3: | Line 3: | ||
|Title=Computer Aided Verification | |Title=Computer Aided Verification | ||
|Ordinal=28 | |Ordinal=28 | ||
| − | | | + | |In Event Series=Event Series:CAV |
| − | | | + | |Single Day Event=no |
| + | |Start Date=2016/07/17 | ||
| + | |End Date=2016/07/23 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
|City=Toronto | |City=Toronto | ||
|Region=Ontario | |Region=Ontario | ||
|Country=Country:CA | |Country=Country:CA | ||
| + | |Academic Field=Computer-Aided Verification | ||
| + | |Official Website=http://i-cav.org/2016 | ||
| + | |Type=Conference | ||
| + | |Homepage=http://i-cav.org/2016/ | ||
|Submitted papers=165 | |Submitted papers=165 | ||
|Accepted papers=46 | |Accepted papers=46 | ||
| Line 14: | Line 22: | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
