Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

January 12-14, 2015 | Mumbai, India

Collocated with POPL 2015

The conference program is up!

Registration Link is here (set up by ACM/POPL).

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.

The program of VMCAI'15 will consist of refereed research papers and tool demonstrations, as well as invited lectures and tutorials. 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 certification
  • error diagnosis
  • program transformation
  • hybrid and cyberphysical systems

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming.

Papers must describe original work, be written and presented in English, and must not overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Proceedings are published by Springer-Verlag as volumes in the Lecture Notes in Computer Science series.

Submission Instructions

The VMCAI 2015 proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. The page limit for submissions is 18 pages in Springer's LNCS format.

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 Springer. Submissions deviating from these guidelines risk summary rejection. Please prepare your submission in accordance with the rules described and submit via

Program Chairs

Program Committee

Organizing Committee

  • S Akshay, Indian Institute of Technology Bombay, India
  • N Raja, Tata Institute of Fundamental Research, India
  • Deepak D'Souza, Indian Institute of Science, India
  • Akash Lal, Microsoft Research, India

Invited Speakers

Steering Committee


The conference proceedings, published in the LNCS Series 8931 of Springer, is now available: click here.

The conference also plans to organize a special issue of the Elsevier journal Computer Languages, Systems and Structures journal (COMLAN) with selected papers from VMCAI 2015.

Student Travel Funding

We are in the process of acquiring funds to sponsor travel and other costs of attending VMCAI in Mumbai. Only students, who are registered (or will register) for VMCAI, are eligible to apply. If you are interested, please send the following information to

  • Are you presenting a paper at VMCAI? If not, then a short paragraph on why you want to attend VMCAI.
  • An estimate of the cost (travel and accommodation).
  • Will you be able to attend the conference if we can't fund you?
  • Are you studying at a US university?
  • A copy of your CV.



Important Dates

  • Abstract Submission: September 5, 2014
  • Paper Submission: September 14, 2014 (updated!)
  • Notification: October 10, 2014
  • Camera-Ready Deadline: October 31, 2014
  • Conference: January 12-14, 2015

News and Updates