VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation
- Call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details
This article provides the call for paper, ranking, acceptance rate,
submission deadline, notification date, conference location, submission guidelines, and other important details of VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation all at one place.
Conference Ranking
International Conference on Verification, Model Checking, and Abstract Interpretation ranking based on CCF, Core, and Qualis is shown below:
|
CCF Ranking
|
B
|
|
Core Ranking
|
B
|
|
Qualis Ranking
|
A2
|
Click here to check the ranking of any conference.
-
About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.
-
About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.
-
About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here
Conference Acceptance Rate
Below is the acceptance rate of International Conference on Verification, Model Checking, and Abstract Interpretation conference for the last few years:
| Year |
Submitted Papers |
Accepted Papers |
Accepted Percentage/Acceptance Rate |
| 2005 | 92 | 27 | 29.3% |
| 2004 | 68 | 22 | 32.4% |
| 2003 | 43 | 20 | 46.5% |
| 2002 | 41 | 22 | 53.7% |
We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.
Conference Call for paper
VMCAI 2019 welcomes research papers on any topic related to verification, model checking, and abstract interpretation. 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 Systems, Analysis of Numerical Properties.Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.
Submission Deadline
VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation submission deadline is 2018-10-14.
Note: It is generally recommended to submit your conference paper
on or before the submission deadline. Generally, conferences do not
encourage to submit the research paper after the deadline is over.
In rare scenarios, conferences extend their deadline. Decision about the
extension of the deadline is generally updated on the official conference webpage.
Notification date
Notification date of VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation is 2018-11-22.
Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.
Conference Date
VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation will start on 2019-01-13.
Note: This is the date on which the conference starts.
Conference Location
VMCAI 2019: International Conference on Verification, Model Checking, and Abstract Interpretation will be organized at Lisbon, Portugal. This is the place where the conference is organized and the research paper is to be presented.
