International Conference on Verification, Model Checking, and Abstract Interpretation

International Conference on Verification, Model Checking, and Abstract Interpretation provide 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. This conference cover the following topics areas are program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, type systems, deductive methods, program logics, first-order theories and etc.