征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

The program of VMCAI 2016 will consist of refereed research papers as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.

征稿信息

重要日期

2016-09-21
初稿截稿日期

征稿范围

Topics include, but are not limited to:

*Program Verification

*Model Checking

*Abstract Interpretation

*Abstract Domains

*Program Synthesis

*Static Analysis

*Type Systems

*Deductive Methods

*Program Certification

*Error Diagnosis

*Program Transformation

*Hybrid and Cyber-physical Systems

作者指南

Submissions are restricted to 17 pages in Springer’s LNCS format, not counting references. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website.

Submissions must be uploaded via the paper submission site.

Accepted papers will be published in Springer’s Lecture Notes in Computer Science series.

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    01月15日

    2017

    01月17日

    2017

  • 09月21日 2016

    初稿截稿日期

  • 01月17日 2017

    注册截止日期

移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询