Ranking & Metrics Conference Call for Papers Other Conferences in United States
VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

Copenhagen, Denmark

Submission Deadline: Monday 11 Oct 2021

Conference Dates: Jan 17, 2021 - Jan 22, 2021

Impact Score 1.32


Conference Organizers: Deadline extended?
Click here to edit

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 Scientists 12
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.
Something went wrong. Please try again later.