15th International Conference on

Verification, Model Checking, and Abstract Interpretation (VMCAI)

January 19--21, 2014, San Diego, USA,
Collocated with POPL 2014


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'14 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.

Important dates

Abstract Submission Extended: September 11, 2013 (September 6, 2013)
Paper Submission Extended: September 18, 2013 (UTC-12, Samoa time) (September 13, 2013)
Notification October 25, 2013
Camera ready deadline November 15, 2013
Conference January 19-21, 2014 (right before POPL 2014)

Submission instructions

The VMCAI 2014 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.

Please prepare your submission in accordance with the rules described above and submit via https://www.easychair.org/conferences/?conf=vmcai2014.

Program Committee

Program Committee Chairs

Program Committee

Publicity Chair

VMCAI Steering Committee

Local organization contact

For local organization questions, please contact David Schmidt.

Invited speakers


The Conference proceedings were published in the LNCS Series of Springer, volume 8318. The proceedings is available here.


The registration site is open, on the webpage of POPL: Click here to access the registration site.

Note on travel funding

We may be able to offer some limited travel funding for US based student travel (at this time, the request is still pending). Note however that VMCAI is not sponsored by SIGPLAN and is not eligible to PAC funding.

rival (at) di.ens.fr
Last modified: Sun Dec 22 12:44:08 CET 2013