Forsyth Park Fountain
Forsyth Park Fountain; image taken from German Wikipedia

Tenth International Conference on

Verification, Model Checking, and Abstract Interpretation

January 18-20, 2009
Savannah, GA, USA (co-located with POPL 2009)




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'09 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 are published by Springer as LNCS 5403 of the Lecture Notes in Computer Science series. The proceedings are already available online (access to full papers is restricted to LNCS subscribers).

Invited Speakers

Invited Tutorials

Important Dates


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.

Submission is closed. It was handled via EasyChair:


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

Venue and Accommodation

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


Program Chairs

Neil Jones, University of Copenhagen, Denmark
Markus Müller-Olm, Universität Münster, Germany

Program Committee

Christel Baier, Technische Universität Dresden, Germany
Ahmed Bouajjani, Université Paris 7, France
Michael Codish, Ben-Gurion University of the Negev, Israel
Patrick Cousot, École Normale Supérieure, Paris, France
Javier Esparza, Technische Universität München, Germany
Klaus Havelund, NASA JPL, USA
Michael Huth, Imperial College London, Great-Britain
Bengt Jonsson, Uppsala Universitet, Sweden
Sorin Lerner, University of California, San Diego, USA
Francesco Logozzo, Microsoft Research, Redmond, USA
Pete Manolios, Northeastern University, Boston, USA
Amir Pnueli, New York University, USA
C. R. Ramakrishnan, SUNY at Stony Brook, NY, USA
Andrey Rybalchenko, MPI for Software Systems, Germany
Helmut Seidl, Technische Universität München, Germany
Henny Sipma, Stanford University, USA
Carolyn Talcott, SRI International, Menlo Park, CA, USA
Greta Yorsh, IBM TJ Watson Research Center, NY, USA

Steering Committee

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, École Normale Suipé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


ACM logo Association for Computing Machinery
EAPLS logo European Association for Programming Languages and Systems
Microsoft Research logo Microsoft Research

Legal Disclosure | Privacy Statement