Ranking & Metrics
Impact Score is a novel metric devised to rank conferences based on the number of contributing top scientists in addition to the h-index estimated from the scientific papers published by top scientists. See more details on our methodology page.
Research Impact Score:1.32
Contributing Top Scientist:12
Papers published by Top Scientists12
Research Ranking (Computer Science)710
Conference Call for Papers
Welcome to the website of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021).
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. VMCAI 2021 will be the 2nd edition in the series.
VMCAI will take place during January 17-19, 2021. The conference will be held as a physical, virtual, or hybrid physical/virtual meeting depending on the COVID-19 situation. We will announce the nature of the VMCAI meeting once the COVID-19 situation clears.
Edit Submission Deadline
VMCAI 2021 : Verification, Model Checking and Abstract Interpretation