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

CALL FOR PAPERS

Eighth International Conference on

Verification, Model Checking and Abstract Interpretation

Conference website: http://research.microsoft.com/vmcai07

Paper submission website: http://www.easychair.org/VMCAI07/

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

Scope:

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'07 is co-located with the POPL'07 conference.

The program of VMCAI'07 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.

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:

Proceedings:

  • The proceedings is to be published in Springer Lecture Notes in Computer Science.

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

Paper submission information: