Abbrevation
VMCAI
City
Paris
Country
France
Deadline Paper
Start Date
End Date
Abstract

<p>The program of VMCAI 2016 will consist of refereed research papers as well as invited lectures and tutorials&#046; Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques&#046; 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&#8211;physical Systems</p><p>Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object&#8211;oriented programming&#046;</p><p><br></p>