Committees

Program Committee:

Agostino Cortesi Università Ca' Foscari di Venezia (I)
Radhia Cousot CNRS / École Polytechnique (F)
E. Allen Emerson University of Texas, Austin (USA)
Roberto Giacobazzi Università degli Studi di Verona (I)
Chris Hankin Imperial College (UK)
Warren A. Hunt University of Texas, Austin (USA)
Ken McMillan Cadence Berkeley (USA)
David Monniaux CNRS / École Normale Supérieure (F)
Amir Pnueli New York University (USA) & Weizmann Institute of Science (IL)
Andreas Podelski Max-Planck-Institut für Informatik (G)
Francesco Ranzato Università di Padova (I)
Hanne Riis Nielson Technical University of Denmark (DK)
Shmuel Sagiv Tel-Aviv University (IL)
Bernhard Steffen Universität  Dortmund (G)
Reinhard Wilhelm Universität des Saarlandes (G)

Program Chair:

Radhia Cousot
Email: Radhia[point]Cousot[arobase]polytechnique [point]fr     Post: École Polytechnique - STIX
Fax: + 33 (0)1 69 33 30 50 / + 33 (0)1 44 32 21 52 91128 Palaiseau cedex
Phone: + 33 (0)1 69 33 45 95 France

Organizing Committee:

Radhia Cousot CNRS / École Polytechnique (F)
Élodie-Jane Sims CNRS / École Polytechnique (F)
David Monniaux CNRS / École Normale Supérieure (F)
Guillaume Capron École Polytechnique (F)

VMCAI Steering Committee:

Agostino Cortesi Università Ca' Foscari di Venezia (I)
E. Allen Emerson University of Texas, Austin (USA)
Giorgio Levi Università di Pisa (I)
Thomas W. Reps University of Wisconsin-Madison (USA)
Andreas Podelski Max-Planck-Institut für Informatik (G)
David A. Schmidt Kansas State University (USA)
Lenore Zuck New York University (USA)





Panoram de Paris 360

Contact: Radhia[point]Cousot[arobase]polytechnique [point]fr
Last modified: Sunday May 23, 2010
Valid XHTML 1.1! Valid CSS!
ACM

VMCAI'05

Conference venue Invited speakers Invited tutorial Program Call for papers Committees Registration Sponsors Publication LNCS 3385

Affiliated events

Industrial Day NSAD'05 AIOOL'05

Paris

Accommodations Subway (map, itinary,...) Weather Maps

Links

VMCAI'04VMCAI'03
EAPLS