Fifth International Conference on

Verification, Model Checking and Abstract Interpretation







Call For Papers

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. With the growing need for formal methods to reason about complex, infinite-state, and embedded systems, such hybrid methods are bound to be of great importance.

The conference will feature a keynote speech by David Harel (Weizmann Institute), invited talks by Dawson Engler (Stanford University) and Mooly Sagiv (Tel Aviv University), and a tutorial on security by Joshua Guttman (Mitre Corporation).

Papers are solicited reporting new results as well as experimental evaluation and comparisons of existing techniques.
Authors are invited to submit a PDF or Postcript file (max. 12 pages), formatted according to Springer LNCS guidelines, via the conference service:

The URL will be activated in August.

The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science. Selected papers will be invited to a Special Section of Springer's international journal on "Software Tools for Technology Transfer" (STTT).

Topics include but are not limited to:
* program verification
* static analysis techniques
* model checking
* program certification
* type systems
* abstract domains
* debugging techniques
* compiler optimization
* embedded systems
* formal analysis of security protocols.

Important Dates:
Paper Submission Deadline: August 30, 2003 (it has been extended!)
Notification of acceptance: October 3, 2003
Camera-Ready copy due: November 7, 2003
Conference: January 11-13,2004

Program Committee co-chairs:
GIORGIO LEVI (University of Pisa, I)
BERNHARD STEFFEN (Universitat Dortmund, D)

Program Committee
RALPH BACK (Abo Akademi University, FIN)
AGOSTINO CORTESI (University Ca' Foscari di Venezia, I)
RADHIA COUSOT (CNRS and Ecole Polytechnique, F)
RADU GROSU (SUNY at Stony Brook, USA)
GERARD HOLZMANN (Bell Laboratories, USA)
YASSINE LAKHNECH (Universite' Joseph Fourier, Grenoble, F)
JIM LARUS (Microsoft Research, USA)
MARKUS MULLER-OLM (Fernuniversitat Hagen, D)
HANNE RIIS NIELSON (Technical University of Denmark, DK)
DAVID A. SCHMIDT (Kansas State University, USA)
LENORE ZUCK (New York University, USA)

VMCAI Steering Committee
Agostino Cortesi, Univ. Ca' Foscari (I)
E. Allen Emerson, University of Texas, Austin (USA)
Giorgio Levi, University of Pisa (I)
Andreas Podelski, Max Planck Institute (D)
Thomas W. Reps, University of Wisconsin, Madison (USA)
David A. Schmidt, Kansas State University (USA)
Lenore Zuck, New York University (USA)