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 grant covering up to $1000 for travel and registration costs. We encourage particularly female students and underrepresented minorities to apply for this grant. Due to budget restrictions, a limited number of students can benefit from this support. Interested students must apply before Dec 10, 2017, 23:59 AoE, by sending a request to isil@cs.utexas.edu and palsberg@cs.ucla.edu mentioning their name, affiliation, contact information (address, email), and reason for applying for this grant. Applicants will be notified by Dec 15, 2017.

Sun 7 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Ranjit Jhala at VMCAI
Chair(s): Isil Dillig
VMCAI-2018151531200000009:00 - 10:00
Talk

Mon 8 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Kenneth L. McMillan at VMCAI
Chair(s): Lenore Zuck
VMCAI-2018151539840000009:00 - 10:00
Talk
VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Invited Tutorial by Mayur Naik at VMCAI
Chair(s): Jens Palsberg
VMCAI-2018151542360000016:00 - 17:30
Talk
VMCAI-2018
18:00 - 22:00: VMCAI 2018 - VMCAI Banquet at VMCAI
VMCAI-2018151543080000018:00 - 22:00
Dinner

Tue 9 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Azadeh Farzan at VMCAI
VMCAI-2018151548480000009:00 - 10:00
Talk
VMCAI-2018
10:30 - 12:00: VMCAI 2018 - Verifying Protocols and Systems at VMCAI
VMCAI-2018151549020000010:30 - 11:00
Talk
VMCAI-2018151549200000011:00 - 11:30
Talk
VMCAI-2018151549380000011:30 - 12:00
Talk

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.

Accepted Papers

Title