[Prev][Next][Index][Thread]

[mcvax!poincare.crin.fr!lescanne@uunet.UU.NET: a mailing on termination of rewriting systems]

From: mcvax!poincare.crin.fr!lescanne@uunet.UU.NET
Date: Tue, 2 Feb 88 16:40:30 PST
To: bellegarde@crin.crin.fr, bousdira@crin.crin.fr, cherifa@crin.crin.fr,
        ckirchne@crin.crin.fr, gnaedig@crin.crin.fr, hally@crin.crin.fr,
        hkirchne@crin.crin.fr, lescanne@poincare.crin.fr, rety@crin.crin.fr,
        remy@crin.crin.fr, rusi@crin.crin.fr, schott@crin.crin.fr,
        hermann@crin.crin.fr, uhrig@crin.crin.fr, rouyer@crin.crin.fr,
        megrelis@crin.crin.fr, lazrek@crin.crin.fr,
        umartin@unix.computer-science.manchester.ac.uk,
        meyer@theory.lcs.mit.edu, puel@margaux.inria.fr, huet@margaux.inria.fr,
        cousinea@margaux.inria.fr, lechenadec@margaux.inria.fr,
        hardin@margaux.inria.fr, laville@margaux.inria.fr, plaisted@unc.edu,
        leo%sbcs.CSNET@RELAY.CS.NET, nachum@humus.huji.ac.il,
        hsiang%sbcs.CSNET@RELAY.CS.NET, kulcs!eddy@uunet.UU.NET,
        uklirb!smolka@uunet.UU.NET,
        kapur%albanycs.albany.cs.uiuc.edu@a.cs.uiuc.edu,
        nipkow@larch.lcs.mit.edu, guttag@larch.lcs.mit.edu,
        garland@larch.lcs.mit.edu, geocub!siva@uunet.UU.NET,
        sakai%icot.jp.CSNET@RELAY.CS.NET, ai.hassan@mcc.com,
        stickel@WARBUCKS.AI.SRI.COM, goguen@csl.sri.com,
        odonnell%gargoyle.uchicago.CSNET@RELAY.CS.NET,
        gdp@ecsvax.edinburgh.ac.uk, jouannau@lri.lri.fr, cc@sun4.lri.fr,
        mzali@lri.lri.fr, uklirb!madlener@uunet.UU.NET,
        uklirb!avenhauss@uunet.UU.NET, uklirb!steinbach@uunet.UU.NET,
        THEORYNT@YKTVMT.BITNET, chalmers!fp@uunet.UU.NET, NARROW@a.cs.uiuc.edu
Subject: a mailing on termination of rewriting systems

    ----------------------------------------------------------------------
   |  A mailing list on termination of rewriting systems and applications |
    ----------------------------------------------------------------------

Termination of rewriting systems is a very interesting topics with a
lot of applications.  We are many people working in the field and we
do not know well what each other does and we like to know as soon as
possible the most recent results.

This is why we would like to start a mailing list on "Termination of
rewriting systems and applications". This can allow us to exchange
informations on recent reports and contributions, on open problems and
hot topics.  This can also be the place for tracking results or asking
questions to the community.

If there are many people interested, this mailing list will be
moderated by one of us. The electronic address will be

          termination@crin.crin.fr

Please send mail at this address.

----  Pierre LESCANNE  -----              ------Isabelle GNAEDIG -----
 lescanne@poincare.crin.fr                   gnaedig@prouve.crin.fr


Please forward this mail to people who could be interested.