Informations sur la troisième réunion du groupe de travail
Mélanges de systèmes de réécriture algébrique et de systèmes logiques

**********************************************************
**********************************************************

        REUNION DE TRAVAIL DU GROUPE PRC MATH-INFO

       Melanges de systemes de reecriture algebrique
                  et de systemes logiques


                     vendredi 13 juin
                  Universite de Chambery
                     Batiment Chablais
                   Salle des semenaires

**********************************************************
                        PROGRAMME
**********************************************************

10h     Rene David (Chambery)
        Une reponse negative a une conjecture de Levy

11h     Maribel Fernandez (ENS Paris)
        Un calcul d'objets avec reecriture algebrique




12h     Repas a la cantine de l'universite




14h     Walter Py (Chambery)
        Problemes de confluence en lambda-mu-calcul


15h     Roberto Di Cosmo et Delia Kesner (ENS Paris)
        Normalisation dans les substitutions explicites via proof nets




Pause cafe



16h     Jean Goubault (INRIA Rocquencourt)
        Une preuve de termination du lambda-sigma-Calcul type



17h     Pierre Lescanne (INRIA Nancy)
        Forte normalisation d'un calcul de substitution explicite type:
        (une demonstration directe)



__________________________________________________________________________

Liste de Participants (non Chamberiens) :

Maribel Fernandez              (ENS Paris)
Roberto Dicosmo                (ENS Paris)
Delia Kesner                   (ENS Paris)
Cesar Munoz                    (INRIA Rocquencourt)
Jean Goubault                  (INRIA Rocquencourt)
Bruno Pagano :                 (LITP Paris VI)
Denis Lugiez :                 (INRIA Nancy)
Pierre Lescanne :              (INRIA Nancy)


Page mantenue par

Delia.Kesner@lri.fr