Introduction
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.
Call for paper
Important date
Submission Topics
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
Guidlines
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.
All Comments
Important Date
-
Conference Date
Jan 15
2017
toJan 17
2017
-
Sep 21 2016
Draft paper submission deadline
-
Jan 17 2017
Registration deadline
Contact Information
Submit Comment