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)

Guide2Research Overall Ranking: 300
Category Rankings
Software Engineering & Programming 88
Number of Editions: 22 ( since 1998 )
CORE 2018 Rating: B
DBPL Proceedings

Google Scholar H5-index:
17

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

POPL 2021 : ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

Deadline :
Thu 09 Jul 2020
Jan 17, 2021 - Jan 22, 2021 - Copenhagen
Denmark

DLI 2020 : 5th EAI International Conference on Design, Learning & Innovation

Deadline :
Thu 23 Jul 2020
Nov 5, 2020 - Nov 6, 2020 - Aalborg
Denmark

ArtsIT 2020 : 9th EAI International Conference: ArtsIT, Interactivity & Game Creation

Deadline :
Thu 23 Jul 2020
Nov 5, 2020 - Nov 6, 2020 - Aalborg
Denmark

CPP 2021 : Certified Programs and Proofs

Deadline :
Tue 22 Sep 2020
Jan 18, 2021 - Jan 19, 2021 - Copenhagen
Denmark