VMCAI 2018 19th International Conference on Verification, Model Checking, and Abstract Interpretation
Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2018.
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. VMCAI 2018 will be the 19th edition in the series.
Travel Support for Students
PhD students can apply for a travel grant. We encourage particularly female students to apply for such a grant. Details on how to apply will appear right here in November 2017.
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 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.
|Fri 6 Oct 2017|
|Fri 17 Nov 2017|
|Sun 7 - Tue 9 Jan 2018|
University College London
Institute of Software Technology, Graz University of Technology
Wei Ngan Chin
National University of Singapore
Isil DilligProgram Co-Chair
University of Lyon & LIP, France
Stevens Institute of Technology
Chalmers University of Technology
University of Waterloo, Canada
Kenneth L. McMillan
Max Planck Institute for Software Systems
Jens PalsbergProgram Co-Chair
University of California, Los Angeles (UCLA)
NASA Ames Research Center
University of Freiburg, Germany
Tel Aviv University
University of Salzburg
New York University