Please note that this newsitem has been archived, and may contain outdated information or links.
15 - 16 January 2024, 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), London, U.K.
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 2024 will consist of refereed research papers as well as invited talks. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques.
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. There will be three categories of papers: regular papers, tool papers, and case studies. Papers in each category have a different page limit and will be evaluated differently. Submissions will undergo a single-blind review process.
VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts are any additional material that substantiates the claims made in the paper, and ideally makes them fully replicable.
Please note that this newsitem has been archived, and may contain outdated information or links.