Sixth International Conference on

Verification, Model Checking and Abstract Interpretation

January 17—19, 2005   :   Paris, France

Call for Papers

Pyramide du Louvre
Photo : Frédéric de La Mure

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 program of VMCAI'05 will consist of invited tutorials, refereed papers, invited lectures on Perspectives in Program Verification and invited demonstrations of Tools for Program Verification.

Papers are solicited reporting new results as well as experimental evaluation 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.

Submission instructions:

All submissions must be performed electronically at the SUBMISSION pages (use of this page requires a recent, script-enabled HTML browser). Submitted papers should be at most (LNCS style) 15 pages excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers should be intelligible without them.


The proceedings will be published by Springer in the Lecture Notes in Computer Science series (see the LNCS Author's Instructions). Thus, adhering to that style already in the submission is strongly encouraged. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Papers must be printable on either A4 paper or US letter, and preferably on both.


Journal Special Issue:

Selected papers will be invited to a Journal Special Issue.

Best Paper Award:

The program committee may select papers accepted to the conference as VMCAI Best Papers.

Important dates:

Submissions: September 21, 2004
Notification of acceptance or rejection: October 24, 2004
Deadline for reception of the final versions : November 10, 2004
The conference : January 17—19, 2005

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 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!


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

Affiliated events

Industrial Day NSAD'05 AIOOL'05


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