VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation

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.
The program of VMCAI 2013 will consist of refereed research papers and tool demonstrations, 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 and abstract domains
? Program synthesis
? Static analysis
? Type system
? Deductive methods
? Program certification
? Debugging techniques
? Program transformation
? Optimization
? Hybrid and cyberphysical systems.
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming.
Papers must describe original work, be written and presented in English, and must not overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Proceedings are published by Springer Verlag as volumes in the ARCoSS/LNCS series, as will be the case this year.