Tenth International Conference on
Verification, Model Checking, and Abstract Interpretation
January 18-20, 2009
Savannah, GA, USA (co-located with POPL 2009)
- Slides of (some of) the invited talks are available now from this page.
- The proceedings are now available from Springer as LNCS 5403. They are also available online (access to full papers is restricted to LNCS subscribers).
- The (preliminary) program is available.
- Registration is open. Please note that for early registrations on or before December 19 a reduced fee is available.
- The list of accepted papers is available.
- Submission is closed.
- Due to multiple requests, the deadline for paper submissions has been extended (see Important Dates). Note that we require submission of the abstract by the original deadline, August 22, 2008.
- July 29, 2008: Submission is open.
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
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).
- Allen Emerson, corecipient of the 2008 ACM Turing award (University of Texas at Austin): Model Checking: Progress and Problems (abstract)
- Aarti Gupta (NEC Labs, Princeton): Model Checking Concurrent Programs (abstract, slides)
- Mooly Sagiv (Tel-Aviv University): Thread Modular Shape Analysis (abstract, slides)
- Byron Cook (Microsoft Research, Cambridge): Proving Program Termination and Liveness (abstract, slides)
- Véronique Cortier (LORIA, CNRS, Nancy): Verification of Security Protocols (abstract, slides)
- Submission deadline (extended): abstracts must be received by Friday, August 22, 2008, and complete papers by Tuesday, August 26, 2008. These deadlines are strict; submissions where abstract or paper are received later will not be evaluated.
- Notification of acceptance: October 6, 2008
- Final version due: October 31, 2008
- Early registration: On or before December 19, 2008
- Conference: January 18-20, 2009
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 http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection.
Submission is closed. It was handled via EasyChair: http://www.easychair.org/conferences/?conf=vmcai09.
RegistrationIn order to register for VMCAI please follow the instructions on the online registration page.
Venue and AccommodationVMCAI'09 is co-located with POPL'09. For information about venue and accomodation please visit the POPL pages.
Program ChairsNeil Jones, University of Copenhagen, Denmark
Markus Müller-Olm, Universität Münster, Germany
Program CommitteeChristel 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 CommitteeAgostino 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
|Association for Computing Machinery|
|European Association for Programming Languages and Systems|