第十五届国际会议
验证、模型检查和抽象解释（VMCAI）
2014年1月19日至21日，美国圣地亚哥，
与2014年POPL
VMCAI为社区研究人员提供了一个论坛验证、模型检查和抽象解释，促进互动、交叉受精和进步将这些和相关领域结合起来的混合方法。
VMCAI’14项目将包括参考研究论文和工具演示，以及受邀讲座和教程。研究贡献可以报告新的结果以及现有技术的实验评估和比较。主题包括但不限于：
- 程序验证
- 模型检查
- 抽象解释
- 抽象域
- 程序综合
- 静态分析
- 类型系统
- 演绎法
- 程序认证
- 错误诊断
- 程序转换
- 混合和网络物理系统
提交可以解决任何编程范式，包括并发、约束、功能、命令、逻辑和面向对象编程。
论文必须描述原著、写作和呈现以英语书写，并且不得与已经出版或同时提交给期刊或有裁判程序的会议。论文集由Springer-Verlag在计算机科学系列讲座笔记。
| 摘要提交 |
延期：2013年9月11日
（2013年9月6日）
|
| 论文投稿 |
延期：2013年9月18日（UTC-12，萨摩亚时间）
（2013年9月13日）
|
| 通知 |
2013年10月25日 |
| 相机就绪截止日期 |
2013年11月15日 |
| 会议 |
2014年1月19日至21日（就在前面2014年POPL)
|
VMCAI 2014年会议记录将于施普林格计算机科学系列讲座笔记。提交的页数限制为：
施普林格LNCS格式的18页。
其他材料可以放在附录中，在审核人员的自由裁量权，并在最终版本中省略。格式化样式文件和进一步的格式指南可以在找到施普林格.偏离这些指南的提交可能会被拒绝。请按照所述规则准备提交文件。
请按照规则准备提交文件如上所述并通过提交https://www.easychair.org/conferences/？conf=vmcai2014.
程序委员会主席
项目委员会
- 克里斯特尔·拜尔,德国德累斯顿理工大学
- 阿戈斯蒂诺·科尔特斯,意大利威尼斯卡福斯卡里大学
- 杰罗姆·费雷特,CNRS、ENS和INRIA，法国
- 亚历克谢·戈茨曼,西班牙IMDEA软件研究所
- 阿尔蒂·古普塔,美国NEC实验室
- 艾伦·J·胡,加拿大不列颠哥伦比亚大学
- 劳拉·科瓦茨,瑞典查尔默斯理工大学
- 丹尼尔·克罗宁,英国牛津大学
- 马克·马龙,MSR，美国
- 伊莎贝拉·马斯特罗尼,意大利维罗纳大学
- 肯尼思·麦克米兰,（MSR、美国和Co-Chair）
- 马修·米特,美国犹他大学
- 大卫·莫尼奥,CNRS&法国格勒诺布尔大学
- 凯达尔·纳姆乔什,美国贝尔实验室
- 彼得·奥赫恩,英国脸书
- 鲁齐卡·皮斯卡,美国耶鲁大学
- 西尔维·普托,法国CEA
- Xavier对手, （法国巴黎CNRS&ENS&INRIA&Co-Chair）
- 菲利普·吕默,瑞典乌普萨拉大学
- 斯里拉姆·桑卡拉纳拉亚南,美国科罗拉多大学博尔德分校
- 塔奇·特劳奇,日本名古屋大学
- 泰西尔·图利,法国巴黎第七大学
- 埃兰·雅哈,以色列Technion
宣传主席
有关当地组织的问题，请联系大卫施密特.
会议记录发表在LNCS系列中斯普林格出版社，第8318卷。程序可用在这里.注册网站已打开，在POPL的网页上：点击在这里访问注册站点.我们可能能够为美国提供一些有限的旅行资金基于学生旅行（此时，请求仍然是待定）。但请注意，VMCAI不是由SIGPLAN赞助的，也不是有资格获得PAC资金。