About |
|
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. |
Call for Papers |
|
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:
Case Studies on all of the above topics Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. |
Summary |
|
VMCAI 2021 : Verification, Model Checking and Abstract Interpretation will take place in Copenhagen, Denmark. It’s a 6 days event starting on Jan 17, 2021 (Sunday) and will be winded up on Jan 22, 2021 (Friday). VMCAI 2021 falls under the following areas: SOFTWARE ENGINEERING, PROGRAMMING, ABSTRACT INTERPRETATION, etc. Submissions for this Conference can be made by Oct 05, 2020. Authors can expect the result of submission by Nov 06, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Nov 13, 2020 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the VMCAI 2021
|
Credits and Sources |
| [1] VMCAI 2021 : Verification, Model Checking and Abstract Interpretation |
