VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

in Conferences   Posted on June 7, 2020 

Conference Information

Submission Deadline Monday 11 Oct 2021 Proceedings indexed by :
Conference Dates Jan 17, 2021 - Jan 22, 2021
Conference Address Copenhagen, Denmark
Conference & Submission Link https://popl21.sigplan.org/home/VMCAI-2021
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 1.32
#Contributing Top Scientists 12
#Papers published by Top Scientists 12
Google Scholar H5-index 17
Number of Editions: 22 (Since 1998)
Guide2Research Overall Ranking: 710
Category Rankings
Software Engineering & Programming 170
Proceedings https://link.springer.com/conference/vmcai
DBLP Page https://dblp.uni-trier.de/db/conf/vmcai

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.

Other Conferences in Denmark

SAGT 2021 : International Symposium on Algorithmic Game Theory

Deadline :
Tue 11 May 2021
Sep 21, 2021 - Sep 24, 2021 - Aarhus