VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

  in Conferences   Posted on July 24, 2020

Conference Information

Submission Deadline Monday 05 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: 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

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.

Scope
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
Interpolation
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

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

Deadline :
Thu 06 Aug 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

VMCAI 2021 : Verification, Model Checking and Abstract Interpretation

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