GDR  Algorithmique, Langage et Programmation

                         Groupe de travail:

 "Mélanges de systèmes de réécriture algébrique et de systèmes logiques"


                        =====================
                        APPEL A PARTICIPATION
                        =====================

                             9 avril 1999


Le groupe intitulé "Mélanges   de systèmes de réécriture algébrique  et
des systèmes logiques" se reunira à Lyon le 9 avril.

Cette journée fait suite   à des journées qui  se  sont tenues sur  le même
thème à Dijon, à Orsay, à Chambery et à Jussieu.  Voici une liste non
limitative des sujets principaux qui peuvent être abordés:

- la combinaison des sytèmes de réécriture algébrique et de systèmes
  d'ordre supérieur,

- les substitutions explicites,


- les propriétés des systèmes algébriques et logiques.


La réunion se tiendra à l'ENS de Lyon le 9 avril de 10h30 à 16h30.


Pour plus de détails, on  peut consulter la page
du groupe de travail à l'adresse:

http://www.lri.fr/~kesner/gdr/ami.html


Le comité d'organisation est constitué de

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

Le formulaire joint est à utiliser si vous souhaitez participer à
la réunion, que ce soit en auditeur ou en orateur. Il est à envoyer
par e-mail à Pierre.Lescanne@ens-lyon.fr pour le

VENDREDI 5 MARS 1999 au plus tard.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Formulaire de participation

NOM :
Prénom :
Institution :
Adresse complète :
Tel :
Fax :
E-mail :


* Je souhaite participer en tant qu'auditeur.


* Je souhaite participer en tant qu'orateur, je propose
un exposé dont le titre est: