VMCAI 2018 : Verification, Model Checking and Abstract Interpretation

  in Conferences   Posted on February 18, 2018

Conference Information

Submission Deadline Sunday 08 Oct 2017 Proceedings indexed by :
Conference Dates Jan 7, 2018 - Jan 13, 2018
Conference Address California, United States
Conference & Submission Link https://popl18.sigplan.org/series/VMCAI
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 303
Category Rankings
Software Engineering & Programming 90

Google Scholar H5-index:
17

Conference Call for Papers

VMCAI 2018 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.
Submissions

Submissions are restricted to 20 pages in Springer’s LNCS format, not counting references. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website.

Submissions must be uploaded via the paper submission site.

Accepted papers will be published in Springer’s Lecture Notes in Computer Science series.

Other Conferences in United States

eCrime 2019 : eCrime - Symposium on Electronic Crime Research

Deadline :
Fri 16 Aug 2019
Nov 13, 2019 - Nov 15, 2019 - Pittsburgh
United States

SOSA 2020 : The Third Symposium on Simplicity in Algorithms

Deadline :
Fri 16 Aug 2019
Jan 6, 2020 - Jan 7, 2020 - Salt Lake City
United States

APOCS 2020 : SIAM Symposium Algorithmic Principles of Computer Systems (APOCS20)

Deadline :
Fri 16 Aug 2019
Jan 8, 2020 - Jan 8, 2020 - Salt Lake City
United States

LCPC 2019 : Languages and Compilers for Parallel Computing

Deadline :
Fri 16 Aug 2019
Oct 22, 2019 - Oct 24, 2019 - Atlanta
United States

WSDM 2020 : ACM International Conference on Web Search and Data Mining

Deadline :
Fri 16 Aug 2019
Feb 5, 2020 - Feb 9, 2020 - Houston
United States