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

----------------------------------------------------------------------
          Journee "Melanges de systemes de reecriture algebrique 
                  et de systemes logiques" du GDR ALP
		   Ecole Normale Superieure de Lyon
			 Vendredi 9 avril 1999
----------------------------------------------------------------------


* Lieu

La journee  se deroulera dans la salle  des theses de  l'Ecole Normale
Superieure  de Lyon.  Pour acceder    a l'ecole, consultez les   pages
http://www.ens-lyon.fr/plan/ens4_100.gif   (plan  du   quartier)    et
http://www.ens-lyon.fr/ENS/routes.html   (explications).  La salle des
theses se situe au rez-de-chaussee du batiment principal de l'ecole, a
proximite de l'accueil.


* Comite d'organisation

        Maribel Fernandez       (ENS, Ulm)
        Delia Kesner            (U. Paris-Sud)
	Frederic Lang           (ENS, Lyon)
        Pierre Lescanne         (ENS, Lyon)

* Financement

Nous demandons au GDR ALP la prise en charge des frais de la reunion
avec un budget estime de 10000FF.

* Programme de la journee

10h30 -- 12h30

Claude KIRCHNER (LORIA Nancy)
        The rewriting calculus: definition and relationship with
        rewriting and lambda-calculus

Horatiu CIRSTEA (LORIA Nancy)
        An explicit substitution version of the rewriting calculus

Kristoffer ROSE (LIP, ENS Lyon)
        Variables ou non ? 

Bruno GUILLAUME (LAMA, Chambery)
        Le \lambda_l calcul -- un an après



             =============== DEJEUNER ==================


13h30 -- 15h30

Delia KESNER (LRI, Orsay)
        Reecriture d'ordre superieur avec indices de Bruijn. 

Frederic BLANQUI (LRI, Orsay)
        Calcul des Constructions Inductives et Reecriture d'Ordre Superieur.

Roberto DI COSMO (LIENS, ENS Ulm)
        Normalisation des reseaux modulo equivalences structurelles

Jean-Pierre JOUANNAUD (LRI, Orsay)
        Une nouvelle preuve simple du theoreme de Toyama


15h45 -- 17h15

Francoise BELLEGARDE (LIB, Besancon)
        Decroissance de l'ordre d'un programme fonctionnel dirige par
        le type des applications.

Bruno BARBIER (LIB, Besancon)
        Des flots vers un anamorphisme.

Karim NOUR (LAMA, Chambery)
        Les I-types du systeme F