Fifth International Conference on

Verification, Model Checking and Abstract Interpretation

Program Committee

·        RALPH BACK (Abo Akademi University, FIN)

·        AGOSTINO CORTESI (Universita’ Ca’ Foscari di Venezia, I)

·        RADHIA COUSOT (CNRS and Ecole Polytechnique, F)

·        SUSANNE GRAF (VERIMAG, Grenoble, F)

·        RADU GROSU (SUNY at Stony Brook, USA)

·        ORNA GRUMBERG (Technion, IL)

·        GERARD HOLZMANN (Bell Laboratories, USA)

·        YASSINE LAKHNECH (Universite’ Joseph Fourier, Grenoble, F)

·        JIM LARUS (Microsoft Research, USA)

·        GIORGIO LEVI (Universita’ di Pisa, I, co-chair)

·        MARKUS MULLER-OLM (Fernuniversitat Hagen, D)

·        HANNE RIIS NIELSON (Technical University of Denmark, DK)

·        DAVID A. SCHMIDT (Kansas State University, USA)

·        BERNHARD STEFFEN (Universitat Dortmund, D, co-chair)

·        LENORE ZUCK (New York University, USA)