14th International Conference on

Verification, Model Checking, and Abstract Interpretation

VMCAI 2013


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:

  1. Program verification

  2. Model checking

  3. Abstract interpretation and abstract domains

  4. Program synthesis

  5. Static analysis

  6. Type system

  7. Deductive methods

  8. Program certification

  9. Debugging techniques

  10. Program transformation

  11. Optimization

  12. 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.



January 20 -22, 2013
Collocated with

Important Dates

Abstract Submission:      

August 17, 2012

Paper Submission:

August 24, 2012

11:59pm American Samoa Time (GMT -11)

Acceptance Notification:

October 12, 2012


January 20-22, 2013

The deadlines are strict and will not be changed.