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

       Melanges de systemes de reecriture algebriques 
                et de systemes logiques
                   
                        30 janvier
                      Univ. Paris VI 

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

Vendredi  30 janvier 

Salle 403 (4eme etage), couloir 55-65. 

--------------------------------------

 9:30 - Accueil des participants

--------------------------------------

 9:45 - Samir Farkh: 
        Th'eor`emes de compl`etude pour les types 
        quelquesoit positifs du syst`eme F

10:15 - Bruno Guillaume: 
        Lambda_se ne satisfait pas PSN, Introduction a lambda_l

--------------------------------------

11:00 - Pause cafe

--------------------------------------

11:15 - Rene David: 
        Preuve que lambda_l satisfait tout ce qu'on veut

11:45 - Gilles Dowek:
        Raisonner modulo un syste`me de re'e'criture qui transforme des 
        propositions atomiques en des propositions compose'es.



--------------------------------------

12:15 - Repas a la cantine de Jussieu

--------------------------------------

14:00 - Christophe  Raffalli:
        Bindlib: une solution simple et efficace pour 
        implanter des structures de donnees avec variables 
        liees en CAML

14:30 - Delia Kesner: 
        Substitutions Explicites pour les objets

--------------------------------------

15:00 - Pause cafe

--------------------------------------

15:30 - Maribel Fernandez: 
        Modularite de la confluence dans les systemes 
        de reecriture de premier ordre

16:00 - Frederic Lang:
        PSN et confluence sur les metatermes: une tentative derivee de lambda x.

--------------------------------------

16:30 - Discussion: 

        Nouvelle proposition de groupe de travail GDR/PRC 

--------------------------------------

Liste de Participants:

Francisco   Alberti     (ENS, Paris)
Choukri-Bey Ben-Yelles  (Universite de Grenoble2)
Francoise   Bellegarde  (Universite de Franche-Comte)
Noel        Bernard     (Chambery)
Chouhed     Bouabana    (Universite d'Alger)
Rene        David       (Chambery)
Roberto     Di Cosmo    (ENS, Paris)
Gilles      Dowek       (INRIA Rocquencourt) 
Samir       Farkh       (Chambery)
Maribel     Fernandez   (ENS, Paris)
Therese     Hardin      (Paris VI)
Jean-Pierre Jouannaud   (Paris XI) 
Fairouz     Kamareddine (Glasgow)
Delia       Kesner      (Paris XI) 
Claude      Kirchner    (INRIA Nancy)
Frederic    Lang        (ENS, Lyon) 
Pierre      Lescanne    (ENS, Lyon) 
Karim       Nour        (Chambery)
Bruno       Pagano      (Paris VI)
Laurence    Puel        (Paris XI)
Walter      Py          (Chambery)
Christophe  Raffalli    (Chambery)
Kristoffer  Rose        (ENS, Lyon)