The Ninth International Conference on Verification, Model Checking, and Abstract Interpretation San Francisco, USA, January 7-9, 2008 Conference website: http://www1.cs.uic.edu/vmcai08 Paper submission website: http://www.easychair.org/VMCAI08/ =============================================================================== 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. VMCAI'08 is co-located with the POPL'08 conference. The program of VMCAI'08 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 program certification model checking debugging techniques abstract interpretation abstract domains static analysis type systems deductive methods 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 in the Lecture Notes in Computer Science series. 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 reviewer. Formatting style files can be found at: http://www.springer.de/comp/lncs/authors.html Submissions deviating from these guidelines risk summary rejection. Important Dates: ---------------- Submission Deadline: September 14, 2007 Notification of Acceptance: October 31, 2007 Final Version Due: November 20, 2007 Conference: January 7-9, 2008 Steering Committee: ------------------- Tino 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, 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 Program Chairs: ---------------- Francesco Logozzo, Microsoft Research, Redmond, USA Doron Peled, The University of Warwick, United Kingdom Lenore Zuck, University of Illinois at Chicago, USA Program Committee: ------------------ Roberto Bagnara, University of Parma, Italy Christel Baier, Technische Universität Dresden, Germany Clark Barrett, New York University, USA Tino Cortesi, Universita' Ca' Foscari, Venice, Italy Radhia Cousot, CNRS, France Nicolas Halbwachs, Vérimag, Grenoble, France, Tom Henzinger Ecole Polytechnique Fédérale de Lausanne, Switzerland Michael Huth, Imperial College, London, United Kingdom Orna Kupferman, Hebrew University, Jerusalem, Israel Rustan Leino, Microsoft Research, Redmond, USA Francesco Logozzo, Microsoft Research, Redmond, USA Alan Mycroft, Cambridge University, United Kingdom Catuscia Palamidessi, INRIA, France Doron Peled, The University of Warwick, United Kingdom Frank Pfenning, Carnegie Mellon University, Pittsburgh, USA Andreas Podelski, University of Freiburg, Germany Tayssir Touili, CNRS, France Andrei Voronokov, The University of Manchester, United Kingdom Lenore Zuck, University of Illinois at Chicago, USA