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.
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:
Horn Clause Solving
Probabilistic Programming and Analysis
Detection of Bugs and Security Vulnerabilities
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.