[TYPES] Call for participation / registration

[VMCAI'05]

***************** VMCAI'05 : CALL FOR PARTICIPATION *********************

 		 Sixth international conference on

       VERIFICATION, MODEL CHECKING and ABSTRACT INTERPRETATION

    January 17-19, 2005   :   Maison des Polytechniciens, Paris, France

 		http://www.polytechnique.fr/vmcai05/

**************************************************************************
REGISTRATION
 	http://www.polytechnique.fr/vmcai05/registration.html

INVITED SPEAKERS
    * Patrick Cousot : Proving Program Invariance and Termination by
 	     Parametric Abstraction, Lagrangian Relaxation and
 	     Semidefinite Programming
    * C.A.R. Hoare : The Verifying Compiler, a Grand Challenge for
 	     Computing Research
    * Amir Pnueli : Abstraction for Liveness

INVITED TUTORIAL
    * Sriram K. Rajamani : Model Checking, Abstraction and Symbolic
 	     Execution for Software

AFFILIATED EVENTS
    * Industrial Day on Automatic Tools for Program Verification
      http://www.polytechnique.fr/vmcai05/tools.html
    * Workshop on Abstract Interpretation of Object-Oriented Languages
      http://www.polytechnique.fr/vmcai05/Aiool.html
    * Workshop on Numerical & Symbolic Abstract Domains
      http://www.polytechnique.fr/vmcai05/workshop.html