验证和演绎指导研讨会的目的是为早期研究生提供指导和职业建议，吸引他们从事计算机辅助验证和演绎领域的研究职业。讲习班将特别鼓励妇女和代表性不足的少数群体的参与。
研讨会计划将包括一些讲座和互动会议。会谈将概述该领域，并简要介绍CAV、IJCAR和联合逻辑会议 
其他讲座将提供学术界和业界的指导和职业建议。
本指导研讨会将以下两个研讨会结合在一起：
- 第四次验证指导研讨会隶属于CAV。
- IJCAR附属的第一次扣减指导研讨会。
图片
这里是链接下载VDMW图片。
扬声器
暂定议程
09:00第1课时
9:00 Technion的Orna Grumberg，模型检验及其应用
9:45 Natarajan Shankar，SRI国际，“计算和推理”
10:30咖啡
11:00第2课时
11:00 Sharon Shoham，特拉维夫大学，“使用可判定逻辑验证无限状态系统”
11:45 Cristina David，Diffblue，“我应该加入创业公司吗？”
12:30午餐
14:00第3课时
14:00拉里·保尔森（Larry Paulson），剑桥大学，“如何让论文被接受？”
14:30 Tom Melham，牛津大学，“如何参加会议？”
15:00上机：电梯推介
15:30咖啡
16:00第4课时
16:00拜伦·库克，亚马逊，“从失败中学习”
17:00结束
巴迪
除了研讨会，还有一个伙计在整个会议期间，将新学员和经验丰富的学员联系在一起。参加研讨会的学生应该收到一封包含进一步信息的电子邮件。请联系坦尼娅·辛德勒和悉达赫·克里希纳如果你有任何问题。
应用程序
如果您有兴趣参加指导研讨会和/或需要财务支持，请填写以下表格。我们可用于支持学生参加指导研讨会和2018年CAV/IJCAR的资金有限。
申请表
重要日期
CAV会议：2018年7月14日至17日
| 提交申请的截止日期： |
2018年4月13日 |
| 旅费补助通知： |
2018年4月27日 |
| 指导研讨会： |
2018年7月13日 |
组织者
布兰切特阿姆斯特丹Vrije大学
陆锋弗吉尼亚大学
芭芭拉·朱布斯曼EPFL和Cadence设计系统
劳拉·科瓦茨、TU Wien
安德鲁·雷诺兹爱荷华大学