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: 219
Category Rankings
Software Engineering & Programming 57

Google Scholar H5-index:
22

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

ISVC 2019 : International Symposium on Visual Computing

Deadline :
Mon 15 Jul 2019
Oct 7, 2019 - Oct 9, 2019 - Lake Tahoe
United States

LAF 2019 : Lean-Agile Frontiers 2019

Deadline :
Mon 15 Jul 2019
Oct 28, 2019 - Oct 29, 2019 - San Jose
United States

SIGMOD 2020 : International Conference on Management of Data

Deadline :
Tue 16 Jul 2019
Jun 14, 2020 - Jun 19, 2020 - Portland
United States

WACV 2020 : Workshop on Applications of Computer Vision

Deadline :
Fri 26 Jul 2019
Mar 2, 2020 - Mar 5, 2020 - Snowmass Village
United States