21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) January 19-21 2020, New Orleans, Louisiana, United States.

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 2016 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 Systems

Analysis of Numerical Properties

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.

登录用户可以查看和发表评论, 请前往  登录 或  注册

SCHOLAT.com 学者网
免责声明 | 关于我们 | 用户反馈