Call For Papers
text | html

Preliminary Schedule

Registration

Local information

Program Chairs
Byron Cook
Andreas Podelski

Program Committee
Marsha Chechik
Ed Clarke
Byron Cook
Radhia Cousot
Javier Esparza
Limor Fix
Roberto Giacobazzi
Patrice Godefroid
Neil Jones
Ken McMillan
Kedar Namjoshi
Andreas Podelski
Jean-Francois Raskin
Scott Stoller
Yassine Lakhnech
Markus Mueller-Olm
Peter O'Hearn
Tayssir Touili
Lenore Zuck

Steering Committee
Agostino Cortesi
Patrick Cousot
E. Allen Emerson
Giorgio Levi
Andreas Podelski
Thomas W. Reps
David Schmidt
Lenore Zuck

Eighth International Conference on

Verification, Model Checking and Abstract Interpretation

January 14-16, 2007
Nice, France (co-located with POPL 2007)

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.

Invited speakers:

Tom Reps: DIVINE: DIscovering Variables IN eXecutables
Moshe Vardi: Automata-Theoretic Model Checking Revisited
Hongseok Yang: Shape Analysis for Low-level Code

Invited Tutorials:

Ken McMillan: Interpolants and Symbolic Model Checking
Madhusudan Parthasarathy: Learning Algorithms and Formal Verification
Peter Revesz: Constraint-Database Tools for Software Verification

Proceedings:

The proceedings is to be published in Springer Lecture Notes in Computer Science as LNCS no. 4349.

Important dates:

September 28, 2006: Submission Deadline.
October 27, 2006: Notification of Acceptance/Rejection
November 10, 2006: Final version due
January 14-16, 2007: Conference