17h International Conference on Verification, Model Checking, and Abstract Interpretation, St. Petersburg, Vereinigte Staaten

Abbrevation

VMCAI

Link

http://conf.researchr.org/home/VMCAI-2016

City

St. Petersburg

Country

United States

Deadline Paper

2015-09-11

Start Date

2016-01-17

End Date

2016-01-19

Abstract

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation facilitating interaction, cross–fertilization, and advancement of hybrid methods that combine these and related areas. Scope 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. 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 can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object–oriented programming.