About VMCAI

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:

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

• Kenneth McMillan, (MSR, USA & Co-Chair)
• Xavier Rival, (CNRS & ENS Paris & INRIA, France & Co-Chair)

Program Committee

• Christel Baier, Technische Universität Dresden, Germany
• Agostino Cortesi, Universita Ca Foscari of Venezia, Italy
• Jerome Feret, CNRS & ENS & INRIA, France
• Alexey Gotsman, IMDEA Software Institute, Spain
• Aarti Gupta, NEC Labs, USA
• Alan J. Hu, University of British Columbia, Canada
• Laura Kovacs, Chalmers University of Technology, Sweden
• Daniel Kroening, Oxford University, UK
• Mark Marron, MSR, USA
• Isabella Mastroeni, Universita di Verona, Italy
• Kenneth McMillan, (MSR, USA & Co-Chair)
• Matthew Might, University of Utah, USA
• David Monniaux, CNRS & University of Grenoble, France
• Kedar Namjoshi, Bell Labs, USA
• Peter O'Hearn, Facebook, UK
• Ruzica Piskac, Yale University, USA
• Sylvie Putot, CEA, France
• Xavier Rival, (CNRS & ENS Paris & INRIA, France & Co-Chair)
• Philipp Rümmer, Uppsala University, Sweden
• Sriram Sankaranarayanan, University of Colorado at Boulder, USA
• Tachio Terauchi, Nagoya University, Japan
• Tayssir Touili, CNRS & University of Paris 7, France
• Eran Yahav, Technion, Israel

Publicity Chair

• Ruzica Piskac, Yale University, USA

VMCAI Steering Committee

• Agostino Cortesi, Universita Ca Foscari of Venezia, Italy
• Patrick Cousot, CNRS & ENS & INRIA, France and NYU, USA
• E. Allen Emerson, University of Texas at Austin, USA
• Andreas Podelski, University of Freiburg, Germany
• Thomas W. Reps, University of Wisconsin at Madison, USA
• David Schmidt, Kansas State University, USA
• Lenore Zuck, University of Illinois at Chicago, USA

Local organization contact

For local organization questions, please contact David Schmidt.

Invited speakers

• Bor-Yuh Evan Chang, University of Colorado at Boulder, USA
• Cynthia Dwork, Microsoft Research, USA
• Prakash Panangaden, Mc Gill University, Canada
• Thomas Wies, New York University, USA

Proceedings

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

Registration

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.