coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for participation / registration

From: "VMCAI'05" <vmcai05 AT polytechnique.fr>
To: "VMCAI'05" <vmcai05 AT polytechnique.fr>
Subject: [Coq-Club] Call for participation / registration
Date: Thu, 16 Dec 2004 12:15:34 +0100 (CET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

[Coq-Club] Call for participation / registration, VMCAI'05