Sixth International Conference on

Verification, Model Checking and Abstract Interpretation

January 17—19, 2005   :   Paris, France

Maison des Polytechniciens

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 includes in addition to the contributed papers, three invited talks by:

and an invited tutorial by:

Panoram de Paris 360

Contact: Radhia[point]Cousot[arobase]polytechnique [point]fr
Last modified: Saturday May 22, 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