VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

  in Conferences   Posted on June 7, 2020

Conference Information

Submission Deadline to be confirmed 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)

G2R Score 1.32
#Contributing Top Scientists 12
#Papers published by Top Scientists 12
Google Scholar H5-index 4
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

IPMI 2021 : International Conference on Information Processing in Medical Imaging

Deadline :
Tue 01 Dec 2020
Jun 27, 2021 - Jul 2, 2021 - Bornholm
Denmark

ECOOP 2021 : 35th European Conference on Object-Oriented Programming

Deadline :
Mon 11 Jan 2021
Jul 12, 2020 - Jul 16, 2020 - Aarhus
Denmark

ISSTA 2021 : International Symposium on Software Testing and Analysis

Deadline :
Fri 29 Jan 2021
Jul 12, 2021 - Jul 16, 2021 - Aarhaus
Denmark

VLDB 2021 : International Conference on Very Large Databases

Deadline :
Mon 01 Mar 2021
Aug 16, 2021 - Aug 20, 2021 - Copenhagen
Denmark