Cibeles Square

Eleventh International Conference on

Verification, Model Checking, and Abstract Interpretation

January 17-19, 2010
Madrid, Spain
(co-located with POPL 2010)




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 the three areas.

The program of VMCAI'10 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. 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
  • static analysis
  • deductive methods
  • program certification
  • debugging techniques
  • abstract domains
  • type systems
  • optimization

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 substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. The proceedings will be published by Springer Verlag as a volume in the Lecture Notes in Computer Science series.

Invited Speakers

Invited Tutorials

Important Dates



Please note that submission is now closed.

The page limit for submissions is 15 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 Submissions deviating from these guidelines risk summary rejection.

Please prepare your submission in accordance with the rules described above and submit a pdf file via


In order to register for VMCAI please follow the instructions on the online registration page.

Venue and Accommodation

VMCAI'10 is co-located with POPL'10. For information about venue and accomodation please visit the POPL pages.

Visas and Visa Support Letters

Spain is part of the EU "Schengen" area. Please be advised that for some nationalities a visa may be required. If in doubt we recommend that you check well ahead of time with the closest Spanish embassy or consulate. If you do need to apply for a visa, need a support letter, and you are also registering for POPL and/or other associated events, then please follow the instructions on the POPL pages in order to get a visa support letter for the whole event. If you need a support letter and are only registering for VMCAI then please send a request to vmcai10 at


Program Chairs

Gilles Barthe, IMDEA Software, Spain
Manuel Hermenegildo, IMDEA Software and Tech. U. of Madrid, Spain

Program Committee

Christel Baier, Technische Universität Dresden, Germany
Patrick Cousot, École Normale Supérieure, France
Javier Esparza, Technische Universität München, Germany
Patrice Godefroid, Microsoft Research, USA
Orna Grumberg, Technion, Israel
Sumit Gulwani, Microsoft Research, USA
Joxan Jaffar, National University of Singapore
Rustan Leino, Microsoft Research, USA
Ken McMillan, Cadence, USA
Markus Müller-Olm, Universität Münster, Germany
Hanne Riis Nielson, Technical University of Denmark
Xavier Rival, École Normale Supérieure and INRIA, France
David Sands, Chalmers University of Technology, Sweden
David Schmidt, Kansas State University, USA
Hongseok Yang, Queen Mary, University of London, United Kingdom
Kwangkeun Yi,Seoul National University, Korea
Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, École Normale Supérieure, France
E. Allen Emerson, University of Texas at Austin, USA
Giorgio Levi, University of Pisa, Italy
Andreas Podelski, Universität 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

Accepted papers


EAPLS logo European Association for
Programming Languages and Systems
Microsoft Research logo Microsoft Research
IMDEA Software logo CM logo Madrid Institute for Advanced Studies
in Software Development Technologies
MICINN logo Spanish Ministry of Science and Innovation
ACM logo Association for Computing Machinery