[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 ***********************************