**********************************************************
**********************************************************
         REUNION DE TRAVAIL DU GROUPE PRC MATH-INFO

       Melanges de systemes de reecriture algebriques 
                et de systemes logiques
                   
                      25-26 octobre
                   LRI, Univ. Paris-Sud

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

Vendredi  25 octobre

Salle 101 

10:30 - Cesar Mu~oz (INRIA Rocquencourt)
        Substitutions explicites et types dependants

11:00 - Therese Hardin (LITP, Paris VI)
        L'unification dans le calcul des substitutions explicites:
        le cas des patterns

11:30 - Christophe Ringeissen (INRIA Nancy)
        E-Unification d'ordre superieur via les substitutions explicites 

12:00 - Daniel Briaud (INRIA Nancy)
        Preunification by means of lambda-upsilon

12:30 - Repas a la cantine d'Orsay

Salle 101

14:30 - Pierre Lescanne (INRIA Nancy)
        Substitutions explicites et forte normalisation

15:00 - Delia Kesner (LRI, Univ. Paris-Sud)
        Derivation d'un  calcul avec substitutions explicites
        et composition restreinte

15:30 - Rene David (Chambery)
        Encore un autre lambda calcul avec noms de variable,
        substitutions et renommage explicites qui preserve la
        forte normalisation

16:00 - Pause cafe

Salle 101

16:30 - Maribel Fernandez (ENS, Paris)
        Integrating Paradigms via Interaction Nets

17:00 - Bruno Pagano (LITP, Paris VI)
        Extensions confluentes du lambda-sigma-lift calcul

17:30 - Walter Py (ou Rene David) (Chambery)
        Theoreme  de Bohm du lambda-mu calcul

Samedi 26 octobre

Salle 101

10:00 - Karim Nour (Chambery)
        Logique mixte et operateurs de mise en memoire

10:30 - Jean-Pierre Jouannaud (LRI, Univ. Paris-Sud)
        Types abstraits inductifs

11:00 - Roberto Di Cosmo (ENS, Paris)
        Une breve histoire de l'extensionalite

11:30 - Pause cafe

Salle 101

12:00 - Gilles Dowek (INRIA Rocquencourt)
        Deux regards sur l'e'limination des coupures

12:30 - Zino Benaissa (INRIA Nancy)
        La modelisation du partage et de la recursion dans
        un calcul de substitution explicite faible

-------------------------------------------------
Liste de Participants:

Zino Benaissa (INRIA Nancy)
Noel Bernard (Chambery)
Daniel Briaud (INRIA Nancy)
Nacira Chabane (LITP, Paris VI)
Rene David (Chambery)
Roberto Di Cosmo (ENS, Paris)
Gilles Dowek (INRIA Rocquencourt)
Maribel Fernandez (ENS, Paris)
Therese Hardin (LITP, Paris VI)
Jean-Pierre Jouannaud (LRI, Univ. Paris-Sud)
Delia Kesner (LRI, Univ. Paris-Sud)
Claude Kirchner (INRIA Nancy)
Pierre Lescanne (INRIA Nancy)
Cesar Mu~oz (INRIA Rocquencourt)
Karim Nour (Chambery)
Bruno Pagano (LITP, Paris VI)
Laurence Puel (LRI, Univ. Paris-Sud)
Christophe Ringeissen (INRIA Nancy)
Walter Py (Chambery)

-----------------------------------------------
Organisateurs:

Roberto Di Cosmo (dicosmo@dmi.ens.fr)
Maribel Fernandez (maribel@dmi.ens.fr)
Delia Kesner (kesner@lri.fr)
Universite Paris 6
Universite Paris 7