(mobo import Concept___Events-migrated) |
Curator 75 (talk | contribs) |
||
Line 3: | Line 3: | ||
|Title=International Conference on Computer Aided Verification | |Title=International Conference on Computer Aided Verification | ||
|Ordinal=30 | |Ordinal=30 | ||
+ | |In Event Series=Event Series:CAV | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2018/07/14 | ||
+ | |End Date=2018/07/17 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |City=Oxford | ||
+ | |Country=Country:GB | ||
+ | |Academic Field=Computer-Aided Verification | ||
+ | |Official Website=http://cavconference.org/2018/ | ||
|Type=Conference | |Type=Conference | ||
|Homepage=http://cavconference.org/2018/ | |Homepage=http://cavconference.org/2018/ | ||
− | |||
− | |||
|Submitted papers=215 | |Submitted papers=215 | ||
|Accepted papers=52 | |Accepted papers=52 | ||
Line 14: | Line 22: | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} |