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

[nachum@humus.Huji.AC.IL: RTA-89 ANNOUNCEMENT]



From: Nachum dershowitz <nachum@humus.Huji.AC.IL>
Date: Wed, 2 Mar 88 13:07:31 JST
To: GIDEON@ILNCRD.bitnet, NARROW@a.cs.uiuc.edu.bitnet,
        logic@theory.lcs.mit.edu.bitnet, rewriting@crin.crin.fr.bitnet
Subject: RTA-89 ANNOUNCEMENT

Please forward the attached preliminary announcement to the members of
your electronic lists.

Thanks you--
Nachum

==============================================================================


PRELIMINARY ANNOUNCEMENT
RTA-89

Third International Conference on
Rewriting Techniques and Applications

April 3-5, 1989
Chapel Hill, North Carolina, U.S.A.


===============================================================================

The third biannual Conference on Rewriting Techniques and Applications will
be held in Chapel Hill on April 3-5, 1989.  Papers are being solicited in
any of the following or related areas:

    Algebraic semantics
    Automated theorem proving
    Conditional rewriting
    Equational reasoning
    Functional and logic programming
    Graph rewriting and grammars
    Lambda and combinatory calculi
    Symbolic computation
    Term rewriting systems
    Term-based architectures
    Unification and matching algorithms

Each submission should include 10 (ten) copies of a full paper of no more
than 15 (fifteen) double-spaced pages.  (If a copier is unavailable to the
author, one copy will suffice.)

Original papers, as well as technical expository ones, are solicited.
Descriptions of new, implemented systems will also be considered.  All
submissions should be clearly written in English and include references and
comparisons with related work, where appropriate.  (If a substantially
similar paper has or will be submitted for publication elsewhere, this fact
must be noted in the cover letter.)  Submissions must be airmail postmarked
no later than October 15, 1988 (we may consider electronic submissions in
Tex/Latex format) and should be sent to:

        Nachum Dershowitz, RTA-89
        University of Illinois
        1304 West Springfield Ave.
        Urbana, IL  61801-2987
        U.S.A.
        telephone: [+1] (217) 333-8879
        electronic address: nachum@a.cs.uiuc.edu nachum@uiucvmd.bitnet

Notification of acceptance/rejection: December 1, 1988

Camera-ready copy due (following special guidelines): January 21, 1989

Program Committee (tentative):

        Bruno Courcelle (Bordeaux)
        Nachum Dershowitz (Urbana), Chair
        Jean Gallier (Philadelphia)
        Jieh Hsiang (Stony Brook)
        Deepak Kapur (Albany)
        Dallas Lankford (Ruston)
        Jean-Pierre Jouannaud (Orsay)
        Mark Stickel (Menlo Park)

Local Arrangements Chair:

        David Plaisted
        New West Hall 035-A
        University of North Carolina
        Chapel-Hill, NC  27514
        U.S.A.
        telephone: [+1] (919) 962-7340
        electronic address: plaisted@cs.unc.edu

RTA-89 will be held on or near the campus of the University of North
Carolina in Chapel Hill.  A block of rooms has been reserved at the
Carolina Inn near campus.

Previous meetings were held in Dijon (1985) and Bordeaux (1987); their
proceedings were published by Springer-Verlag as part of their Lecture
Notes in Computer Science series.

Further details and the final program will be sent to anyone submitting a
paper or otherwise expressing interest in the meeting.


******************************* PLEASE POST ***********************************