Twelfth International Conference on

Verification, Model Checking, and Abstract Interpretation

January 23-25, 2011
Austin, Texas, USA
(co-located with POPL 2011)




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'11 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. Past proceedings have been published by Springer Verlag as volumes in the Lecture Notes in Computer Science series, as will the proceedings for VMCAI'11.

Invited Speakers

Important Dates

Submission and Proceedings

   Submission is now closed. The VMCAI'11 proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series.

Conference Program

is here.


Please register here for VMCAI'11. Here are the fees:
  ACM and/or SIG not(ACM or SIG) Student
early (by Dec. 31): $450$450$350
late/on-site: $500$500$400
Full registration includes printed proceedings, 3 continental breakfasts, coffee breaks, Sunday lunch, and Monday-night conference dinner. Student registration excludes the conference dinner. You are on your own for lunch on Monday and Tuesday, because there are lots of restaurants nearby and because it's nice to have a break outside the hotel each day....

Venue and Accommodation

VMCAI'11 is co-located with POPL'11. You are encouraged to stay at the conference hotel, the Omni Austin Downtown, located at 700 San Jacinto Blvd, Austin. Please visit the hotel's conference reservation page to reserve a room at the discount price. Early-reservation deadline is December 21.

For additional information about the venue please visit the POPL pages.


Program Chairs

Ranjit Jhala, University of California, San Diego (jhala AT
David Schmidt, Kansas State University (das AT

Program Committee

Josh Berdine, Microsoft Research
Ahmed Bouajjani, University of Paris VII
Swarat Chaudhuri, Pennsylvania State University
Patrick Cousot, École Normale Supérieure, France
Dino Distefano, Queen Mary University of London and Monoidics Ltd.
Azadeh Farzan, University of Toronto
Cormac Flanagan, University of California, Santa Cruz
Aari Gupta, NEC Laboratories America
Ranjit Jhala, University of California, San Diego
Orna Kupferman, Hebrew University, Jerusalem
Viktor Kuncak, École Polytechnique Fédérale de Lausanne
Akash Lal, Microsoft Research
Kedar Namjoshi Bell Labs
Corina Pasareanu, NASA Ames Lab
Ganesan Ramalingam, Microsoft Research
Andrey Rybalchenko, Technische Universität München
Sriram Sankaranarayanan, University of Colorado, Boulder
David Schmidt, Kansas State University
Tachio Terauchi, Tohoku University
Lenore Zuck, University of Illinois at Chicago

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


Email questions/comments/requests to   das @ ksu . edu