VMCAI 2020 : Verification, Model Checking and Abstract Interpretation

  in Conferences   Posted on June 29, 2019

Conference Information

Submission Deadline Wednesday 01 May 2019 Proceedings indexed by :
Conference Dates Jan 19, 2020 - Jan 25, 2020
Conference Address New Orleans, United States
Conference & Submission Link https://popl20.sigplan.org/home/VMCAI-2020#Call-for-Papers
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 302
Category Rankings
Software Engineering & Programming 89

Google Scholar H5-index:
17

Conference Call for Papers

VMCAI 2020 welcomes research papers on any topic related to verification, model checking, and abstract interpretation. 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, Interpolation, 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.

Other Conferences in United States

ACT 2020 : USENIX Annual Technical Conference

Deadline :
Wed 15 Jan 2020
Jul 15, 2020 - Jul 17, 2020 - Boston
United States

IGARSS 2020 : IEEE International Geoscience and Remote Sensing Symposium

Deadline :
Wed 15 Jan 2020
Jul 19, 2020 - Jul 24, 2020 - Waikoloa
United States

i-ETC 2020 : Intermountain Engineering, Technology, and Computing Conference

Deadline :
Wed 15 Jan 2020
May 4, 2020 - May 5, 2020 - UTAH
United States

MLDM 2020 : 16th International Conference on Machine Learning and Data Mining MLDM 2020

Deadline :
Wed 15 Jan 2020
Jul 18, 2020 - Jul 23, 2020 - New York
United States

ICDM 2020 : 20th Industrial Conference on Data Mining ICDM 2020

Deadline :
Wed 15 Jan 2020
Jul 15, 2020 - Jul 29, 2020 - New York
United States