Ranking & Metrics Conference Call for Papers Other Conferences in United States
VMCAI 2022 : Verification, Model Checking and Abstract Interpretation

VMCAI 2022 : Verification, Model Checking and Abstract Interpretation

Philadelphia , United States

Submission Deadline: Thursday 02 Sep 2021

Conference Dates: Jan 16, 2022 - Jan 18, 2022

Impact Score 1.32

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing top scientists in addition to the h-index estimated from the scientific papers published by top scientists. See more details on our methodology page.

Research Impact Score: 1.32
Contributing Top Scientist: 12
Papers published by Top Scientists 12
Research Ranking (Computer Science) 710

Conference Call for Papers

The program of VMCAI 2022 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

Previous Editions

Something went wrong. Please try again later.