CAV 2018,英国牛津
第30届计算机辅助验证国际会议//2018年7月14日至17日
菜单
跳到内容
关于
组织
程序
受邀演讲人和教程
研讨会
辅导
CAV奖
会议地点
文件征集
接受的论文
人工产品
工件提交
工件评估
程序
会议地点
由于2018年CAV是
联合逻辑会议
,可以找到本地信息
在这里
。有关住宿的信息,请访问
FLoC网页
。牛津大学夏季非常繁忙,因此请务必尽早预订,以免失望!