Conference Information
VMCAI 2020: International Conference on Verification, Model Checking, and Abstract Interpretation
Submission Date:
Notification Date:
Conference Date:
New Orleans, Louisiana, USA
CCF: b   CORE: b   QUALIS: a2   Viewed: 13004   Tracked: 19   Attend: 1

Conference Location
Call For Papers
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.
Last updated by Dou Sun in 2019-08-11
Acceptance Ratio
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1IVInternational Conference on Information Visualisation2014-03-012014-04-252014-07-15
bba2i3DACM SIGGRAPH Symposium on Interactive 3D Graphics and Games2019-12-132020-02-142020-05-05
ICMLDSInternational Conference on Machine Learning and Data Science2018-09-082018-10-052018-12-21
FCTAInternational Conference on Fuzzy Computation Theory and Applications2020-05-192020-07-172020-11-02
IMMMInternational Conference on Advances in Information Mining and Management2020-05-182020-07-182020-09-27
ICIDInternational Conference on Informatics for Development2011-10-262011-11-022011-11-26
cab1RTAInternational Conference on Rewriting Techniques and Applications2015-01-302015-04-082015-06-29
QUITANSInternational Conference on Quantum Information Technologies Applied to Nature and Society 2020-04-29 2020-06-04
DMAPInternational Conference on Data Mining and Applications2020-05-312020-06-152020-06-20
FMATInternational Conference on Functional Materials and Applied Technologies2020-07-252020-08-152020-12-15