VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

  in Conferences   Posted on July 24, 2020

Conference Information

Submission Deadline Sunday 11 Oct 2020 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: 299
Category Rankings
Software Engineering & Programming 88
Number of Editions: 22 ( since 1998 )
CORE 2018 Rating: B
DBLP Proceedings

Google Scholar H5-index:

Conference Call for Papers

VMCAI 2021 is the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held on January 17-19, 2021, in Copenhagen, Denmark, as a physical, virtual, or hybrid physical/virtual meeting depending on the COVID-19 situation. 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.

The program of VMCAI 2021 will consist of refereed research papers as well as invited lectures and tutorials. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.

Topics include, but are not limited to:

Program Verification
Model Checking
Abstract Interpretation
Abstract Domains
Program Synthesis
Static Analysis
Type Systems
Deductive Methods
Program Logics
First-Order Theories
Decision Procedures
Horn Clause Solving
Program Certification
Separation Logic
Probabilistic Programming and Analysis
Error Diagnosis
Detection of Bugs and Security Vulnerabilities
Program Transformations
Hybrid and Cyber-physical Systems
Concurrent and distributed Systems
Analysis of numerical properties
Analysis of smart contracts
Analysis of neural networks
Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.

Other Conferences in Denmark

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

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

ISSTA 2021 : International Symposium on Software Testing and Analysis

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

VLDB 2021 : International Conference on Very Large Databases

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

VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

Deadline :
to be confirmed
Jan 17, 2021 - Jan 22, 2021 - Copenhagen